【二】——类模板形参



类模板的形参有三种：（1）类型形参。

                                    （2）非类型形参。

                                    （3）默认值形参。

一、类型形参

.......................................................................................................................................................................................................................................

        类型形参由关键字 class 或 typename 后接说明符构成。如

        template <class T> void h(T a){};

        其中 T 就是一个类型形参，类型形参的名字由用户自已确定。模板的形参表示的是一个未知的类型。类型形参可以用于指定返回类型，变量声明等。

#include <iostream>
using namespace std;

template <class T> 
class A
{
    public:
        T g(T a,T b);
        A();
};

template<class T> A<T>::A(){}
template<class T> T A<T>::g(T a,T b){
    return a+b;
}

void main(){
    A<int> a;
    cout<<a.g(2,3)<<endl;
}

二、非类型形参

....................................................................................................................................................................................................................

        模板的 非类型形参 也就是内置类型形参。如

       template <class T, int a> class B{};

        其中 int a 就是非类型形参。

　　非类型形参在模板定义的内部是常量值，也就是说非类型形参在模板的内部是常量。

　　非类型形参只能是整型，指针和引用。像double，String, String **这样的类型是不允许的。但是double &，double *，对象的引用或指针是正确的。

　　调用非类型模板形参的实参必须是一个常量表达式，即他必须能在编译时计算出结果。

　　注意：任何局部对象，局部变量，局部对象的地址，局部变量的地址都不是一个常量表达式，都不能用作非类型模板形参的实参。全局指针类型，全局变量，全局对象也不是一个常量表达式，不能用作非类型模板形参的实参。

　　全局变量的地址或引用，全局对象的地址或引用const类型变量是常量表达式，可以用作非类型形参的实参。

　　sizeof表达式的结果是一个常量表达式，也能用作非类型模板形参的实参。

　　当模板的形参是整型时调用该模板时的实参必须是整型的，且在编译期间是常量，比如template <class T, int a> class A{};如果有int b，这时A<int, b> m;将出错，因为b不是常量，如果const int b，这时A<int, b> m;就是正确的，因为这时b是常量。

　　非类型形参一般不应用于函数模板中。比如有函数模板template<class T, int a> void h(T b){}，若使用h(2)调用会出现无法为非类型形参a推演出参数的错误，对这种模板函数可以用显示模板实参来解决，如用h<int, 3>(2)这样就把非类型形参a设置为整数3。显示模板实参在后面介绍。

　    非类型模板形参的形参和实参间所允许的转换
　　　　1、允许从数组到指针，从函数到指针的转换。如：template <int *a> class A{}; int b[1]; A<b> m;即数组到指针的转换
　　　　2、const修饰符的转换。如：template<const int *a> class A{}; int b; A<&b> m;   即从int *到const int *的转换。
　　　　3、提升转换。如：template<int a> class A{}; const short b=2; A<b> m; 即从short到int 的提升转换
　　　　4、整值转换。如：template<unsigned int a> class A{};   A<3> m; 即从int 到unsigned int的转换。
　　　　5、常规转换。

三、默认值形参

....................................................................................................................................................................................................................

        可以为类模板的类型形参提供默认值，但不能为函数模板的类型形参提供默认值。函数模板和类模板都可以为模板的非类型形参提供默认值。

　　2、类模板的类型形参默认值形式为：template <class T1, class T2=int> class A{};

            为第二个模板类型形参T2提供int型的默认值。

　　3、如果有多个类型形参则从第一个形参设定了默认值之后的所有模板形参都要设定默认值，比如template<class T1=int, class T2>class A{};就是错误的，因为T1给出了默认值，而T2没有设定。

　　4、在类模板的外部定义类中的成员时template 后的形参表应省略默认的形参类型。比如template<class  T1, class T2=int> class A{public: void h();}; 定义方法为template<class T1,class T2> void A<T1,T2>::h(){}。

　

类模板的 默认模板类型形参 示例1：

//定义带默认类型形参的类模板。这里把T2默认设置为int型。
template <class T1, class T2=int> 
class CeilDemo
{
    public:
    int ceil(T1, T2);
};

//在类模板的外部定义类中的成员时template 后的形参表应省略默认的形参类型。
template<class T1, class T2> 
int CeilDemo<T1, T2>::ceil(T1 a, T2 b){
    return a>>b;
}

void main()
{
    CeilDemo<int> cd;
    cout << cd.ceil(8,2) << endl;
}