命名空间中的函数模板专门化

Question

namespace foo
{
   template <int>
   void function();
}

现在我想将它专门化为一个特定的值：

template <>
void foo::function<0>()
{
}

这无法用g++-std=c++11（版本4.6、4.7、4.8和4.9）编译：

不同命名空间中“template void foo：：function（）”的专门化[-fpermissive]

namespace foo
{
   template <>
   void function<0>()
   {
   }
}

Answer 1

根据标准§14.7.3/2，重点是：

明确的专门化应该在封闭专门化模板的命名空间中声明。声明器ID不合格的显式专门化应在模板最近的封闭命名空间中声明，如果该命名空间是内联的(7.3.1)，则应在其封闭命名空间集中的任何命名空间中声明。

必须将模板<>函数<0>()；放在命名空间foo中。但是，该规则只适用于非限定的声明符-ID。当您提供一个限定ID（如foo::function<0>)时，我认为该子句不应该应用，这使得clang在这里是正确的。

namespace foo {
    template <> void function<0>(); // valid: unqualified explicit specialization
                                    // in the nearest enclosing namespace of the 
                                    // template
}

namespace bar {
    template <> void function<1>(); // invalid: unqualified explicit specialization
                                    // in the wrong namespace
}

struct baz {
    template <> void function<2>(); // invalid: unqualified explicit specialization
                                    // not in namespace scope
};

template <> void foo::function<3>(); // valid: qualified explicit specialization
                                     // is in a namespace, and id is qualified

template <> void bar::function<4>(); // invalid: there is no bar::function
                                     // to specialize