如何根据类的模板参数专门化模板成员函数？

Question

我想写这个：

template<typename T1, typename T2>
class OK
{
    T1 t1;
    T2 t2;
public:
    template<typename TX> const TX & GetRef() const;
};
template<typename T1,typename T2>
template<>
const T1 & OK<T1,T2>::GetRef<T1>() const { return t1; }
template<typename T1,typename T2>
template<>
const T2 & OK<T1,T2>::GetRef<T2>() const { return t2; }

哪个VS10编译失败。

为了检查我对模板专业化的理解，我尝试并编译了一切：

typedef int  T1;
typedef char T2;
class OK
{
    T1 t1;
    T2 t2;
public:
    template<typename TX> const TX & GetRef() const;
};
template<>
const T1 & OK::GetRef<T1>() const { return t1; }
template<>
const T2 & OK::GetRef<T2>() const { return t2; }

我错过了什么？我想做的事情可能吗？

编辑：我希望所有字段都有getter，都称为GetRef()，因此用户可以编写以下内容：

OK<float,double> ok;
float a = ok.GetRef<float>();
double b = ok.GetRef<double>();

Answer 1

如果不专门化模板，则无法专用化类模板的成员模板。也就是说，要么提供在类模板上固定T1和T2的完整专用化，然后也可以修复TX，要么无法修复TX。

简单的解决方案不是专门化模板函数，而是提供不同的重载：

template<typename T1, typename T2>
class OK
{
    T1 t1;
    T2 t2;
public:
    const T1& GetRef() const { return t1; }
    template<typename TX> const TX & GetRef() const;
};