C++模板和模板的特化，模板的扩展

Answer 1

模板的作用是实现类型通用，降低代码的冗余度。它可以为一种算法定义不同类型的版本。

实现机制：通过复制代码使用类型参数突破类型的限制，虽然丧失一定的类型安全，但模板需要实例化才能使用，实例化由编译器完成。

模板的分类包括函数模板和类模板。函数模板是带类型参数的函数，支持类型推断；而类模板则是带类型参数的类，不支持类型推断。

函数模板的语法是：template 返回值类型 函数模板名(形参列表) { …… }。调用时，函数模板名(实参); 如果类型参数可以通过实参判断，传递的类型可以省略。

类模板的语法是：template class 类模板名 { …… }。使用时，类模板名 对象;。

模板的特化用于重新定义某些特殊类型的行为。函数模板的特化语法是：template > 返回值类型 函数模板名(参数列表) { …… }。类模板的特化语法是：template > class 类模板名 { …… }。

类模板的成员特化可以是全类特化或局部特化。局部特化可以针对有多个类型参数的类模板，只特化其中一部分参数。

模板参数的默认值、非类型参数和模板参数模板是模板的高级特性。模板可以作为类模板或类的成员/友元，STL的实现使用了该语法。

类模板的继承可以通过语法实现，包括类继承类模板和类模板继承类模板。

模板的递归实例化是指使用类模板实例化后作为参数继续实例化本模板。

模板的划分用于将类的声明（模板的声明）写在头文件，类/类模板中的函数实现写在源文件，因为模板的实例化是在编译时完成的。