Cpp模板-template、typename（二）

T —— 类型参数，也叫模板参数

<> 中包括两种类型参数：用typename/class修饰的是类型模板参数，是类型说明符。另外的称为非类型模板参数。

与函数模板一样，非类型参数不允许使用浮点型、类对象(对象的引用可以)、void

一、类模板

template<typename T, int MAXSIZE>
class Stack {
private:
    T elems[MAXSIZE];
public:
    void Push(T e);
}

template<typename T, int MAXSIZE>
void Stack<T, MAXSIZE>::Push(T e) {
    ...
}

MAXSIZE —— 非类型参数。实例化Stack时，必须为其提供一个int类型的常量值，不能用数据类型作为调用参数。

在类模板外定义成员函数时，必须添加模板声明。且加上“类模板的完整类型限定符” Stack<T, MAXSIZE>::

内联函数：

template<typename T, int MAXSIZE>
inline T Stack<T, MAXSIZE>::Pop() {
    ...
}

二、类模板实例化

包括模板实例化、成员函数实例化 

 只有成员函数被调用时，编译器才会为其生成真正的函数代码。

template<typename T>
void display(Stack<T, 10> st) {
    ...
}

int main() {
    Stack<int, 10> st;
    display(st);
    return 0;
}

三、默认模板实参

template<typename T, typename D = double>
int cmp(T t = 0, D u = 0) {
    ...
}

cmp(10, 'a'); // cmp<int,char>(10, 'a');
cmp<int, char>(); / cmp<int, char>(0, 0);
cmp(10); // cmp<int, double>(10, 0);
cmp<int>(); // cmp<int,double>(0, 0);

 四、成员模板

不能是虚函数

五、可变参数模板

三、constexpr关键字位置

1、constexpr位置

template<typename T>
constexpr T min(T a, T b) {
    ....
}

 C++ 11 新增关键字 constexpr，用来表示 “常量” 或 常量表达式，而 const 则仅仅表示 “只读”。目的是将运算尽量放在编译阶段，而不是运行阶段，另外，constexpr 还可以修饰函数、结构体。

constexpr 指示值或返回值是 constant（常数），如果可能，将在编译时进行计算。每当需要 const 整数时（如在模板自变量和数组声明中），都可以使用 constexpr 整数值。 如果在编译时（而非运行时）计算某个值，它可以使程序运行速度更快、占用内存更少。

constexpr float x = 42.0;
constexpr float y{108};
constexpr float z = exp(5, 3);
constexpr int i; // Error! Not initialized
int j = 0;
constexpr int k = j + 1; //Error! j not a constant expression

constexpr (C++) | Microsoft Learn

 

2、class 与 typename 可以互换，但是在“嵌套丛书类型名称”须使用typename来标识，但不能在所继承的基类成员列表、成员初始化列表中使用（《C++进阶心法》7.1节）

3、函数模板实例化之后会生成真正的函数。类模板实例化之后，只是完成了类的定义，模板类的成员函数需要到调用时才会被初始化。