12.2.2　隐式实例化

函数模板实际上不是个完整的函数定义，因为其中的类型参数还不确定，只是定义了某些类型的角色（或变量）在函数中的操作形式，因此，必须将模板参数实例化后才能使用函数，模板参数实例化后的函数也称为模板函数，最简单的实例化称为“隐式实例化”（Implicit Instantiation）。下面通过示例代码12.3进行说明。

代码12.3　隐式实例化ImplicitInstantiation

输出结果如下所示。

【代码解析】之所以叫“隐式实例化”，这是因为函数模板中的类型参数直到该函数真正地被调用时才能决定，并且由编译器根据传递给函数的参数类型自动完成。编译器根据最先遇到的（从左到右）实参隐式生成一个模板函数。如代码第16行定义的一个函数模板Greater用以返回两个同类型值中较大的一个，如下代码所示。

编译器根据上述语句第一个参数intX的类型int隐式生成一个模板函数，其原型如下所示。int Greater（int,int）：

也就是将Ex替换成int，此时，对函数参数列表中其余的Ex型参数进行类型检查，如果后续的Ex型实参可直接解释为int型，则编译通过，否则，编译器报错。注意，此处的直接解释不包括类型转换的情况，这意味着下述调用的代码是错误的。

语句“Greater（dblX,dblY）”的执行过程与上述相似。

注意

当存在多个类型参数时，如Ex1，Ex2等，编译器根据这些类型参数对应的第一个实参为其解释类型，并用此类型检查后续参数。