第68课 拾遗：让人迷惑的写法

#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;
}

#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...
*/