185
ZZ C++ 枚舉類型的定義域問題
C++ 中的枚舉類型繼承於 C 語言。就像其他從 C 語言繼承過來的很多特性一樣，C++ 枚舉也有缺點，這其中最顯著的莫過於作用域問題——在枚舉類型中定義的常量，屬於定義枚舉的作用域，而不屬於這個枚舉類型。例如下麵的示例：
enum FileAccess {
Read = 0x1,
Write = 0x2,
};
FileAccess access = ::Read; // 正確
FileAccess access = FileAccess::Read; // 錯誤
C++枚舉的這個特點對於習慣麵向對象和作用域概念的人來說是不可接受的。首先，FileAccess::Read 顯然更加符合程序員的直覺，因為上麵的枚舉定義理應等價於如下的定義（實際上，.NET 中的枚舉類型便是如此實現的）：
class FileAccess {
static const int Read = 0x1;
static const int Write = 0x2;
};
其次，這導致我們無法在同一個作用域中定義兩個同樣名稱的枚舉值。也就是說，以下的代碼是編譯錯誤：
enum FileAccess {
Read = 0x1,
Write = 0x2,
};
enum FileShare {
Read = 0x1, // 重定義
Write = 0x2, // 重定義
};
如果這一點沒有讓你惱怒過的話，你可能還沒寫過多少 C++ 代碼 :-)。實際上，在最新的 C++0x 標準草案中有關於枚舉作用域問題的提案，但最終的解決方案會是怎樣的就無法未卜先知了，畢竟對於象 C++ 這樣使用廣泛的語言來說，任何特性的增刪和修改都必須十分小心謹慎。
當然，我們可以使用一些迂回的方法來解決這個問題（C++ 總是能給我們很多驚喜和意外）。例如，我們可以把枚舉值放在一個結構裏，並使用運算符重載來逼近枚舉的特性：
struct FileAccess {
enum __Enum {
Read = 0x1,
Write = 0x2
};
__Enum _value; // 枚舉值
FileAccess(int value = 0) : _value((__Enum)value) {}
FileAccess& operator=(int value) {
this->_value = (__Enum)value;
return *this;
}
operator int() const {
return this->_value;
}
};
我們現在可以按照希望的方式使用這個枚舉類型：
FileAccess access = FileAccess::Read;
並且，因為我們提供了到 int 類型的轉換運算符，因此在需要 int 的地方都可以使用它，例如 switch 語句：
switch (access) {
case FileAccess::Read:
break;
case FileAccess::Write:
break;
}
當然我們不願意每次都手工編寫這樣的結構。通過使用宏，我們可以很容易做到這一點：
#define DECLARE_ENUM(E) struct E { public: E(int value = 0) : _value((__Enum)value) { } E& operator=(int value) { this->_value = (__Enum)value; return *this; } operator int() const { return this->_value; } enum __Enum {
#define END_ENUM() }; private: __Enum _value; };
我們現在可以按如下的方式定義前麵的枚舉，並且不比直接寫 enum 複雜多少。
DECLARE_ENUM(FileAccess)
Read = 0x1,
Write = 0x2,
END_ENUM()
DECLARE_ENUM(FileShare)
Read = 0x1,
Write = 0x2,
END_ENUM()
最後更新：2017-04-02 04:26:01