# 枚舉類——具有類域和強類型的枚舉
枚舉類(“新的枚舉”/“強類型的枚舉”)主要用來解決傳統的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