一、函数模板
模板定义以关键字template开始,后跟一个模板参数列表,在模板定义中,模板参数列表不能为空。
模板类型参数:类型参数前必须使用class或typename关键字。
非类型模板参数:表示一个值而不是一个类型
数组引用形参:
//&arr两端的括号必不可少 void print(int(&arr)[10]) { for (auto elem : arr) { cout << elem << endl; } }
//用于比较字符串常量 //compare("hi","mom") template<unsigned N,unsigned M> int compare(const char(&p1)[N], const char(&p2)[M]) { return strcmp(p1, p2); }
一个非类型参数可以是一个整型,或者是一个指向对象或函数类型的指针或引用。绑定到非类型整型参数的实参必须是一个常量表达式。绑定到指针或引用非类型参数的实参必须具有静态的生存期。我们不能用一个普通(非static)局部变量或动态对象作为指针或引用非类型模板参数的实参。指针参数也可以用nullptr或一个值为0的常量表达式来实例化。
inline或constexpr说明符放在模板参数列表之后,返回类型之前。
template <typename T> inline T min(const T&, const T&);
inline template <typename T> T min(const T&, const T&);//出错
通常,当我们调用一个函数时,编译器只需要掌握函数的声明。类似地,当我们使用一个类类型的对象时,类定义必须是可用的,但成员函数的定义不必已经出现。因此,我们将类定义和函数声明放在头文件中,而普通函数和类的成员函数的定义放在源文件中。
为了生成一个实例化版本,编译器需要掌握函数模板或类模板成员函数的定义。所以函数模板和类模板成员函数的定义通常放在头文件中。
时间: 2024-10-08 07:38:43