C++ 模板

函数模板

函数模板的概念:

函数模板: 函数模板是通用的函数描述, 它们使用泛型来定义函数, 其中的泛型可以用于具体的类型替换, 通过将类型作为参数传递给模板, 可以使得编译器生成该类型的函数.

函数模板的定义

 以两个数的加法为例子

template<typename T>
T func(T a, T b)
{
    T temp;
    temp = a + b;
    return temp;
}

 函数模板在调用的时候, 编译器会根据你传入的实际类型推断模板参数类型, 这个过程是在编译期间完成的.当编译器无法推断出实际类型, 需要我们手动的传入类型.

int res = func(12, 13);

 当使用具体类型传入参数的时候, 函数模板会生成这个类型特定的函数

int func(int a, int b)
{
    int temp;
    temp = a + b;
    return temp;
}

 非类型模板参数

 在模板参数列表里面可以定义非类型参数, 但非类型参数必须是一个常量,模板的实例化是在编译期间执行的.

template<int a, int b>
int func1()
{
    return a + b;
}

cout << func1<1, 2>() << endl;

 非类型模板参数必须要在编译期间确定

int x;
cout << func1<x, 2>() << endl; // 参数必须在编译的时候确定

 带有模板参数, 需要我们传递类型.

template<typename T, int a, int b>
int func2(T c)
{
    return (int) c + a + b;
}

cout << func2<int, 2, 3>(3) << endl;

类模板

 类模板的概念

类模板通常用来实例化一个特定的类,类模板与函数模板类似, 但类模板必须提供参数类型(函数模板可以自动推断, 但如果推断不出, 要手动提供)

类模板定义

template<typename 形参名1, typename 形参名2>
class ....

在类模板里面, 成员函数要以template<typaname T>开头,下面是示例

template<typename T>
class Stack
{
private:
    T x;
public:
Stack();
}

template<typename T>
Stack<T>::Stack()
{
    
}