C++模板：函数模板与类模板的默认类型使用解析

"模实参列表可带默认类型-cpp的魔板数据" 在C++编程中，模板是一种强大的工具，它允许我们编写泛型代码，从而实现代码的复用和类型无关性。模板分为函数模板和类模板，它们都是类型抽象化的实现方式，通过类型参数化来达到泛型化编程的目的。 函数模板是生成一系列功能相同但操作不同类型的函数的蓝图。例如，`compare`函数模板就是一个接受两个可比较对象并返回比较结果的模板。在模板声明中，`typename T`是一个类型参数，`T`被称为模形参，当我们实际调用这个模板时，比如`compare(int a, int b)`，`int`就是模实参，它们被用来替换模板中的`T`生成具体类型的函数。 在C++中，模实参列表可以带有默认类型，这类似于函数形参可以有默认值的特性。在VC6.0版本中，函数模板和类模板都允许默认类型，但在更高版本的编译器中，函数模板不再支持默认类型，只有类模板可以。这意味着在定义函数模板时，不能依赖类型推断来确定那些没有出现在函数参数列表中的模形参（例如，`T1`在`sum(T2, T3)`中没有出现，因此无法推断其类型）。 模板参数推断是C++编译器的一项关键功能。当调用一个函数模板时，编译器会根据函数调用的实参类型来推断模实参的类型。在`compare`例子中，两个参数`v1`和`v2`都由同一个模形参`T`声明，编译器会根据传入的实际类型（比如`int`或`double`）来确定`T`的值。这个过程称为模板具现，即模板实例化，生成了模板的一个特定类型版本的函数。 模板实参推断机制使得我们可以不显式指定类型就能使用模板，只要传入的参数类型能够匹配模板中声明的类型。然而，需要注意的是，模板的具现会产生代码膨胀，即编译器为每一种不同的类型组合都会生成一份代码，这可能会增加程序的大小和编译时间。 类模板则是创建一系列相关类的蓝图，它们共享相同的结构和行为，但可以操作不同的数据类型。与函数模板类似，类模板也有模形参和模实参，但类模板的成员函数可以在模板定义中使用这些类型参数，这样可以创建出一套完整的类型相关的成员函数。 C++的模板机制是实现泛型编程的关键，它提供了代码复用和类型安全的能力，使得开发者能够编写更加灵活和可扩展的程序。正确理解和使用模板参数推断、模板具现以及模形参和模实参的概念，是编写高质量C++代码的基础。