C++ - 使用该方法的部分规范重载模板化类方法

Question

堆栈溢出上已经有一些与此类似的问题，但似乎没有什么可以直接回答我的问题。如果我重新发布，我深表歉意。

我想用这些方法的部分模板特化来重载模板类的一些方法（带有 2 个模板参数）。我无法找出正确的语法，并且开始认为这是不可能的。我想我应该在这里发帖看看是否能得到确认。

示例代码如下：

template <typename T, typename U>
class Test
{
public:
    void Set( T t, U u ); 

    T m_T;
    U m_U;
};

// Fully templated method that should be used most of the time
template <typename T, typename U>
inline void Test<T,U>::Set( T t, U u )
{
    m_T=t;
    m_U=u;
}

// Partial specialisation that should only be used when U is a float.
// This generates compile errors
template <typename T>
inline void Test<T,float>::Set( T t, float u )
{
    m_T=t;
    m_U=u+0.5f;
}


int _tmain(int argc, _TCHAR* argv[])
{
    Test<int, int> testOne;    
    int a = 1;
    testOne.Set( a, a );

    Test<int, float> testTwo;    
    float f = 1.f;
    testTwo.Set( a, f );
}

我知道我可以编写整个类的部分特化，但这有点糟糕。这样的事情可能吗？

（我用的是VS2008） 编辑：这是编译错误 错误 C2244：“Test::Set”：无法将函数定义与现有声明匹配

谢谢:)

Answer 1

如果不定义类模板本身的部分特化，则无法部分特化成员函数。请注意，模板的部分特化仍然是模板，因此当编译器看到 Test 时，它期望类模板的部分特化。

--

C++ 标准 (2003) 中的 $14.5.4.3/1 说，

a的模板参数列表
类模板部分的成员
专业化应与
类的模板参数列表
模板部分特化。
成员的模板参数列表
类模板部分
专业化应与
类的模板参数列表
模板部分专业化。 A
类模板特化是
独特的模板。的成员
类模板部分特化
与成员无关
主模板。 类模板
部分专业化成员
以需要的方式使用
应定义定义；这
主要成员的定义
模板从不用作定义
对于类模板的成员
部分专业化。明确的
班级成员的专业化
模板部分特化是
以与
初级的明确专业化
模板。

然后标准本身给出了这个例子，

// primary template
template<class T, int I> struct A {
void f();
};
template<class T, int I> void A<T,I>::f() { }

// class template partial specialization
template<class T> struct A<T,2> {
void f();
void g();
void h();
};
// member of class template partial specialization
template<class T> void A<T,2>::g() { }

我希望标准中的引用和例子能够很好地回答你的问题。

Answer 2

您所描绘的特定问题很简单：

template< class T >
inline T foo( T const& v ) { return v; }

template<>
float foo( float const& v ) { return v+0.5; }

然后从您的 Test::Set 实现中调用 foo 。

如果您想要完整的通用性，则类似地使用具有静态帮助器成员函数的帮助器类，并部分专门化该帮助器类。

干杯&呵呵，

Answer 3

如果您不想在代码中引入额外的函数、方法或类，那么还有另一种解决部分专业化问题的方法。

#include <type_traits>

template <typename T1, typename T2>
class C
{
    void f(T1 t1);
}

template <typename T1, typename T2>
void C<T1, T2>::f(T1 t1)
{
    if (std::is_same<T2, float>::value)
    // Do sth
    else
    // Do sth
}