c++关键字template,函数模板及类模板

        模板是通用的函数或类描述，它使用泛型来定义函数或类，其中的泛型可在使用时用具体的类型替换（如int或double等）。通过将类型作为参数传递给模板，可使编译器生成该类型的函数或类。

1、函数模板

        函数模板自动完成函数重载过程，它允许以任意类型的方式来定义函数，当需要多个对不同类翌使用同一种算法的函数时，可使用模板。

1.1、函数模板定义

        其通常的定义形式如下所示。其中，关键字template和typename是必须的，必须使用尖括号<>。模板定义和使用常规函数时相同，在函数原型和函数定义处都需要使用template关键字进行说明。

template <typename AnyType> //建立一个模板，类型命名为AnyType
AnyType compare(AnyType a, AnyType b){
    return a > b ? a : b;
}


int main(){
    compare<int>(1, 2)  //使用函数模板
    compare(1, 2)  //实参推断，为(int)1、(int)2 类型
    
    compare(1.1,2)  //编译不通过，因为两个实参推断分别为(double)1.1、(int)2 类型，类型不一致
    
    return 0;
}

        除了普通函数可以定义函数模板外，类的成员函数也可以定义函数模板，但虚函数(virtual)不可以定义函数模板

class A{
    public:
        template <typename AnyType> //建立一个模板，类型命名为AnyType
        AnyType compare(AnyType a, AnyType b){
            return a > b ? a : b;
        }

        template <typename AnyType>
        virtual errorFunc(AnyType a);//错误，虚函数不可以定义模板
}

        模板并不创建任何函数，而只是告诉编译器如何定义函数。当给定指定类型时，如int，编译器按模板创建这样的函数，并用int代替AnyType。

        在标准C++98添加关键字typename之前，C++使用关键字class来创建模板。也就是说，也可以使用如下形式定义函数模板

template < class AnyType>
void Swap(AnyType AnyType &b){

}

1.2 显式具体化

        若不想使用模板重载来提供代码，可以提供一个具体化的函数定义——显式具体化，其中包含所需的代码。当编译器找到与函数调用匹配的具体化定义时，将使用该定义，而不再寻找模板。对于c++98有以下的标准：

• 对于给定的函数名，可以有非模板函数、模板函数和显式具体化模板函数以及它们的重载版本
• 显式具体化的原型和定义应以template<>打头，并通过名称来指出类型
• 具体化优先于常规模板，而非模板函数优先于具体化和常规模板。即函数匹配优先级顺序为：非模板函数 > 具体化模板函数 > 常规模板函数

        显式具体化模板函数的定义如下所示

template <> 
void Swap<int>(int &, int & ) ；

   

2、类模板

        继承和包含并不缺能够满足重用代码的需求，C++的类模板为生成通用的类声明提供了一种更好的方法。模板提供参数化类型，即能够将类型名作为参数传递给接收方来建立类或函数

类模板定义

        定义类模板时，和模板函数一样，需要在类声明开头添加 template <typename Type>。同样，可以使用模板成员函数替换原有类的类方法，每个函数头都将以相同的模板声明打头。另外，还需要将类限定符从ClassName::改 为 ClassName<Type>::

        下面给出一个模板类定义

template<typename Type>    //类模板须在类定义开头加入template代码
class A{
    public:
        T getT();

    private:
        T t_;
};

template<typename T>        //每个函数定义开头也要有template代码
T A<T>::getT(){            //类限定符也要加入<T>
    return t_;
}
        

int main(){
    A<int> intA;            //模板类使用
    A<String> stringA;

    return 0;
}