C＋＋ Template学习笔记之函数模板（2）——函数模板实例化

函数模板指定了怎样根据一组或更多实际类型或值构造出独立的函数。这个构造过程被称为模板实例化。这个过程是隐式发生的，它可以被看作是函数模板调用或取函数模板的地址的副作用。

        为了判断用作模板实参的实际类型和值，编译器需要检查函数调用中提供的函数实参的类型。用函数实参的类型来决定模板实参的类型和值的过程被称为模板实参推演。我们也可以不依赖模板实参推演过程，而是显式地指定模板实参。

        在取函数模板实例的地址时，必须能够通过上下文环境为一个模板实参决定一个唯一的类型或值。如果不能决定出这个唯一的类型或值，就会产生编译时错误。如：

        template <typename Type,int size>
             Type min( Type ( &r_array ) [ size ] ) { /* . . . */ }
        typedef  int  (&rai) [10];
        typedef  double  (&rad) [20];

        void  func( int (*) (rai) );
        void  func( double (*) (rad) );

        int main() {
                   //错误：到底是哪一个min()的实例？
                  func( &min );
        }

        因为func()函数被重载了，所以编译器不能通过查看func()的参数类型，来为模板参数Type决定唯一的类型，以及为size的模板实参决定一个唯一值。我们可以用一个强制类型转换显式地指出实参的类型来消除编译时错误：

        int main() {
                   //OK：强制转换指定实参类型
                  func( static_cast< double(*)(rad) >(&min) );
        }

        但是更好的方案是用显式模板实参。