c++ - 为什么我不能专门化功能模板？

Question

为什么我可以特化类 A，但不能以同样的方式特化函数 sum？我如何使这段代码工作？提前致谢。

template<class T>
class A
{
};

template<class T>
class A<T*>
{
};

template<class T>
T sum(const T& a, const T& b)
{
    return a + b;
}

template<class T>
T sum<T*> (const T* a, const T* b)
{
    return *a + *b;
}

int _tmain(int argc, _TCHAR* argv[])
{
    int a = 1, b = 2;
    cout << sum<int>(&a, &b);`
    A<int> c;
    A<int*> d;
    return 0;
}

Answer 1

您不能部分特化函数模板，标准禁止这样做。但是你可以简单地重载它:

template<class T>
T sum(const T& a, const T& b);

template<class T>
T sum (const T* a, const T* b); // note the absence of <T*> here