1.宏定义和函数模板
宏定义:在预编译期,进行简单的宏替换
优点:代码复用性强
缺点:缺少类型检查
函数模板:用于泛型编程
,(不考虑数据类型进行编程的方式)
函数模板通常用:
- template声明开始进行泛型编程。
- typename用于声明泛指类型(可以用class替换)
- 模板并不创建任何函数,它只是告诉编译器如何定义函数。
语法:
C98:template<class T>
C11:template<typename T>
主要作用:提高代码的通用性
1.1特别注意:
- 需要使用同一算法,但是类型不同的函数,就可以使用模板函数。
- 如果不考虑向后兼容的问题,并愿意键入较长的单词,则在声明类型参数时,应使用关键字typename而不是class。
1.2 泛化版本:
template<class T>
void fun(T a)
{
}
1.2.1推演普通变量
template<typename T>
void fun(T a)
{
T x, y;
cout << typeid(T).name() << endl;
cout << typeid(a).name() << endl;
}
int main()
{
int x = 10;
fun(x);
fun(&x)
}
1.2.2推演const限定的变量
template<typename T>
void fun(T a)
{
T x, y;
cout << typeid(T).name() << endl;
cout << typeid(a).name() << endl;
}
int main()
{
int x = 10;
const int y = 20; //y必须初始化,否则编译不通过
fun(x);
fun(&y); //T int const *
}
1.2.3推演指针变量
void fun(T a)
{
cout << "T type : " << typeid(T).name() << endl;
cout << "a type : " << typeid(a).name() << endl;
}
int main(void)
{
int x = 10;
const int y = 10; //y必须初始化,否则编译不通过
int* xp = &x;
const int* yp = &y;
fun(xp);
fun(yp);
return 0;
}
1.2 部分特化版本
:模板中的参数没有被全部确定,需要编译器进行确定。
template<class T>
void fun(T *a)
{
}
template<class T>
void fun(const T *a)
{
}
template<class T>
void fun(T* a)
{
cout << "T type : " << typeid(T).name() << endl;
cout << "a type : " << typeid(a).name() << endl;
}
int main(void)
{
int x = 10;
const int y = 20;
fun(x); //error
fun(y); //error
fun(&x);
fun(&y);
int const * == const int * 修饰的都是指向
return 0
}
void fun(const T* a)
{
cout << "T type : " << typeid(T).name() << endl;
cout << "a type : " << typeid(a).name() << endl;
}
完全特化
:模板中的模板参数全被定为确定的类型。
template<>
void fun<char*>(char *a)
{
}
1.函数模板根据一组实际类型或值构造独立的函数的过程,通常是隐式发生的,称为模板实参推演。
2.为了判断模板实参的实际类型,编译器需要检查函数调用中提供的函数实参的类型。
函数模板和【模板函数】:
3.在编译main()函数中,由编译函数模板(function template)而生产的函数,叫做【模板函数】。