c++模板详解 - c++编程基础

默认值应省略
27. template void D::g(){cout<<"class D g()"< 28. //template void D::g(){cout<<"class D k()"< 29. 参时，在template的形参表中默认值应省略。
30. //定义一些全局变量。
31. int e=2; double ed=2.2; double *pe=&ed;
32. A mw; A *pec=&mw; E me;
33. //main函数开始
34. int main()
35. { // templatevoid h(){} //错误，模板的声明或定义只能在全局，命名空间或类范围内进行。即不能在局部范围，函数内进行。
36. //A<2> m; //错误，对类模板不存在实参推演问题，类模板必须在尖括号中明确指出其类型。
37. //类模板调用实例
38. A ma; //输出"class A goucao int"创建int型的类模板A的对象ma。
39. B mb; mb.g(); //输出"class B g() int int"创建类模板B的对象mb，并把类型形参T1和T2设计为int
40. //非类型形参的调用
41. //调用非类型模板形参的实参必须是一个常量表达式，即他必须能在编译时计算出结果。任何局部对象，局部变量，局部对象的地址，局部
42. 变量的地址都不是一个常量表达式，都不能用作非类型模板形参的实参。全局指针类型，全局变量，全局对象也不是一个常量表达式，不能
43. 用作非类型模板形参的实参。
44. //全局变量的地址或引用，全局对象的地址或引用const类型变量是常量表达式，可以用作非类型模板形参的实参。
45. //调用整型int型非类型形参的方法为名为Ci，声明形式为template class Ci
46. Ci 47. const int a2=SMITLUint,a2> mci1; mci1.g(); //正确，因为a2在这里是const型的常量。输出"class Ci g() int"
48. //Ci mci; //错误，int型变量a是局部变量，不是一个常量表达式。
49. //Ci mci; //错误，全局int型变量e也不是一个常量表达式。
50. //调用int&型非类型形参的方法类名为Cip，声明形式为templateclass Cip
51. Cip mcip; //正确，对全局变量的引用或地址是常量表达式。
52. //Cip mcip1; //错误，局部变量的引用或地址不是常量表达式。
53. //调用double*类型的非类形形参类名为Cd，声明形式为templateclass Cd
54. Cd mcd; //正确，全局变量的引用或地址是常量表达式。
55. //Cd mcd1; //错误，全局变量指针不是常量表达式。
56. //double dd=aNGMIITbULcdefbbHIJKbgMIhh错误，局部变量的地址不是常量表达式，不能用作非类型形参的实参
57. //Cd mcd; //错误，非类型形参虽允许一些转换，但这个转换不能实现。
58. //调用模板类型形参对象A *的方法类名为Cc，声名形式为template* m> class Cc
59. Cc mcc; mcc.g(); //正确，全局对象的地址或者引用是常量表达式
60. //Cc mcc; //错误，局部变量的地址或引用不是常量表达式。

61. //Cc mcc2; //错误，全局对象的指针不是常量表达式。
62. //调用非类型形参E&对象的引用的方法类名为Ce。声明形式为template class Ce
63. E me1; //Ce mce1; //错误，局部对象不是常量表达式
64. Ce mce; //正确，全局对象的指针或引用是常量表达式。
65. //非类型形参的转换示例，类名为Ci
66. //非类型形参允许从数组到指针，从函数到指针的转换，const修饰符的转换，提升转换，整值转换，常规转换。
67. const short s= M Ci mci MI //正确，虽然short型和int不完全匹配，但这里可以将short型转换为int型

Cpp代码
1. //函数模板实参推演示例。
2. // h(int); //错误，对于函数模板而言不存在h(int,int)这样的调用，不能在函数调用的参数中指定模板形参的类型，对函数模板的调用
3. 应使用实参推演来进行，即只能进行h(2, Q这样的调用，或者int a, b; h(a,b)。
4. //h函数形式为：templatevoid h(T a)
5. h(2);//输出"hansu h() int"使用函数模板推演，在这里数值2为int型，所以把类型形参T推演为int型。
6. h(2. QMI//输出"hansu h() double"，因为2. 为double型，所以将函数模板的类型形参推演为double型
7. //k函数形式为：templatevoid k(T a,T b)
8. k(2,°QMI//输出"hansu k() int"
9. //k(2,±N QMIhh错误，模板形参T的类型不明确，因为k()函数第一个参数类型为int，第二个为double型，两个形参类型不一致。
10. //f函数的形式为：template void f(T1 a, T2 b)
11. f( e N QMI//输出"hansu f() int,double"，这里不存在模板形参推演错误的问题，因为模板函数有两个类型形参T1和T2。在这里将T1推
12. 演为int，将T2推演为double。
13. int a= Mdouble b= M
14. f(a,b); //输出同上，这里用变量名实现推板实参的推演。
15. //模板函数推演允许的转换示例，g函数的形式为template void g(const T* a)
16. int a1 ge M g(a1); //输出"hansu g() int"，数组的地址和形参const T*不完全匹配，所以将a1的地址T &转换为const T*，而a1
17. 是int型的，所以最后T推演为int。
18. g(&b); //输出"hansu g() double",这里和上面的一样，只是把类型T转换为double型。
19. h(&b); }//输出"hansu h() double *"这里把模参类型T推演为double *类型。

Cpp代码
1.
2.

摘自 jiangwenfeng762

c++模板详解 (二)