c++ - 模板化类中模板化成员函数的特化

Question

我有一个带有模板化成员函数的模板化类

template<class T>
class A {
public:
    template<class CT>
    CT function();
};

现在我想以两种方式专门化模板化成员函数。首先是与类具有相同的类型:

template<class T>
template<>  // Line gcc gives an error for, see below
T A<T>::function<T>() {
    return (T)0.0;
}

bool 类型的第二个:

template<class T>
template<>
bool A<T>::function<bool>() {
    return false;
}

下面是我尝试测试它的方式:

int main() {
    A<double> a;
    bool b = a.function<bool>();
    double d = a.function<double>();
}

现在 gcc 给我上面标记的行:

error: invalid explicit specialization before ‘>’ token
error: enclosing class templates are not explicitly specialize

所以 gcc 告诉我，如果我想专门化函数，我必须专门化 A，对吗？ 我不想那样做，我希望外部类的类型是开放的...

最后的答案是:不可能？或者有什么办法吗？

Answer 1

是的，这就是问题所在:

error: enclosing class templates are not explicitly specialized 

如果不对类进行特化，则无法对成员进行特化。

您可以做的是将来自function 的代码放在一个单独的类中并专门化它，就像 basic_string 依赖于一个单独的 char_traits 类一样。然后非专门的函数可以调用特征类中的助手。