当要使用模板类中的模板函数时,如果同时满足下面两个条件:
1.如果模板类的模板参数是不确定类型时(int和非模板类等是确定类型);
2.显式提供模板函数的模板参数,不管模板参数是确定类型还是不确定类型(有时调用模板函数不需要显式提供模板参数,编译器可以自动推导。但是有时必须显式提供模板参数比如dynamic_cast这种就是必须显式提供模板参数的情况。如果不显式提供而是让编译器自动推导则不属于这种情况)。
则,需要在模板函数前加template关键字。
(为什么需要这么规定,可以参考《C++ Template》一书中的9.3.2和9.3.3两节)
如下例中:
return A< T >::add(a,b); //这种写法ERROR ,同时满足条件1和条件2,需要加template参数
return A< T >::template add< int >(a,b); //这种写法OK
return A< int >::add(a,b); //这种写法OK,不满足条件1
return A< int >::add(a,b); //这种写法OK ,不满足条件1
return A< T >::add(a, b); //这种写法OK,不满足条件2
return C::add< T >(a, b); //这种写法OK,不满足条件1
template<typename D>
class A{
public:
template<typename T>
static T add(T a, T b) {
return a + b;
}
};
class C{
public:
template<typename T>
static T add(T a, T b) {
return a + b;
}
};
template<typename D>
class AA{
public:
template<typename T>
T add(T a, T b) {
return a + b;
}
};
template<typename T>
class B{
public:
int getNum(T a, T b) {
//return A<T>::add<int>(a,b); //这种写法ERROR
//return A<T>::template add<int>(a,b); //这种写法OK
//return A<int>::add<int>(a,b); //这种写法OK
//return A<int>::add<T>(a,b); //这种写法OK
//return A<T>::add(a, b); //这种写法OK
//return C::add<int>(a, b); //这种写法OK
return C::add<T>(a, b); //这种写法OK
}
};
template<typename T>
int getNum(T a, T b) {
//return A<T>::add<int>(a,b); //这种写法ERROR
//return A<T>::template add<int>(a,b); //这种写法OK
//return A<int>::add<int>(a,b); //这种写法OK
//return A<int>::add<T>(a,b); //这种写法OK
//return C::add<int>(a, b); //这种写法OK
return C::add<T>(a, b); //这种写法OK
}
template<typename T>
int getNumOne(T a, T b) {
//class AA<T> aa; return aa.add<int>(a,b); //这种写法ERROR
//class AA<T> aa; return aa.template add<int>(a,b); //这种写法ERROR
//class AA<int> aa; return aa.add<int>(a,b); //这种写法OK
class AA<int> aa; return aa.add<T>(a,b); //这种写法OK
}
int main() {
class B<float> b;
b.getNum(3.1, 4.1);
getNum(3.1, 4.1);
getNumOne(3.1, 4.1);
A<int>::add<int>(3.1, 4.1);//这种写法OK
A<int>::add(3.1, 4.1);//这种写法OK
return 0;
}