Question

（我假设在这个问题中知道Abrahams/Dimov example。）

假设标题中有一些第三方代码，您无法修改：

template<class T> void f(T);    // (1) base template 1
template<class T> void f(T *);  // (2) base template 2
template<> void f<>(int *);     // (3) specialization of (2)

问题是：

如果按原样给出上述声明，是否可能现在可以为T = int *（例如）的情况专门化基本模板1？

或仅仅声明基本模板2是否意味着基本模板1不能再被专门化（至少对于指针而言）？

Answer 1

您可以通过在函数名后面的尖括号中明确指定模板参数来重载（1）（参见C ++ 11-Standard 14.7.3）

#include <iostream>
using namespace std;
template<class T> void f(T)    // (1) base template 1
{
    cout << "template<class T> void f(T)" << endl;
}

template<class T> void f(T *)  // (2) base template 2
{
    cout << "template<class T> void f(T *)" << endl;
}
//template<> void f<>(int *);     // (3) specialization of (2)

template<> void f<int*>(int *)     // (4) specialization of (1)
{
    cout << "f<int*>(int *)" << endl;
}


int main() {
    int i;
    f(&i); // calls (2) since only base-templates take part in overload resolution
    return 0;
}

Answer 2

你总是可以尝试然后来找我们。但我不明白为什么它不起作用。如果T = int*它会按您的意愿运作。因此，没有2将是int* *

的参数

功能模板专业化和Abrahams / Dimov示例

2 个答案: