|
<<endl;} //错误，在类模板外部定义带有默认类型的形
39 参时，在template的形参表中默认值应省略。
40 //定义一些全局变量。
41 int e=2; doubleed=2.2; double*pe=&ed;
42 A<int> mw; A<int> *pec=&mw; E me;
43
44 //main函数开始
45 int main()
46 { // template<class T>void h(){} //错误，模板的声明或定义只能在全局，命名空间或类范围内进行。即不能在局部范围，函数内进行。
47 //A<2> m; //错误，对类模板不存在实参推演问题，类模板必须在尖括号中明确指出其类型。
48 //类模板调用实例
49 A<int> ma; //输出"class A goucao int"创建int型的类模板A的对象ma。
50 B<int,int> mb; mb.g(); //输出"class B g() int int"创建类模板B的对象mb，并把类型形参T1和T2设计为int
51 //非类型形参的调用
52 //调用非类型模板形参的实参必须是一个常量表达式，即他必须能在编译时计算出结果。任何局部对象，局部变量，局部对象的地址，局部
53 变量的地址都不是一个常量表达式，都不能用作非类型模板形参的实参。全局指针类型，全局变量，全局对象也不是一个常量表达式，不能
54 用作非类型模板形参的实参。
55 //全局变量的地址或引用，全局对象的地址或引用const类型变量是常量表达式，可以用作非类型模板形参的实参。
56 //调用整型int型非类型形参的方法为名为Ci，声明形式为template<class T1,int a> class Ci
57 Ci<int,3>//正确，数值R是一个int型常量，输出"class Ci g() int"
58 const int a2=3; Ci<int,a2> mci1; mci1.g(); //正确，因为a2在这里是const型的常量。输出"class Ci g() int"
59 //Ci<int,a> mci; //错误，int型变量a是局部变量，不是一个常量表达式。
60 //Ci<int,e> mci; //错误，全局int型变量e也不是一个常量表达式。
61 //调用int&型非类型形参的方法类名为Cip，声明形式为template<class T1,int &a>class Cip
62 Cip<int,e> mcip; //正确，对全局变量的引用或地址是常量表达式。
63 //Cip<int,a> mcip1; //错误，局部变量的引用或地址不是常量表达式。
64 //调用double*类型的非类形形参类名为Cd，声明形式为template<class T1,double *a>class Cd
65 Cd<int,&ed> mcd; //正确，全局变量的引用或地址是常量表达式。
66 //Cd<int,pe> mcd1; //错误，全局变量指针不是常量表达式。
67 //double dd=3.3; //错误，局部变量的地址不是常量表达式，不能用作非类型形参的实参
68 //Cd<int,&e> mcd; //错误，非类型形参虽允许一些转换，但这个转换不能实现。
69
70 //调用模板类型形参对象A<int> *的方法类名为Cc，声名形式为template<class T1,A<int>* m> class Cc
71 Cc<int,&mw> mcc; mcc.g(); //正确，全局对象的地址或者引用是常量表达式
72 //Cc<int,&ma> mcc; //错误，局部变量的地址或引用不是常量表达式。
73 //Cc<int,pec> mcc2; //错误，全局对象的指针不是常量表达式。
74
75 //调用非类型形参E&对象的引用的方法类名为Ce。声明形式为template<class T1,E &m> class Ce
76 E me1; //Ce<int,me1> mce1; //错误，局部对象不是常量表达式
77 Ce<int,me> mce; //正确，全局对象的指针或引用是常量表达式。
78 //非类型形参的转换示例，类名为Ci
79 //非类型形参允许从数组到指针，从函数到指针的转换，const修饰符的转换，提升转换，整值转换，常规转换。
80 const short s=3; Ci<int,s> mci4?//正确，虽然short型和int不完全匹配，但这里可以将short型转换为int型
|
