【C++】什么是函数模板/类模板？

---

一、函数模板

1.什么是函数模板？

函数模板简单来说就是一个模板，与函数参数的类型无关，是一个模子，不是真正的函数，实例化的函数会根据实参的类型自动推导类型。

2.函数模板格式

template<typename T1,typename T2...>返回值类型 函数名(参数列表)
{}

3.函数模板原理

函数模板是一个模板，并不是真正的函数，它是根据传递过来的实参的类型实例化一个具体的函数，相当于我们将重复的事情交给了编译器来操作。

比如说：

template<typename T>T Add(const T& a1, const T& a2)
{return a1 + a2;
}int main()
{int a = 10, b = 20;double c = 3.14,d = 2.11;cout << Add(a, b) << endl;cout << Add(c, d) << endl;	return 0;
}

我们定义了一个加法函数的函数模板，来进行加法操作，函数模板会根据我们传递的实参的类型自动实例化出不同的Add函数，这些函数之间构成函数重载。

4.函数模板实例化

（1）隐式实例化

举一个简单的例子:
在我们定义的函数模板中，只给定一个模板参数类型，但是我们可能会有两个不同的实参类型。

template<typename T>T Add(const T& a1, const T& a2)
{return a1 + a2;
}int main()
{int a = 10;double b = 20.3;cout << Add(a, b) << endl;return 0;
}

对于只有一个类型的函数模板，却同时出现了两种不同类型的实参，编译器就无法确认到底用哪个实参类型实例化了。

解决办法：

int main()
{int a = 10;double b = 20.3;cout << Add((double)a, b) << endl;cout << Add(a, (int)b) << endl;//可能存在精度丢失的情况return 0;
}

隐式类型转换，就可以解决编译器无法识别的情况。

（2）显示实例化

template<typename T>T Add(const T& a1, const T& a2)
{return a1 + a2;
}int main()
{int a = 10;double b = 20.3;cout << Add(a, b) << endl;return 0;
}

对于这个案例，还有一种解决方案：

int main()
{int a = 10;double b = 20.3;cout << Add<int>(a, b) << endl;return 0;
}

这样的方法叫做显式实例化，实际生活中，我们很少会遇到需要显式实例化的情况，不过对于下面的情况，就必须要显式实力化。

template<class T>
T* Alloc(int n)
{return new T[n];
}int main()
{Alloc<double>(10);return 0;
}

在这样的情况下，我们没有使用函数模板类型，所以仅仅传递实参n无法推导T的类型，这种情况下必须要使用显式实例化。

二.类模板

1.类模板定义格式

template<class T1, class T2, ..., class Tn>
class 类模板名
{// 类内成员定义
};

2.类模板的实例化

注意：

普通类的类型和类名相同
模板类的类型和类名不同

类模板实例化与函数模板实例化不同，类模板实例化需要在类模板名字后跟<>，然后将实例化的类型放在<>中即可。

类模板名字不是真正的类，而实例化的结果才是真正的类。

比如：

// string类名，string<int>才是类型
string<int> s1;
string<double> s2;

1.不管是类模板还是函数模板，其作用范围就是紧跟着的类/函数。

也就是看{}

2.类模板中函数放在类外进行定义时，需要加模板参数列表
比如：

template<typename T>
class Stack
{
public:Stack(size_t capacity = 3);void Push(const T& data);   // 其他方法...~Stack(){if (_array){delete[]_array;_capacity = _size = 0;}}private:T* _array;int _capacity;int _size;
};//缺省参数不能给在函数定义，只能在声明给缺省值
//模板的作用域就是专门给一个函数或者一个类用的
//可以看{}的作用范围是那里，模板的作用范围就是哪里。
template<typename T>
Stack<T>::Stack(size_t capacity)
{_array = new T[capacity];_capacity = capacity;_size = 0;
}template<typename T>
void Stack<T>::Push(const T& data)
{// CheckCapacity();_array[_size] = data;_size++;
}

函数在类外面进行定义时，需要加类模板的参数列表。

注意：不建议模板实例化出来的函数的声明和定义分离。
注意：不建议模板实例化出来的函数的声明和定义分离。
注意：不建议模板实例化出来的函数的声明和定义分离。

上面的例子仅仅是为了演示。

---

总结

本文讲述了函数模板和类模板的相关问题。