【C++】函数模板（泛化，部分特化，完全特化）和模板函数

1.宏定义和函数模板

宏定义：在预编译期，进行简单的宏替换
优点：代码复用性强
缺点：缺少类型检查
函数模板：用于泛型编程，（不考虑数据类型进行编程的方式）
函数模板通常用：

1. template声明开始进行泛型编程。
2. typename用于声明泛指类型（可以用class替换）
3. 模板并不创建任何函数，它只是告诉编译器如何定义函数。

语法：
C98：template<class T>
C11:template<typename T>
主要作用：提高代码的通用性

1.1特别注意：

1. 需要使用同一算法，但是类型不同的函数，就可以使用模板函数。
2. 如果不考虑向后兼容的问题，并愿意键入较长的单词，则在声明类型参数时，应使用关键字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）而生产的函数，叫做【模板函数】。