至從C語言開始enum類型就被作為用戶自定義分類有限集合常量的方法被引入到了語言當(dāng)中，而且一度成為C++中定義編譯期常量的唯一方法（后來在類中引入了靜態(tài)整型常量）。
根據(jù)上面對enum類型的描述，有以下幾個(gè)問題：
1.到底enum所定義出來的類型是一個(gè)什么樣的類型呢？
2.作為一個(gè)用戶自定義的類型其所占用的內(nèi)存空間是多少呢？
3.使用enum類型是否真的能夠起到有限集合常量的邊界約束呢？
4.大家可能都知道enum類型和int類型具有隱示（自動(dòng)）轉(zhuǎn)換的規(guī)則，那么是否真的在任何地方都可以使用enum類型的變量來代替int類型的變量呢？
1. 到底enum所定義出來的類型是一個(gè)什么樣的類型呢？
在C++中大家都知道僅僅有兩種大的類型分類：POD類型（注（1））和類類型。
enum所定義的類型其實(shí)屬于POD類型，也就是說它會(huì)參與到POD類型的隱示轉(zhuǎn)換規(guī)則當(dāng)中去，所以才會(huì)出現(xiàn)enum類型與int類型之間的隱示轉(zhuǎn)換現(xiàn)象。
那么也就是說enum所定義的類型不具備名字空間限定能力（因?yàn)椴粚儆陬愵愋停渌x的常量子具備和enum類型所在名字空間相同的可見性，由于自身沒有名字限定能力，所以會(huì)出現(xiàn)名字沖突現(xiàn)象。
如：
struct CEType
{
enum EType1 { e1, e2 };
enum EType2 { e1, e2 };
};
上面的例子會(huì)出現(xiàn)e1、e2名字沖突編譯時(shí)錯(cuò)誤，原因就在于枚舉子（e1、e2）是CEType名字空間中的名字，同樣在引用該CEType中的枚舉子時(shí)必須采用CEType::e1這樣的方式進(jìn)行，而不是CEType::EType1::e1來進(jìn)行引用。
注（1）POD類型：
你可以將 POD 類型看作是一種來自外太空的用綠色保護(hù)層包裝的數(shù)據(jù)類型，POD 意為“Plain Old Data”（譯者：如果一定要譯成中文，那就叫“徹頭徹尾的老數(shù)據(jù)”怎么樣！）這就是 POD 類型的含義。
其確切定義相當(dāng)粗糙（參見 C++ ISO 標(biāo)準(zhǔn)），其基本意思是 POD 類型包含與 C 兼容的原始數(shù)據(jù)。
例如，結(jié)構(gòu)和整型是 POD 類型，但帶有構(gòu)造函數(shù)或虛擬函數(shù)的類則不是。
POD 類型沒有虛擬函數(shù)，基類，用戶定義的構(gòu)造函數(shù)，拷貝構(gòu)造，賦值操作符或析構(gòu)函數(shù)。
為了將 POD 類型概念化，你可以通過拷貝其比特來拷貝它們。此外， POD 類型可以是非初始化的。
2. 作為一個(gè)用戶自定義的類型其所占用的內(nèi)存空間是多少呢？
該問題就是sizeof( EType1 )等于多少的問題，是不是每一個(gè)用戶自定義的枚舉類型都具有相同的尺寸呢？
在大多數(shù)的32位編譯器下（如：VC++、gcc等）一個(gè)枚舉類型的尺寸其實(shí)就是一個(gè)sizeof( int )的大小，難道枚舉類型的尺寸真的就應(yīng)該是int類型的尺寸嗎？
其實(shí)不是這樣的，在C++標(biāo)準(zhǔn)文檔（ISO14882）中并沒有這樣來定義，
標(biāo)準(zhǔn)中是這樣說明的：“枚舉類型的尺寸是以能夠容納最大枚舉子的值的整數(shù)的尺寸”，
同時(shí)標(biāo)準(zhǔn)中也說名了：“枚舉類型中的枚舉子的值必須要能夠用一個(gè)int類型表述”，
也就是說，枚舉類型的尺寸不能夠超過int類型的尺寸，但是是不是必須和int類型具有相同的尺寸呢？
上面的標(biāo)準(zhǔn)已經(jīng)說得很清楚了，只要能夠容納最大的枚舉子的值的整數(shù)就可以了，那么就是說可以是char、short和int。
例如：
enum EType1 { e1 = CHAR_MAX };
enum EType2 { e2 = SHRT_MAX };
enum EType3 { e3 = INT_MAX };
上面的三個(gè)枚舉類型分別可以用char、short、int的內(nèi)存空間進(jìn)行表示，也就是：
sizeof( EType1 ) == sizeof( char );
sizeof( EType2 ) == sizeof( short );
sizeof( EType3 ) == sizeof( int );
那為什么在32位的編譯器下都會(huì)將上面三個(gè)枚舉類型的尺寸編譯成int類型的尺寸呢？
主要是從32位數(shù)據(jù)內(nèi)存對其方面的要求進(jìn)行考慮的，在某些計(jì)算機(jī)硬件環(huán)境下具有對齊的強(qiáng)制性要求（如：sun SPARC），
有些則是因?yàn)椴捎靡粋€(gè)完整的32位字長CPU處理效率非常高的原因（如：IA32）。
所以不可以簡單的假設(shè)枚舉類型的尺寸就是int類型的尺寸，說不定會(huì)遇到一個(gè)編譯器為了節(jié)約內(nèi)存而采用上面的處理策略。
3. 使用enum類型是否真的能夠起到有限集合常量的邊界約束呢？
首先看一下下面這個(gè)例子：
enum EType { e1 = 0, e2 };
void func1( EType e )
{
if ( e == e1 )
{
// do something
}
// do something because e != e1 must e == e2
}
void func2( EType e )
{
if ( e == e1 )
{
// do something
}
else if ( e == e2 )
{
// do something
}
}
func1( static_cast<EType>( 2 ) );
func2( static_cast<EType>( -1 ) );
上面的代碼應(yīng)該很清楚的說明了這樣一種異常的情況了，在使用一個(gè)操出范圍的整型值調(diào)用func1函數(shù)時(shí)會(huì)導(dǎo)致函數(shù)采取不該采取的行為，而第二個(gè)函數(shù)可能會(huì)好一些他僅僅是忽略了超出范圍的值。
這就說明枚舉所定義的類型并不是一個(gè)真正強(qiáng)類型的有限常量集合，這樣一種條件下和將上述的兩個(gè)函數(shù)參數(shù)聲明成為整數(shù)類型沒有任何差異。所以以后要注意標(biāo)準(zhǔn)定義中枚舉類型的陷阱。
（其實(shí)只有類類型才是真正的強(qiáng)類型）
4. 是否真的在任何地方都可以使用enum類型的變量來代替int類型的變量呢？
通過上面的討論，其實(shí)枚舉類型的變量和整型變量具有了太多的一致性和可互換性,那么是不是在每一個(gè)可以使用int類型的地方都可以很好的用枚舉類型來替代呢？
其實(shí)也不是這樣的，畢竟枚舉類型是一個(gè)在編譯時(shí)可區(qū)分的類型，
同時(shí)第2點(diǎn)的分析枚舉類型不一定和int類型具有相同的尺寸，這兩個(gè)差異就決定了在某些場合是不可以使用枚舉類型來代替int類型的。
如：
第一種情況：
enum EType { e1 = 0, e2, e3 };
EType val;
std::cin >> val;
第二種情況：
enum EType { e1 = 0, e2, e3 };
EType val;
std::scanf( "%d", &val );
上面的兩種情況看是基本上屬于同一種類型的問題，其實(shí)不然。第一種情況會(huì)導(dǎo)致編譯時(shí)錯(cuò)誤，
會(huì)因?yàn)閟td::cin沒有定義對應(yīng)的枚舉類型的重載>>運(yùn)算符而出錯(cuò)，這就說明枚舉類型是一種獨(dú)立和鑒別的類型；
而第二種情況不會(huì)有任何編譯時(shí)問題，但是可能會(huì)導(dǎo)致scanf函數(shù)棧被破壞而使得程序運(yùn)行非法，為什么會(huì)這樣呢？
上面已經(jīng)分析過了枚舉類型變量的尺寸不一定和int類型相同，這樣一來我們采用%d就是說將枚舉類型變量val當(dāng)作4字節(jié)的int變量來看待并進(jìn)行參數(shù)壓棧，
而在某些編譯器下sizeof( val )等于1字節(jié)，這樣scanf函數(shù)就會(huì)將val變量地址中的后續(xù)的三字節(jié)地址也壓入棧中，
并對其進(jìn)行賦值，也許val變量后續(xù)的三個(gè)字節(jié)的地址沒有特殊含義可以被改寫（比如是字節(jié)對齊的空地址空間），
可能會(huì)認(rèn)為他不會(huì)出現(xiàn)錯(cuò)誤，其實(shí)不然，在scanf函數(shù)調(diào)用結(jié)束后會(huì)進(jìn)行棧清理，
這樣一來會(huì)導(dǎo)致scanf函數(shù)清理了過多的地址空間，從而破壞了外圍函數(shù)的棧指針的指向，從而必然會(huì)導(dǎo)致程序運(yùn)行時(shí)錯(cuò)誤。
由上面的說明枚舉類型有那么多的缺點(diǎn)，那我們怎樣才能夠有一個(gè)類型安全的枚舉類型呢？實(shí)際上，在最新的 C++0x 標(biāo)準(zhǔn)草案中有關(guān)于枚舉作用域問題的提案，但最終的解決方案會(huì)是怎樣的就無法未卜先知了，畢竟對于象 C++ 這樣使用廣泛的語言來說，任何特性的增刪和修改都必須十分小心謹(jǐn)慎。
當(dāng)然，我們可以使用一些迂回的方法來解決這個(gè)問題（C++ 總是能給我們很多驚喜和意外）。
例如，我們可以把枚舉值放在一個(gè)結(jié)構(gòu)里，并使用運(yùn)算符重載來逼近枚舉的特性：
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;
}
};
我們現(xiàn)在可以按照希望的方式使用這個(gè)枚舉類型：
FileAccess access = FileAccess::Read;
并且，因?yàn)槲覀兲峁┝说?int 類型的轉(zhuǎn)換運(yùn)算符，因此在需要 int 的地方都可以使用它，例如 switch 語句：
switch (access) {
case FileAccess::Read:
break;
case FileAccess::Write:
break;
}
當(dāng)然我們不愿意每次都手工編寫這樣的結(jié)構(gòu)。通過使用宏，我們可以很容易做到這一點(diǎn)：
#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; \
};
我們現(xiàn)在可以按如下的方式定義前面的枚舉，并且不比直接寫 enum 復(fù)雜多少。
DECLARE_ENUM(FileAccess)
Read = 0x1,
Write = 0x2,
END_ENUM()
DECLARE_ENUM(FileShare)
Read = 0x1,
Write = 0x2,
END_ENUM()