C++中的自定义模板

以下为本人大一时阅读《C++ Primer Plus》中关于自定义模板章节所做的笔记

自定义模板(template)

使用自定义模板的技术成为泛型程序设计(generic programming)

类模板：

类模板也称为参数化类型(parameterized type)

template<typename T>

类模板的成员函数的定义就是函数模板，但是当它们在类模板体内定义时，前面不用加template关键字和括在一对尖括号(<>)中的模板形参。

例：在类模板体内定义成员函数：

template<typename T> class Stack { public:         void pop()         {                 ...;         }         }

当成员函数的定义出现在类模板定义之外，则每个成员函数必须以关键字template开始，且用类名和作用域分辨运算符。

template<typename T> inline void Stack<T>::pop() {         ...; }

函数模板：

编译器根据实例化该函数的第一个实参所用的类型来推断函数中模板形参的类型

例定义一个函数模板：

template<typename T> void testStack(const T &a, const T &b) {         ...; }

调用该函数：

void testStack(1.1, 1.2);

非类型形参：

在模板声明中可以使用类型形参，也可以使用非类型模板形参，它可以有默认的实参并作为常量处理

例：template<class T, size_t N>

(在模板的声明中关键字class和typename是可以相互交换的)

模板类型形参的默认实参：

重载函数模板：

由一个给定的函数模板生成的函数模板特化都具有相同的名字，因此编译器采用重载的解决方案调用正确的对应函数