函数模板的实例化,显式特化,与显式模板实参.

在函数模板被调用时,编译器会根据函数实参来推演模板参数.得出了模板参数后,再去检查是否已有实例生成,如果有,则调用之,如果无,则实例化一个模板函数.

同一个程序中是不能有多个由同一模板参数集合推出来的函数实例的.注意,由于返回类型也可能作为模板参数的一种,所以,在函数模板实例化的函数中,有可能出现参数表相同,而返回类型却不同的实例,它们被视为不同的实例.这与普通的非模板函数不同.

由于函数模板在调用时的这种动作,所以,当你调用一个模板函数时,无论其是否已实例化过,只要它不能根据你输入参数来推演模板参数,你就该显式指定实参.使其成功推演.当然,你显式指定了多少个实参,就有多少个实参不用参与模板参数的推演.也因此,无论你之前是用了显式特化也好,用了显式实例化了也好,只要调用时不能推导,一样要显式指定实参.因为,函数模板是先推导出模板参数类型才去检查是否有实例存在的.

另一个要说明的问题,在你调用函数模板时,编译器是不看你的返回类型的,所以,你要注意如果你的返回类型也是模板参数之一,就要考虑是否要显式指定实参了.

而当你显式特化时,还有显式实例化时,因为格式是template引导的,之后是模板函数的声明或定义,跟一个普通函数差不多.这时,该函数的参数表,返回类型都暴露出来了(格式要求),所以,编译器是可以看到你的返回类型的.所以,这时,如果你能确定根据实参表跟返回类型足够让编译器推演模板实参时,你可以省略(或部分省略)显式指定实参的那对尖括号的内容.如果不可以,还是要显式指定的.

在显式特化时,为了规范,声明的格式与定义时要一样.而且,声明和定义都要保证能使模板函数可以被推导出.当然,只要是保证指向的是同一个实例,其中一个省略一些实参是可以的,这不影响编译.