1. typename的前世今生
（1）定义模板时使用class的历史原因
①早期的C++直接复用class关键字来定义模板
②但是泛型编程针对的不只是类类型
③class关键字的复用使得代码出现二义性
（2）typename诞生的直接诱因
①自定义类类型内部的嵌套类型
②不同类中的同一个标识符可能导致二义性
③编译器无法辨识标识符究竟是什么
【编程实验】模板中的二义性 68-1.cpp
#include <iostream> #include <string> using namespace std; template <class T> //旧式写法，用class而不是typename定义模板 class Test { public: Test(T t) { cout << "t = " << t << endl; } }; template <class T> void func( T a[], int len) { for (int i = 0; i<len; i++) { cout << a[i] << endl; } } //////////////////////////////////////////////////////// int a = 0; class Test_1 { public: //静态成员变量TS static const int TS = 1; }; class Test_2 { public: //内部类TS struct TS { int value; }; }; template <class T> void test_class() { //以下句子可能出现两种解读方法，出现了二义性） T::TS * a; //1. 通过泛型T内部类类型定义指针变量a.(大部分人的解读方式) //2. 使用泛型T内部的静态成员变量TS与全局变量a进行乘法操作 //默认下，编译器会按2的方式解读，而不是我们期望的1的方式 //如何解决以上的二义性问题呢？引入新的关键字typename，将它放在类型前面 //以说明其紧跟的标识符是类型名而不是变量，形式如下 //typename T::TS* a; //T::TS前用typename修饰，明确地表示其为一个类类型 //也可以用class来修饰。但这样会让人疑惑，因为class //一般用于声明类的，但这里用法给人感觉好象是用来 //定义指针，所以建议用新的typename关键字。索性， //把template <class T>也改为template <typename T> //这样更彻底。即，在定义模板时完全抛弃class关键字 } int main(int argc, char *argv[]) { test_class<Test_1>(); //编译通过，说明编译器是按2的方式去解读。 //test_class<Test_2>(); //编译不过，说明编译器是仍是按1的方式去解读 return 0; }
运行结果：
（3）typename的作用
①模板定义中声明泛指类型
②明确告诉编译器其后的标识符为类型
2. 另类的try-catch写法
（1）函数异常声明中的try-catch块
①try-catch用于分隔正常功能代码与异常处理代码
②try-catch可以直接将函数实现分隔为2部分
③函数声明和定义时可以直接指定可能抛出的异常类型
④异常声明成为函数的一部分可以提高代码可读性
（2）注意事项
①函数异常声明是一种与编译器之间的契约
②函数声明异常后就只能抛出声明的异常
A.抛出其它异常将导致程序运行终止
B.可以直接通过异常声明定义无异常函数
【编程实验】新的异常写法 68-2.cpp
#include <iostream> #include <string> using namespace std; int func(int i, int j) throw(int, char) //异常声明，表示该函数 //可能抛出int和char两种类型的异常 { if ((0 < j) && (j < 10)) { return (i + j); } else { throw '0'; //抛出char型，合法。因为符合异常声明，也可以抛出整型 //如 throw 0;但除了这两种外的都不行，那会程序崩溃。 } } //以下的写法已经不被推荐（g++下直接报错、VS2013下会出警告） void test(int i) try //正常代码 { cout << "func(i, i) = " << func(i, i) << endl; } catch (int i) //异常代码 { cout << "Exception:" << i << endl; } catch (...) { cout << "Exception..." << endl; } int main(int argc, char *argv[]) { test(5); //正常 test(10); //抛异常 return 0; }
/*输出结果
func(i, i) = 10
Exception...
*/
3. 小结
（1）class可以用来模板中定义泛指类型（不推荐）
（2）typename是可以消除模板中的二义性
（3）try-catch可以将函数体分成2部分
（4）异常声明能够提高程序的可读性