杂货边角（26）：强枚举类型enum class

枚举类型是C++从C继承而来的特性，但是枚举类型在C中的实现其实和宏无差别，即

#define Male 0
#define Female 1
....
//用枚举声明为
enum {Male, Female}

这种枚举类型和int整数的天然等价性很容易造成一些漏洞，如不同枚举名字域下的比较，并且传统的枚举类型中的符号是直接开发在父作用域中，这也容易导致符号冲突。而C++11引入的强枚举类型，非常好理解，并且安全性也更强。

#include <iostream>

using namespace std;

enum class Type : int { General, Light, Medium, Heavy }; //代表用int字节来表示每个符号
enum class Category : char { General = 1, Pistol, MachineGun, Cannon }; //代表用char即1个字节来实现各符号，可以节省空间

int main()
{
    Type t = Type::Light;
    //t = General;  //强作用域限制，必须要携带枚举class::限定，不像传统的枚举类型可以直接穿透到父作用域
    //制止了enum符号成员直接输出到父作用域，避免名字空间间符号冲突的问题
    /********
    if (t == Category::General )  //不同枚举类之间不能比较，传统的枚举类型是宏的syntax sugar，在程序中都表示为整数
        //故而可以默认比较，但是这种跨不同enum间的比较，容易出现混淆
        //error: no match for 'operator==' (operand types are 'Type' and 'Category')
        cout << "General Weapon" << endl;
    *********/
    if (t > Type::General)
        cout << "Not General Weapon" << endl;

    /********
    if (t > 0) //强枚举类型并不能调用隐式的static_cast<int>转换为整型，需要显式调用才可
        //error: no match for 'operator>' (operand types are 'Type' and 'int')
        cout << "Not General Weapon" << endl;
    *********/

    cout << sizeof(Type::General) << endl; //4
    cout << sizeof(Category::General) << endl; //1

    if ((int)t > 0)
        cout << "Not General Weapon" << endl;

    cout << is_pod<Type>::value << endl;
    cout << is_pod<Category>::value << endl;

    return 0;
}