方法模板从类模板完全专业化

Question

我知道这个主题现在应该已经过时了，但我在这个具体案例上遇到了困难。

开门见山，这就是我想做的：

enum MyEnum
{
    E_1,
    E_2
};

template <MyEnum T>
class MyClass
{
    // method to be fully specialized
    template <typename U>
    void myMethod(U value);
};

// full specialization of method template from class template
// (or is this in fact partial, since I'm leaving T alone?)
template <MyEnum T>
template <>
void MyClass<T>::myMethod<int>(int value)
{
    std::cout << value << '\n';
}

这可能吗？

Answer 1

C++03 [$14.7.3/18] 说

在类模板的成员或出现在命名空间范围中的成员模板的显式特化声明中，成员模板及其某些封闭类模板可能保持非特化，除非该声明不应显式特化类成员模板，如果它的封闭类模板也没有显式专门化。

所以你也需要专门化封闭类。

像这样的东西会起作用。

template <>
template <>
void MyClass<E_1>::myMethod<int>(int value)
{
    std::cout << value << '\n';
}

Answer 2

由于您离开 T，而仅专门化函数模板，那么您尝试做的事情将被称为部分专门化，因为 T 仍然是模板化的，您可以在函数中使用它。但不幸的是，函数的部分模板特化（无论是成员函数还是非成员函数）是不允许的。所以你的代码会给出编译错误。

您要么通过专门化类模板来完全专门化，要么根本不专门化。