学步园

        函数模板可以被重载。如：

        // 类模板Array的定义
        template <typename Type>
                 class Array { /* . . . */ };
        // main()的三个函数模板声明
         template <typename Type>
                     Type min( const Array<Type>&, int );  // #1
         template <typename Type>
                     Type min( const Type*, int );                 // #2
          template <typename Type>
                     Type min( Type, Type );                         // #3

        调用：

        int main(){
                     Array<int> iA(1024); // 类实例
                     int  ia[1024];

                     // Type==int; min( const Array<int>&, int )
                     int  ival0 = min( iA, 1024 );

                     // Type==int; min( const int*, int )
                     int  ival1 = min( ia, 1024 );

                     // Type==double; min( double, double )
                     double  dval0 = min( sqrt( iA[0] ), sqrt( ia[0] ) );

                     return 0;
         }

        在某些情况下，即使对于一个函数调用，两个不同的函数模板都可以实例化，但是该函数调用仍然可能不是二义的。如：

        template <typename Type>
               Type sum( Type*, int );
        template <typename Type>
               Type sum( Type, int );
        int  ia[1024];

        // Type==int; sum<int>( int*, int ); or
        // Type==int*; sum<int*>( int*, int); ??
        int  ival1 = sum<int>( ia, 1024 );

        上面的调用没有二义性，该模板是用第一个模板定义实例化的。为该实例选择的模板函数是最特化的（most specialized）。因此，Type的模板实参是int而不是int*。

        一个模板要比另一个更特化，两个模板必须有相同的名字、相同的参数个数，对于不同类型的相应函数参数，如上面的T*和T，一个参数必须能接受另一个模板中相应参数能够接受的实参的超集。