枚举
枚举类型是独立的类型,其值为包含所有其显示命名的常量(枚举常量)的底层类型的值。
语法
枚举类型在声明文法中以跟随的枚举说明符作为 类型说明符 声明:
enum 属性声明符序列 (可选) 标识符 (可选) { 枚举项列表 }
|
(1) | ||||||||
enum 属性声明符序列 (可选) 标识符 (可选) : 类型 { 枚举项列表 }
|
(2) | (C23 起) | |||||||
其中 枚举项列表 是 枚举项 的逗号分隔列表(允许尾随的逗号) (C99 起),每个 枚举项 拥有形式:
枚举常量 属性声明符序列 (可选) | (1) | ||||||||
枚举常量 属性声明符序列 (可选) = 常量表达式
|
(2) | ||||||||
其中
标识符, 枚举常量 | - | 由此声明引入的标识符 |
常量表达式 | - | 整数常量表达式,其值可以以 int 类型的值表示。 (C23 前)若枚举具有固定底层类型,则其可以表示为 类型 的值 (C23 起) |
属性声明符序列 | - | (C23)可选的属性列表,
|
与结构体或联合体一样,引入枚举类型和一或多个枚举常量的声明亦可声明一或多个该类型的对象,或从该类型派生的类型的对象。
enum color_t {RED, GREEN, BLUE} c = RED, *cp = &c; // 引入类型 enum color_t // 整数常量 RED 、 GREEN 、 BLUE // 对象 c 拥有类型 enum color_t // 对象 cp 的类型为指向 enum color_t 的指针
解释
每个出现于枚举说明符体中的 枚举常量 会成为 int 类型的 (C23 前)整数常量,并处于包围它的作用域中,而且在凡要求整数常量处可用(例如,作为 case 标号或非 VLA 数组大小)。
在处理枚举项列表中的每个枚举常量过程中,枚举常量的类型应当为:
当被加的前一个枚举常量为有符号整数类型时,选用有符号整数类型。当被加的前一个枚举常量为无符号整数类型时,选用无符号整数类型。如果不存在前述可以表示新值的合适的有符号整数类型,则该枚举没有有能力表示其所有值的类型。 |
(C23 起) |
若 枚举常量 后随 = 常量表达式 ,则其值为该常量表达式的值。若 枚举常量 没有后随 = 常量表达式 ,则其值是比同一枚举中前一枚举项的值大一的值。首个枚举项(若它不用 = 常量表达式 )的值是零。
enum Foo { A, B, C = 10, D, E = 1, F, G = F + C}; // A=0, B=1, C=10, D=11, E=1, F=2, G=12
若使用 标识符 ,则其自身成为标签命名空间中枚举类型的名称,且需要使用关键词 enum (除非 typedef 到通常命名空间)。
enum color { RED, GREEN, BLUE }; enum color r = RED; // OK // color x = GREEN; // 错误: color 不在通常命名空间中 typedef enum color color_t; color_t x = GREEN; // OK
每个无固定底层类型的 (C23 起)枚举类型与如下之一兼容:char、有符号整数类型或无符号整数类型(不包括 bool 和位精确整数类型) (C23 起)。对于任何枚举类型,哪一个类型是兼容的是实现定义的,但无论是那种类型,都必须有足以表示该枚举中所有枚举项的值。对于所有具有固定底层类型的枚举,枚举的类型均与枚举的底层类型兼容。 (C23 起)
没有固定底层类型的枚举类型,在其完成处枚举成员的类型为:
|
(C23 起) |
所有枚举均有底层类型。可以通过用 enum-类型说明符 显式指定底层类型,并作为其固定底层类型。如果未显示指定,则其底层类型为枚举的兼容类型,它为有符号或无符号的整数类型或 char。 | (C23 起) |
枚举类型是整数类型,从而可以用于任何其他整数类型能用之处,包括隐式转换和算术运算符。
enum { ONE = 1, TWO } e; long n = ONE; // 提升 double d = ONE; // 转换 e = 1.2; // 转换,e 现在是 ONE e = e + 1; // e 现在是 TWO
注解
不同于 struct 或 union , C 中没有 enum 的前置声明:
enum Color; // 错误:C 中无 enum 的前置声明 enum Color { RED, GREEN, BLUE };
枚举允许以比 #define 更加便利和结构化的方式生成具名常量;它们可见于调试器,遵循作用域规则,并且参与类型系统。
#define TEN 10 struct S { int x : TEN; }; // OK
或
enum { TEN = 10 }; struct S { int x : TEN; }; // 也 OK
自 C23 起也可用 constexpr 来达成相同目的:
constexpr int TEN = 10; struct S { int x : TEN; }; // 也 OK
另外,由于 C 中结构体或联合体不建立其作用域,可以在前者的成员说明中引入枚举类型及其枚举常量,而之后其作用域与前者相同。
struct Element { int z; enum State { SOLID, LIQUID, GAS, PLASMA } state; } oxygen = { 8, GAS }; // 类型 enum State 与其枚举常量于此保持可见,例如 void foo(void) { enum State e = LIQUID; // OK printf("%d %d %d ", e, oxygen.state, PLASMA); // 打印 1 2 3 }
示例
输出:
List of cable stations: FOX: 11 HBO: 22 MAX: 30
引用
- C23 标准(ISO/IEC 9899:2024):
- 6.2.5/21 Types (第 39 页)
- 6.7.2.2 Enumeration specifiers (第 107-112 页)
- C17 标准(ISO/IEC 9899:2018):
- 6.2.5/16 Types (第 32 页)
- 6.7.2.2 Enumeration specifiers (第 84-85 页)
- C11 标准(ISO/IEC 9899:2011):
- 6.2.5/16 Types (第 41 页)
- 6.7.2.2 Enumeration specifiers (第 117-118 页)
- C99 标准(ISO/IEC 9899:1999):
- 6.2.5/16 Types (第 35 页)
- 6.7.2.2 Enumeration specifiers (第 105-106 页)
- C89/C90 标准(ISO/IEC 9899:1990):
- 3.1.2.5 Types
- 3.5.2.2 Enumeration specifiers