C++模板

文章目录

• 一、函数模板
• 二、类模板

---

一、函数模板

template<typename T>     //模板的参数列表
bool compare(T a, T b) {   //函数的模板
    cout << "compare template" << endl;
    return a > b;
}

 
模板实例化

//函数调用点
compare<int>(10, 11)   //在函数调用点，编译器使用用户指定的类型，从原模板实例化一份函数代码如下
//     bool compare(int a ,int b){
//        cout << "compare template" << endl;
//        return a > b;
//     }

 
模板实参推演

//未指定模板参数的，编译器会根据传入的参数进行实参推演，然后再实例化模板
compare(10.0, 11.0)  

 

模板特例化

//为指定的类型提供专有的实现
template<>
bool compare(const char *a, const char *b) {  
    cout << "compare const char * template" << endl;
    return strcmp(a, b) > 0;
}

函数模板通常会为字符串提供单独的特例化版本。
 
模板的非类型参数
如下代码所示，SIZE是一个非类型参数，只能是整数类型或者是地址，之只能使用不能修改

template<typename T, int SIZE>
void sort(T *a){
	//具体实现
}

 
注意：

1. 实例化后的模板函数名字形式为compare，而不是compare，和普通函数不构成重载关系。
2. 模板不能在一个文件定义，在另一个文件使用，因为编译时期函数模板需要根据类型进行实例化。模板代码调用之前，一定要看到模板定义的地方。
3. 模板代码一般都放在头文件中，然后在源文件中直接进行include。
    

二、类模板

 
使用方法和函数模板相似

template<typename T>
class Vector {
    Vector();

    ~Vector();

    void func();
};

template<typename T>
Vector<T>::Vector() { cout << __FUNCTION__ << endl; }

template<typename T>
Vector<T>::~Vector() { cout << __FUNCTION__ << endl; }

template<typename T>
void Vector<T>::func() { cout << __FUNCTION__ << endl; }