C++ 类 结构体 函数 模板

本文参考：https://www.cnblogs.com/Twobox/p/6535882.html

模板包括：函数模板、结构体模板和类模板。

模板(Template)是一种参数化类型机制。模板是C++泛型编程中不可缺少的一部分。模板就是实现代码重用机制的一种工具，它可以实现类型参数化，即把类型定义为参数，从而实现了真正的代码可重用性。

1. 基本格式

• 函数模板

//函数模板---使用体现：调用函数时传递的参数类型。
template<typename 数据类型参数标识符>
<返回类型><函数名>(参数表)
{
    函数体
}

• 结构体模板

//结构体模板---使用体现：声明结构元素时 StackNode<类型> s;
template<typename T>
struct StackNode
{
　　struct T data;
　　struct StackNode<T> *next;
};

• 类模板

//类模板---使用体现：声明类对象时 Stack<类型> s;
template<typename T>
class Stack
{
　public:
　　T pop();
　　bool push(T e);
　private:
　　StackNode<T> *p;
}
template<class T>//类模板外的 成员函数实现
T Stack<T>::pop()
{...}

注意：其中，template是定义模板函数的关键字；template后面的尖括号不能省略；typename（或class)是声明数据类型参数标识符的关键字，用以说明它后面的标识符是数据类型标识符。这样，在以后定义的这个函数中，凡希望根据实参数据类型来确定数据类型的变量，都可以用数据类型参数标识符来说明，从而使这个变量可以适应不同的数据类型。最好用typename，避免用class引起不必要的误会。

2. 使用中应该注意的问题

• 函数模板允许使用多个类型参数，但在template定义部分的每个形参前必须有关键字typename或class。

template<class 数据类型参数标识符1，…，class 数据类型参数标识符n>
<返回类型><函数名>(参数表)
{
     函数体
}

• 在template语句与函数模板定义语句<返回类型>之间不允许有别的语句。如下面的声明是错误的：

template<class T>
int I;
T min(T x,T y)
{
   函数体
}

• 类模板和结构体模板在调用时，要指明类型。

// 以int型为例，分别调用结构体、类和函数模板
StackNode<int> a					// 结构体模板的调用
Stack<int> b			// 类模板的调用
min(int x, int y) 		// 函数模板的调用

• 函数体模板与重载函数的区别。

模板函数类似于重载函数，但两者有很大区别：函数重载时，每个函数体内可以执行不同的动作，但同一个函数模板实例化后的模板函数都必须执行相同的动作。