模板参数

默认类型参数

函数参数可以设定一个默认值，我们现在可以对类模板的类型参数设定一个默认类型。

指定泛型Stack的默认类型参数为 int

template<typename T = int>class Stack{...};

当我们这样定义一个对象时：

Stack<> stack;

使用默认的方式，或者说隐式的方式，实例化了一个stack对象。

这样的好处是：指定默认类型之后，使用者就没必要去写了。

非类型参数

在模板前缀中使用非类型参数。

实例化模板时，非类型实参应该是对象。

如下：

template<typename T, int capacity>class Stack {...private:T elements[capacity];int size;};Stack<char, 100> charStack;

如同std里面的array的初始化：std::array<int,100>;

除了基本数据类型外，非类型实参是对象的时候是这样的;

template<typename T, Color c>class Label {...};Color color(0,0,255);Label<char,color> label;

注意，参数默认值必须是在最右边，当然我们也可以全部定义一个默认值，这样就不会有问题了。

注意模板成员函数的声明也需要进行修改。

就是这样：

//泛型化template <typename T = char,int N = 100>//编写StackOfIntegers类class Stack {private:T elements[N];int size{0 };public:bool empty();T peek();T push(T value);T pop();int getSize();Stack();};template <typename T, int N>Stack<T,N>::Stack() {size = 0;for (auto& i : elements) {i = 0;}}

模板继承

关于模板继承的几个原则：

1、普通类可从类模板实例继承。一个模板实例化之后就是一个类了，类与类之间可以继承。

2、模板可从普通类继承

3、类模板可继承类模板

也就是说，一个类是不可以从一个模板继承的，其他的三种组合方式都是可以的。

何时何地使用模板

使用别人写好的模板库时

对不同类型的数据做类似处理 (算法、容器、遍历等)

OOP or GP

泛型编程在C++中广泛使用，经常可以取代面向对象编程。

几乎整个C++标准库都依赖于泛型编程。

在C++标准库较少使用继承和运行时多态。异常、字符串和IO流中使用了较多的继承。