枚举

来自cppreference.com
< c‎ | language


枚举类型是独立的类型,其值为包含所有其显示命名的常量(枚举常量)的底层类型的值。

语法

枚举类型在声明文法中以跟随的枚举说明符作为 类型说明符 声明:

enum 属性声明符序列 (可选) 标识符 (可选) { 枚举项列表 } (1)
enum 属性声明符序列 (可选) 标识符 (可选) : 类型 { 枚举项列表 } (2) (C23 起)
1) 声明没有固定底层类型的枚举。
2) 声明固定底层类型为 类型 的枚举。

其中 枚举项列表枚举项 的逗号分隔列表(允许尾随的逗号) (C99 起),每个 枚举项 拥有形式:

枚举常量 属性声明符序列 (可选) (1)
枚举常量 属性声明符序列 (可选) = 常量表达式 (2)

其中

标识符, 枚举常量 - 由此声明引入的标识符
常量表达式 - 整数常量表达式其值可以以 int 类型的值表示。 (C23 前)若枚举具有固定底层类型,则其可以表示为 类型 的值 (C23 起)
属性声明符序列 - (C23)可选的属性列表
  • 若出现在 enum 后则应用到整个枚举,
  • 若出现在 枚举常量 后则应用到 枚举项

结构体联合体一样,引入枚举类型和一或多个枚举常量的声明亦可声明一或多个该类型的对象,或从该类型派生的类型的对象。

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 数组大小)。

在处理枚举项列表中的每个枚举常量过程中,枚举常量的类型应当为:

  • 之前声明的类型,若此为相同枚举常量的重声明;或者,
  • 对于带有固定底层类型的枚举,则为枚举所用类型;或者,
  • int,若枚举项列表中没有更早的枚举常量且没有提供定义的整数常量表达式的明确 =;或者,
  • int,若给出了明确的 = 且整数常量表达式的值可以表示为 int;或者,
  • 整数常量表达式的类型,若给出了明确的 = 并且整数常量表达式的值无法表示为 int;或者,
  • 最后一个没寄出来的值加上 1 的值的类型。如果这种整数常量表达式对于前一个枚举常量加 1 的值会发生溢出或回绕,则其类型为以下之一:
    • 适当大小的有符号整数类型(不包括位精确有符号整数类型),有能力表示前一个枚举常量加 1 的值;或者
    • 适当大小的无符号整数类型(不包括位精确无符号整数类型),有能力表示前一个枚举常量加 1 的值。

当被加的前一个枚举常量为有符号整数类型时,选用有符号整数类型。当被加的前一个枚举常量为无符号整数类型时,选用无符号整数类型。如果不存在前述可以表示新值的合适的有符号整数类型,则该枚举没有有能力表示其所有值的类型。

(C23 起)
enum color { RED, GREEN, BLUE } r = RED;
switch(r)
{
case RED:
    puts("red");
    break;
case GREEN:
    puts("green");
    break;
case BLUE:
    puts("blue");
    break;
}

枚举常量 后随 = 常量表达式 ,则其值为该常量表达式的值。若 枚举常量 没有后随 = 常量表达式 ,则其值是比同一枚举中前一枚举项的值大一的值。首个枚举项(若它不用 = 常量表达式 )的值是零。

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 起)

没有固定底层类型的枚举类型,在其完成处枚举成员的类型为:

  • 如果枚举的所有值均可表示为一个 int 则为 int;否则,
  • 所枚举的类型。
(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

注解

不同于 structunion , 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
}

示例

#include <stdio.h>
 
int main(void)
{
    enum TV { FOX = 11, CNN = 25, ESPN = 15, HBO = 22, MAX = 30, NBC = 32 };
 
    printf("List of cable stations:\n");
    printf(" FOX: \t%2d\n", FOX);
    printf(" HBO: \t%2d\n", HBO);
    printf(" MAX: \t%2d\n", MAX);
}

输出:

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

关键词

enum

参阅