深度解析C++的函数模板与类模板

一、函数模板

1、定义

template <class 类型参数1，class 类型参数2,……>
返回值类型 模板名 (形参表){
函数体
};

template <class T1, class T2>T2 print(T1 arg1, T2 arg2){    cout<< arg1 << " "<< arg2<<endl;    return arg2;}

2、不通过参数实例化函数模板

#include <iostream>using namespace std;template <class T>T Inc(T n){    return 1 + n;}int main(){    cout << Inc<double>(4)/2; //输出 2.5    return 0;}

3、函数模板可以重载，只要它们的形参表或类型参数表不同即可

template<class T1, class T2>void print(T1 arg1, T2 arg2) {    cout<< arg1 << " "<< arg2<<endl;}template<class T>void print(T arg1, T arg2) {    cout<< arg1 << " "<< arg2<<endl;}template<class T,class T2>void print(T arg1, T arg2) {    cout<< arg1 << " "<< arg2<<endl;}

4、函数模板和函数的次序

在有多个函数和函数模板名字相同的情况下，编译器如下处理一条函数调用语句

• 先找参数完全匹配的普通函数(非由模板实例化而得的函数)。

• 再找参数完全匹配的模板函数。

• 再找实参数经过自动类型转换后能够匹配的普通函数。

• 上面的都找不到，则报错。

template <class T>T Max( T a, T b) {    cout << "TemplateMax" <<endl; return 0;}template <class T,class T2>T Max( T a, T2 b) {    cout << "TemplateMax2" <<endl; return 0;}double Max(double a, double b){    cout << "MyMax" << endl; return 0;}int main() {    Max( 1.2,3.4);     // 输出MyMax    Max(4, 5);         //输出TemplateMax    Max( 1.2, 3);      //输出TemplateMax2    return 0;}

5、匹配模板函数时，不进行类型自动转换

template<cla<mark style="color:transparent">本文来源gaodaimacom搞#^代%!码网@</mark>ss T>T myFunction( T arg1, T arg2){ cout<<arg1<<" "<<arg2<<"\n"; return arg1;}……myFunction( 5, 7);      //ok ：replace T with intmyFunction( 5.8, 8.4);  //ok： ： replace T with doublemyFunction( 5, 8.4);    //error ，no matching function for callto 'myFunction(int, double)'

二、类模板

1、定义

在定义类的时候，加上一个/多个类型参数。在使用类模板时，指定类型参数应该如何替换成具体类型，编译器据此生成相应的模板类。

template <class 类型参数1，class 类型参数2，……> //类型参数表
class 类模板名{
成员函数和成员变量
};

（1）类模板里成员函数的写法：
template <class 类型参数1，class 类型参数2，……> //类型参数表
返回值类型 类模板名<类型参数名列表>::成员函数名（参数表）{
……
}
（2）用类模板定义对象的写法：
类模板名 <真实类型参数表> 对象名(构造函数实参表);

// Pair类模板template <class T1,class T2>class Pair{public:    T1 key; //关键字    T2 value; //值    Pair(T1 k,T2 v):key(k),value(v) { };    bool operator < ( const Pair<T1,T2> & p) const;};template<class T1,class T2>bool Pair<T1,T2>::operator < ( const Pair<T1,T2> & p) const{  //Pair的成员函数 operator <    return key < p.key;}int main(){    Pair<string,int> student("Tom",19);   //实例化出一个类 Pair<string,int>    cout << student.key << " " << student.value;    return 0;}//输出：Tom 19

喜欢 (0)赏

[搞代码]

分享 (0)