讀K&R的The C Programmingh Language 2nd，遇到一疑問，書中說：“盡管可以聲明enum類型的變量，但編譯器不檢查這種類型的變量中存儲的值是否為該枚舉的有效值。不過，枚舉變量提供這種檢查，因此枚舉比#define更具優(yōu)勢。”
枚舉變量提供這種檢查，什么意思？枚舉變量會自己檢？當(dāng)然不是，作者也許想說程序員自己可以寫個程序檢查付給枚舉變量的值是否為該枚舉的有效值。
/* 包含頭文件 */
#include <stdio.h>
/* 枚舉類型 */
enum months{JAN = 1, FEB};
/* 函數(shù)原型 */
void enumeration(enum months m);
main()
{
enum months a = 2;
enum months b = 50; /* C中不需要強制轉(zhuǎn)換為enum months類型 */
enum months c = JAN;
enumeration(a);
enumeration(b);
return 0;
}
/* enumeration函數(shù)：檢測枚舉變量存儲的值是否為該枚舉的有效值 */
void enumeration(enum months m)
{
switch (m)
{
case JAN:
printf("JAN: %d\n", JAN);
break;
case FEB:
printf("FEB: %d\n", FEB);
break;
default:
printf("%d不是該枚舉的有效值！\n", m);
break;
}
}
而這段代碼如果改為C++源文件編譯，卻不能通過。原因如下：
根據(jù)C標(biāo)準(zhǔn)的規(guī)定，枚舉常量的類型為int，枚舉變量的類型應(yīng)該與char、有符號或無符號整型兼容。因此，枚舉變量可以接受 char、有符號或無符號整型數(shù)，而不限于僅從此枚舉類型所定義的枚舉常量中取值。由于上述原因，在C語言中無法從語法上保證枚舉變量只能在定義的枚舉成員中取值，只能由程序員自身保證不使用除枚舉成員之外的值。
關(guān)于這一點，很多介紹C語言的書上或者資料上的描述是不正確的，應(yīng)該加以注意。
但是，如果給枚舉變量賦枚舉成員之外的值，有的編譯器可能會對此產(chǎn)生警告，有的則不會。因為這種行為不違反C標(biāo)準(zhǔn)的規(guī)定，編譯器對此如何反應(yīng)都是有道理的。
然而對于C++來說，編譯器會禁止給枚舉變量賦予枚舉成員之外的值。這是因為C++是一種強類型語言，枚舉類型不等同于 int 等其它類型。雖然枚舉類型可以隱式轉(zhuǎn)化為 int 等類型，但是 int 等類型卻不能自動轉(zhuǎn)化為枚舉類型，除非使用強制類型轉(zhuǎn)化。因此，如果不使用強制類型轉(zhuǎn)化的話，給枚舉變量賦值則只能從枚舉成員中選擇。對于枚舉類型要避免使用強制類型轉(zhuǎn)換。原因如下：
The C++ Programming Language上說:
如果某個枚舉中所有枚舉值非負,枚舉的表示范圍為[0 : 2^k-1];其中2^K是使所有枚舉成員位于此范圍內(nèi)的最小的2的冪;如果是負的,就是[-2^k : 2^k-1]。 因此對一個給定的整數(shù)值，如果使用強制類型轉(zhuǎn)換，而其值又不在枚舉的表示范圍以內(nèi)，其行為是未定義的。
// 包含頭文件
#include <iostream.h>
int main()
{
enum months{JAN = 1, FEB, MAR};
//enum months a = 1; //cannot convert from 'const int' to 'enum main::months'
enum months a = (enum months)1;
cout << "a: " << a << endl; //輸出: a: 1
enum months b = (enum months)10;
cout << "b: " << b << endl; //輸出: b: 10 雖然輸出10，但結(jié)果是未定義的，因為此枚舉的表示范圍為：0～3
return 0;
}