C++学习笔记9
1. 模板编译
当编译器遇到一个模板定义时,它并不生成代码。只有当我们实例化出模板的一个特定版本时,编译器才会生成代码。普通的函数,函数的声明和定义我们可以放在不同文件中。对于模板则不同,为了生成一个实例化版本,编译器需要掌握函数模板或类模板成员函数的定义。因此,模板的头文件通常既有包括声明也包括定义。
2. 模板函数
template <typename T>
int compare(const T &v1, const T &v2)
{
if(v1 < v2) return -1;
if(v2 < v1) return 1;
return 0;
}
cout<<compare(1, 0)<<endl;
3. 非类型模板参数
template<unsigned N, unsigned M>
int compare(const char (&p1)[N], const char (&p2)[M])
{
return strcmp(p1, p2);
}
compare("hi", "mom");
//对于上面的调用,编译器会实例化出如下版本.
//编译器会在字符串字面常量的末尾插入一个空字符作为终结符
int compare(const char (&p1)[3], const char (&p2)[4]);