# 枚举类——具有类域和强类型的枚举
枚举类(“新的枚举”/“强类型的枚举”)主要用来解决传统的C++枚举的三个问题:
* 传统C++枚举会被隐式转换为int,这在那些不应被转换为int的情况下可能导致错误
* 传统C++枚举的每一枚举值在其作用域范围内都是可见的,容易导致名称冲突(同名冲突)
* 不可以指定枚举的底层数据类型,这可能会导致代码不容易理解、兼容性问题以及不可以进行前向声明
枚举类(enum)(“强类型枚举”)是强类型的,并且具有类域:
```
enum Alert { green, yellow, election, red }; // 传统枚举
enum class Color { red, blue }; // 新的具有类域和强类型的枚举类
// 它的枚举值在类的外部是不可直接访问的,需加“类名::”
// 不会被隐式转换成int
enum class TrafficLight { red, yellow, green };
Alert a = 7; // 错误,传统枚举不是强类型的,a没有数据类型
Color c = 7; // 错误,没有int到Color的隐式转换
int a2 = red; // 正确,Alert被隐式转换成int
// 在 C++98中是错误的,但是在C++11中正确的
int a3 = Alert::red;
int a4 = blue; // 错误,blue并没有在类域中
int a5 = Color::blue; // 错误,没有Color到int的默认转换
Color a6 = Color::blue; // 正确
```
正如上面的代码所展示的那样,传统的枚举可以照常工作,但是你现在可以通过提供一个类名来改善枚举的使用,使其成为一个强类型的具有类域的枚举。
因为新的具有类名的枚举具有传统的枚举的功能(命名的枚举值),同时又具有了类的一些特点(枚举值作用域处于类域之内且不会被隐式类型转换成int),所以我们将其称为枚举类(enum class)。
因为可以指定枚举的底层数据类型,所以可以进行简单的互通操作以及保证枚举值所占的字节大小:
```
enum class Color : char { red, blue }; // 紧凑型表示(一个字节)
// 默认情况下,枚举值的底层数据类型为int
enum class TrafficLight { red, yellow, green };
// E占几个字节呢?旧规则只能告诉你:取决于编译器实现
enum E { E1 = 1, E2 = 2, Ebig = 0xFFFFFFF0U };
// C11中我们可以指定枚举值的底层数据类型大小
enum EE : unsigned long { EE1 = 1, EE2 = 2, EEbig = 0xFFFFFFF0U };
```
同时,由于能够指定枚举值的底层数据类型,所以前向声明得以成为可能:
(译注:就是在枚举类定义之前就使用这个枚举类的名字声明指针或引用变量)
```
enum class Color_code : char; // (前向) 声明
void foobar(Color_code* p); // 使用
// ...
// 定义
enum class Color_code : char { red, yellow, green, blue };
```
枚举类的底层数据类型必须是有符号或无符号的整型,默认情况下是int。
标准库中也使用了枚举类。
* 系统特定的错误代码,定义在`<system_error>: enum class errc</system_error>`
* 指针安全指示,定义在`<memory>: enum class pointer_safety { relaxed, preferred, strict }</memory>`
* I/O流错误,定义在`<iosfwd>: enum class io_errc { stream = 1 }</iosfwd>`
* 异步通信错误,定义在`<future>: enum class future_errc { broken_promise, future_already_retrieved, promise_already_satisfied }</future>`
其中的某些枚举类还定义了操作符重载,比如“==”等。
参考:
the C++ draft section 7.2
[N1513=03-0096] David E. Miller: Improving Enumeration Types (original enum proposal).
[N2347 = J16/07-0207] David E. Miller, Herb Sutter, and Bjarne Stroustrup: Strongly Typed Enums (revision 3).
[N2499=08-0009] Alberto Ganesh Barbati: Forward declaration of enumerations.
- C++11 FAQ中文版 - C++11 FAQ
- Stroustrup先生关于中文版的授权许可邮件
- Stroustrup先生关于C++11 FAQ的一些说明
- 关于C++11的一般性的问题
- 您是如何看待C++11的?
- 什么时候C++0x会成为一部正式的标准呢?
- 编译器何时将会实现C++11标准呢?
- 我们何时可以用到新的标准库文件?
- C++0x将提供何种新的语言特性呢?
- C++11会提供哪些新的标准库文件呢?
- C++0x努力要达到的目标有哪些?
- 指导标准委员会的具体设计目标是什么?
- 在哪里可以找到标准委员会的报告?
- 从哪里可以获得有关C++11的学术性和技术性的参考资料?
- 还有哪些地方我可以读到关于 C++0x的资料?
- 有关于C++11的视频吗?
- C++0x难学吗?
- 标准委员会是如何运行的?
- 谁在标准委员会里?
- 实现者应以什么顺序提供C++11特性?
- 将会是C++1x吗?
- 标准中的"concepts"怎么了?
- 有你不喜欢的C++特性吗?
- 关于独立的语言特性的问题
- __cplusplus宏
- alignment(对齐方式)
- 属性(Attributes)
- atomic_operations
- auto – 从初始化中推断数据类型
- C99功能特性
- 枚举类——具有类域和强类型的枚举
- carries_dependency
- 复制和重新抛出异常
- 常量表达式(constexpr)
- decltype – 推断表达式的数据类型
- 控制默认函数——默认或者禁用
- 控制默认函数——移动(move)或者复制(copy)
- 委托构造函数(Delegating constructors)
- 并发性动态初始化和析构
- noexcept – 阻止异常的传播与扩散
- 显式转换操作符
- 扩展整型
- 外部模板声明
- 序列for循环语句
- 返回值类型后置语法
- 类成员的内部初始化
- 继承的构造函数
- 初始化列表
- 内联命名空间
- Lambda表达式
- 用作模板参数的局部类型
- long long(长长整数类型)
- 内存模型
- 预防窄转换
- nullptr——空指针标识
- 对重载(override)的控制: override
- 对重载(override)的控制:final
- POD
- 原生字符串标识
- 右角括号
- 右值引用
- Simple SFINAE rule
- 静态(编译期)断言 — static_assert
- 模板别名(正式的名称为"template typedef")
- 线程本地化存储 (thread_local)
- unicode字符
- 统一初始化的语法和语义
- (广义的)联合体
- 用户定义数据标识(User-defined literals)
- 可变参数模板(Variadic Templates)
- 关于标准库的问题
- abandoning_a_process
- 算法方面的改进
- array
- async()
- atomic_operations
- 条件变量(Condition variables)
- 标准库中容器方面的改进
- std::function 和 std::bind
- std::forward_list
- std::future和std::promise
- 垃圾回收(应用程序二进制接口)
- 无序容器(unordered containers)
- 锁(locks)
- metaprogramming(元编程)and type traits
- 互斥
- 随机数的产生
- 正则表达式(regular expressions)
- 具有作用域的内存分配器
- 共享资源的智能指针——shared_ptr
- smart pointers
- 线程(thread)
- 时间工具程序
- 标准库中的元组(std::tuple)
- unique_ptr
- weak_ptr
- system error