template <typename T>
int compare(const T &v1, const T &v2)
{
if(v1 < v2) return -1;
if(v2 < v1) return 1;
return 0;
}
模板类型参数:
template <typename T> T foo(T *p)
{
T tmp = *p; //tmp 的类型将是指针p指向的类型
//...
return tmp;
}
//错误 U之前必须加上class 或 typename
template <typename T, U> T calc(const T&, const U&);
//正确 在模板参数列表中,typename 和 class没有什么不同
template <typename T, class U> T calc(const T&, const U&);
非类型模板参数
template<unsigned N, unsigned M>
int compare(const char (&p1)[N], const char (&p2)[M])
{
return strcmp(p1, p2);
}
当我们调用这个版本的compare时:
compare("hi", "mom");
编译器会使用字面值常量的大小来代替N和M,从而实例化模板。由于编译器会在字符串字面值常量的末尾加一个结束符作为字符串的终结,所以,编译器的实例化版本如下:
int compare(const char (&p1)[3], const char (&p2)[4]);
一个非类型参数可以是一个整数,或者是一个指向对象或函数类型的指针或(左值)引用。
绑定到非类型整型参数的实数必须是一个常来那个表达式。
绑定到指针或饮用的非类型参数的实参必须具有静态的生存期。
以下摘抄别人的解释:
你说的是非类型模板参数吧?因为模板参数都是需要在编译时确定的,而不能在运行时确定,所以绑定到非类型模板参数的实参必须是一个可以在编译时确定的表达式,而不能是在运行时动态生成的对象。所谓静态生存期也是一样,就是都必须是在编译时就可以确定的内容,而不能是在运行时才确定的东西。
举个例子来说,下面这段代码是可行的:
template <std::string * temp>
void f()
{
cout << *temp << endl;
}
template <std::string & temp>
void g()
{
cout << temp << endl;
temp += "...appended some string";
}
std::string s;
int main() {
s = "can assign values locally";
f<&s>();
g<s>();
cout << s << endl;
return 0;
}
因为这里的模板参数引用的是指针,而s
是在main
函数外部定义的变量,它的地址在编译时即可以确定,所以可以正常执行。
但是下面这样的代码就是错误的:
template <std::string temp>
void f()
{
// ...
}
int main() {
std::string s = "can assign values locally";
f<s>();
cout << s << endl;
return 0;
}
因为在这里s
是个局部变量,每次编译执行的时候地址都是临时生成的,没有办法对上面的模板参数进行替换,所以是非法的。