c++ - 命名空间中的函数模板特化

Question

我想特化一个函数模板。此函数在命名空间中声明:

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

(为简单起见，模板基于int，而在我的生产代码中，它是一个enum class，但这是同一个问题。相同适用于基于类型的模板)

现在我想针对特定值专门化它:

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

使用 g++ -std=c++11(版本 4.6、4.7、4.8 和 4.9)编译失败:

specialization of ‘template void foo::function()’ in different namespace [-fpermissive]

clang++ -std=c++11 接受此代码。

g++ 也接受以下部分:

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

谁是对的，gcc 还是 clang？

Answer 1

根据标准，§14.7.3/2，强调我的:

An explicit specialization shall be declared in a namespace enclosing the specialized template. An explicit specialization whose declarator-id is not qualified shall be declared in the nearest enclosing namespace of the template, or, if the namespace is inline (7.3.1), any namespace from its enclosing namespace set.

你必须输入 template<> function<0>();在 namespace foo .但是，该规则仅适用于未限定的 declarator-id。当您提供 qualified-id(如 foo::function<0> )时，我认为该条款不应适用，这使得 clang 在这里是正确的。

例如，给定 function声明了这个问题，我希望得到以下结果:

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