在学习和试验模板时,我遇到了一些我无法完全掌握的东西.
class sample
{
public:
sample(int a = 0) {}
};
template <typename T1,typename T2>
void add(T1 a) // Replace T1 with T2 resolves compilation error.
{}
int main()
{
add<sample>(3);
return 0;
}
上面的代码导致编译错误(03和c 0x).但是当我将添加的参数类型从T1更改为T2时,它就可以了.对于nm,创建的原型是add(sample,int)[T1 = sample,T2 = int].为什么编译失败,T1作为参数类型而不是T2？
解决方法
有两种方法可以指定模板参数：显式或隐式.
这将是明确的：
template<typename T>
void do_something(T value) {};
do_something<float>(6); // T is float
这将是隐含的：
int x; do_something(x); // since first argument is T and x is int,T is int
在你的情况下：
template <typename T1,typename T2> void add(T1 a); add<sample>(3); // T1 is explcitly sample,T2 is unknown
案例2：
template <typename T1,typename T2> void add(T2 a); add<sample>(3); // T1 is explcitly sample,T2 is implicitly int