当前位置：首页 > news >正文

2023-2-19-What is ‘ template＜typename E, E V＞ ‘?

news 2025/9/12 2:54:15

C++里面template怎么用

template是什么?
template其实是C++的一种语法糖，本意是去简化程序员的工作.

void swap(int *a,int *b){int temp = *a;*a = *b;*b = temp;
}

比如在写一个交换函数的的时候,参数为两个int类型数据,那这个交换函数只能局限在int的数据类型吧，float呢?double呢?这时候就需要写很多相同的代码,很无聊并且多余,这个时候我们就能使用我们今天的主角template来简化我们的写法了,改进之后


//声明时这样
template<typename T> void Swap(T *a, T *b){T temp = *a;*a = *b;*b = temp;
}//调用时这样
int a=10,b=20;
swap(&a,&b);

在这里的声明是隐式声明,后面会有讲到显式声明

inline函数模板

如果你想把你的函数声明为inline提高效率，那么参考下面

inline关键字放在template之后，函数类型之前

//正确写法
template<typename T>inline T swap(const T*a,const T*b)//错误写法
inline template<typename T>T swap(const T*a,const T*b)

类模板

//类模板声明
template<class Type>class Queue{
public:Queue();Type &front();const Type &front()const;void push(const Type &);void pop();bool empty()const
private:...
};

和咱的函数模板不同啊，我们的类模板需要加个括号(显式)告诉编译器老子是啥类型。

//类模板定义
queue<int>qi;//什么是显式，在定义时加个括号告诉他老子是int就是显式
Queue<vector<double>>qc;
Queue<sting>qs;

函数模板特化

有些时候，我们编写的模板定义并不总是适用于所有类型

template<typename T>
int compare(const T&v1,const T&v2)
{if(v1<v2)return -1;if(v1>v2)return 1;return 0;
}

当这个函数的参数类型是C风格字符串时，这个函数不能正常工作(这个函数将比较两个指针在内存中的相对位置，但没有比较指针指向对象的大小)，这时候我们必须提供一个针对C风格字符串的特殊定义,这就是模板特化

函数模板的特化
特化的形式如下:

关键字tempalte后面接一对空的尖括号(< >)
函数名后接模板名和一对尖括号，尖括号中指定这个特化定义的模板形参
函数形参表
函数体

template<>
int compare<const char *>(const char *const &v1,const char *const &v2)
{return strcmp(v1,v2);
}

与任意函数一样，函数模板特化可以声明而无须定义。

template<>
int compare<const char *>(const char *const &,const char *const &);

一定要区分函数重载和模板特化,如果在特化中省略空的模板形参表template<>,那么结果是函数的重载而不是模板特化

int compare(const char *const&,const char *const&);
//声明了该函数的重载版本而不是模板版本

在调用模板的这个特化版本之前，特化的声明必须在作用域中

template<class T>
int compare(const T&t1,const T& t2)
{...
}int main()
{int i=compare("hello","world");...
}template<>
int compare<const char *>(const char *const &s1,const char *const &s2)
{...
}