类模板中方法模板的完全专业化

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 仍然是模板化的，你可以在你的函数中使用它。但不幸的是，不允许函数的部分模板特化（无论是成员函数还是非成员函数）。所以你的代码会给出编译错误。

您要么完全专精于类模板，要么完全不专长。