C++ 入门枚举和隐式转换

Question

你好，我有这个来自 C++ 入门第 5 版：

// unscoped enumeration; the underlying type is machine dependent

enum Tokens {INLINE = 128, VIRTUAL = 129};

void newf(unsigned char);

void newf(int);

unsigned char uc = VIRTUAL;

newf(VIRTUAL); // calls newf(int)

newf(uc); // calls newf(unsigned char)

enum 令牌只有两个枚举器，其中较大的一个具有值129。该值可以用unsigned char 类型表示，许多编译器将使用unsigned char 作为Token 的底层类型。无论其基础类型如何，Tokens 的对象和枚举数都被提升为int。 enum 类型的枚举数和值不会提升为 unsigned char，即使枚举数的值适合。

• 但是如果我明确指定与函数参数的整数值完全匹配的底层类型，那么我认为不会发生隐式转换：

  enum days : unsigned char{sat = 1, sun, mon, tue, wed, thu, fri};
  
  void foo(unsigned char x){
      std::cout << "foo(unsigned char)\n";
  }
  
  void foo(int){
     std::cout << "foo(int)\n";
  }
  
  foo(tue); // foo(unsigend char)
  

所以你可以看到枚举值tue 没有提升为int，我得到的是foo(unsigned char) 的版本而不是foo(int)。

• 那么他的意思是，如果枚举基础类型与函数参数不同，那么枚举数不会提升为char，而是提升为int 或大整数类型？

• 我认为在他的enum tokens 示例中，如果底层类型是unsigned char，那么函数调用中将不会有整体提升：newf(VIRTUAL); // calls newf(int) 并且选择了newf(unsigned char) 的版本。你怎么看？

Answer 1

来自cppreference对enums的描述：

无范围枚举类型的值可以隐式转换为整数类型。如果基础类型不固定，则该值可转换为以下列表中能够保存其整个值范围的第一个类型：int、unsigned int、long、unsigned long、long long 或 @ 987654329@，具有更高转换等级的扩展整数类型（按等级顺序，有符号优先于无符号）（C++11 起）。如果基础类型是固定的，则可以将值转换为它们的基础类型（重载决议中首选），然后可以提升。

所以你对foo 的哪个重载将被选择是正确的，但你错了，没有发生隐式转换。 days 仍然是与 unsigned char 不同的类型，但它会隐式转换为一个。

如果实现恰好选择unsigned char 作为enum Tokens 的基础类型，那么您也错了，因此它将隐式转换为unsigned char。如果您自己修复底层类型而不是让实现来决定，则仅会隐式转换为比int更窄的底层类型。

您引用的 Primer 中的文字仅描述了您未明确指定基础类型时的情况。

来自draft standard，expr.conv.prom 的引用：

其基础类型不固定的无作用域枚举类型的纯右值可以转换为以下第一种类型的纯右值，该类型可以表示枚举的所有值（[dcl.enum]）：int， unsigned int、long int、unsigned long int、long long int 或 unsigned long long int。如果该列表中的任何类型都不能表示枚举的所有值，则可以将无作用域枚举类型的纯右值转换为扩展整数类型的纯右值，其最低整数转换等级 ([conv.rank]) 大于long long 的等级，其中可以表示枚举的所有值。如果有两种这样的扩展类型，则选择有符号的。

其基础类型固定 ([dcl.enum]) 的无作用域枚举类型的纯右值可以转换为其基础类型的纯右值。此外，如果可以将整型提升应用于其基础类型，则其基础类型固定的无作用域枚举类型的纯右值也可以转换为提升的基础类型的纯右值。

来自over.ics.rank：

提升其基础类型固定为其基础类型的枚举的转换优于提升为提升的基础类型的转换，如果两者不同的话。