第68课 拾遗，令人迷惑的写法

令人迷惑的写法：

 

示例程序：

上述程序可以正常编译通过。

有了class，为什么还要定义typename呢？

 

用class定义普通类型的泛指类型，容易产生迷惑性。

由于一个二义性问题，产生了typename：

示例程序：

第57行使用Test_1作为类型参数来使用模板可以编译通过，这意味着第50行被解释成了乘法操作。因为Test_1这个类种的TS是一个常量。

添加Test_2测试：

第58行使用Test_2作为类型参数来使用模板出错了，编译器报错显示，在第50行，我们更倾向于让TS作为一个类型来使用，如果是这样的话我们必须使用typename关键字来说明一下。 

第50行的写法，编译器默认TS是一个静态成员变量，而不是一个类型。这与我们的第一反应相违背。

于是，typename就诞生了，一个作用是用于在模板里面定义泛指类型，另一个作用就是解决这里的二义性问题。

 完善程序：

#include <iostream>
#include <string>

using namespace std;

template < class T >
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:
    static const int TS = 1;
};

class Test_2
{
public:
    struct TS
    {
        int value;
    };
};

template
< class T >
void test_class()
{
    typename T::TS * a;        // 1. 通过泛指类型 T 内部的数据类型 TS 定义指针变量 a （推荐的解读方式）
                               // 2. 使用泛指类型 T 内部的静态成员变量 TS 与全局变量 a 进行乘法操作
}


int main(int argc, char *argv[])
{
    // test_class<Test_1>();
    test_class<Test_2>();
    
    return 0;
}

 

 typename诞生的原因：

 

 

令人迷惑的写法2：

这里的try是放在函数之外的，这在之前是没有见过的，将一个函数实现分为两部分，try是正常逻辑部分，catch是异常逻辑部分。

上图中右边的函数告诉编译器，我们这个函数是可能抛出异常的，异常类型是int。这就是异常声明，是函数可选部分，增加了函数的可读性，让别人知道这个函数可能抛出异常。

 

异常声明的注意事项：

 

新的异常写法：

#include <iostream>
#include <string>

using namespace std;

int func(int i, int j) throw(int, char)
{
    if( (0 < j) && (j < 10) )
    {
        return (i + j);
    }
    else
    {
        throw '0';
    }
}

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

结果如下：

 

小结：