CEnumClass—類型安全的枚舉類型
在前面的一篇文章《enum類型的本質(zhì)》中非常詳盡的討論了C++中原生枚舉類型的一些
本質(zhì)特征(http://www.shnenglu.com/chemz/archive/2007/06/05/25578.html)。在文章的結(jié)
尾遺留了這樣一個(gè)話題：
由上面的說(shuō)明枚舉類型有那么多的缺點(diǎn)，那我們?cè)鯓硬拍軌蛴幸粋€(gè)類型安全的枚舉類型呢？
同時(shí)也給出了解決這個(gè)問(wèn)題的一個(gè)思想：
其實(shí)可以采用類類型來(lái)模擬枚舉類型的有限常量集合的概念，同時(shí)得到類型安全的好處。
沿著上面所闡述的思想來(lái)看為了解決這個(gè)問(wèn)題必須通過(guò)C++中的類類型來(lái)強(qiáng)化類型的鑒別
能力，避免出現(xiàn)枚舉類型和默認(rèn)的int的隱示自動(dòng)轉(zhuǎn)換。我們來(lái)看看下面的實(shí)現(xiàn)：
template<typename SubT>
class CEnumClass
{
public:
friend bool operator==( const SubT &lhs, const SubT &rhs )
{
return lhs.value() == rhs.value();
}
friend bool operator!=( const SubT &lhs, const SubT &rhs )
{
return !( lhs == rhs );
}
int value() const { return m_value; }
protected:
CEnumClass( int i ) : m_value( i ) {}
CEnumClass( const CEnumClass &rhs ) : m_value( rhs.m_value ) {}
CEnumClass &operator=( const CEnumClass &rhs ) { m_value = rhs.m_value; return *this; }
protected:
int m_value;
};
首先簡(jiǎn)單的說(shuō)明一下這個(gè)類，CEnumClass是一個(gè)奇異遞歸模板，也就是說(shuō)模板參數(shù)SubT
是CEnumClass<SubT>的子類，那么這樣一來(lái)為了聲明一個(gè)枚舉類就必須要想下面這樣：
EType.hpp
class EType : public CEnumClass<EType>
{
};
上面聲明就完成了enum EType這樣一個(gè)過(guò)程，但是一個(gè)枚舉類型不僅僅只是有類型，其中還
包括了有限常量枚舉子，那我們就需要在類聲明中添加對(duì)應(yīng)的枚舉子的定義：
EType.hpp
class EType : public CEnumClass<EType>
{
public:
static const EType e1;
static const EType e2;
static const EType e3;
private:
EType( int i );
};
================================================================================
EType.cpp
const EType EType::e1 = 0;
const EType EType::e2 = 1;
const EType EType::e3 = 2;
EType::EType( int i ) : CEnumClass<EType>( i )
{
}
有了上面的定義就完成了一個(gè)枚舉類型的定義了，現(xiàn)在我們來(lái)分析一下這個(gè)類型是否真的能
夠解決文章《enum類型的本質(zhì)》中所提到的所有缺陷和陷阱，同時(shí)又不失為真正的枚舉含義。
1. 有限常量集合
由于EType類的構(gòu)造函數(shù)是私有的，所以無(wú)法在class聲明之外定義任何類的實(shí)例，所以
所有的類實(shí)例必須在class聲明中定義，有限性得到滿足。常量屬性可以通過(guò)是否能夠修改
實(shí)例的內(nèi)容來(lái)進(jìn)行判斷，這里沒(méi)有任何辦法可以修改枚舉子e1、e2、e3中的內(nèi)容，因?yàn)樗?br>們本身是const屬性，同時(shí)其成員均是外部不可訪問(wèn)的。
2. 尺寸大小
分析一下這個(gè)類就可以很清楚的判斷出sizeof( EType ) == sizeof( int )，尺寸固定
成為一個(gè)int類型的大小，不再是可以隨著其取值范圍變化的了，同時(shí)也沒(méi)有占用任何額外
的空間，空間利用率非常高效。
3. 邊界約束
如果要定義一個(gè)枚舉類型的變量，就必須像下面這樣子：
EType val1 = EType::e1;
EType val2 = EType::e2;
EType val3 = EType::e3;
你不可能像下面這樣子：
EType val1;
EType val2 = 1;
EType val2 = 100;
也就是說(shuō)一個(gè)枚舉變量的初始值必須在集合范圍之內(nèi)，不可能越過(guò)這個(gè)范圍，也不可能取隨
機(jī)值。
4. 代替int類型
文章《enum類型的本質(zhì)》中也明確的討論了enum類型不能在任何情況下替代int類型，而
在這里只要通過(guò)value函數(shù)調(diào)用就可以返回對(duì)應(yīng)的int值，不就可以替代int類型了么。也就
是像這樣：
int i = val1.value();
這種做法是顯示的，你現(xiàn)在知道你自己在干什么，而不是編譯器隱示為你完成的。
對(duì)于其他剩余的內(nèi)容，比如比較、輸入輸出等大家可以自行練習(xí)完成，這里就不論述了。