为什么具有固定底层类型 char 的枚举值解析为 fct(int) 而不是 fct(char)？

Question

回复this question about overload resolution with enums时出现这个问题。

虽然long long 的情况绝对是 MSVC2012NovCTP 中的一个错误（根据标准文本和 gcc 4.7.1 的测试），但我无法弄清楚为什么会出现以下行为：

#include <iostream>

enum charEnum : char { A = 'A' };

void fct(char)      { std::cout << "fct(char)"      << std::endl; }
void fct(int)       { std::cout << "fct(int)"       << std::endl; }
void fct(long long) { std::cout << "fct(long long)" << std::endl; }

int main() 
{
    fct('A');
    fct(A);
}

MSVC2012NovCTP 和 gcc 4.7.1 都同意这个输出：

fct(char)
fct(int)

不应该将A 从charEnum 转换为char 吗？为什么A 被转换为int？

编辑：clang 抱怨电话不明确，这与我在下面的解释一致；也就是说，如果仅将其视为底层类型，我仍然会发现它更加直观。

---

两个相关的标准摘录是 §7.2/9：

枚举数或非作用域枚举类型的对象的值通过整数提升（4.5）转换为整数

以及§4.5/4：

其基础类型固定（7.2）的无作用域枚举类型的纯右值可以转换为其基础类型的纯右值。此外，如果可以将整型提升应用于其基础类型，则其基础类型固定的无作用域枚举类型的纯右值也可以转换为提升的基础类型的纯右值。

所以charEnum 可以转换为char，或者char 的任何积分提升，例如int。

但这对我来说很模糊，因为“可以”并不能完全说明实际会选择哪个。如果有的话，这应该与此措辞模棱两可，因为在 char 或其任何促销活动之间没有优先考虑。如果您注释掉fct(int)，则调用 不明确。为什么int 很特别？

我唯一能想到的是积分提升是递归应用的，但我没有看到强制它。

Answer 1

在 C++03 中，规则是：

无范围枚举类型 (7.2 [dcl.enum]) 的右值可以是 转换为以下第一种类型的右值，可以 表示枚举的所有值（即 7.2 [dcl.enum] 中描述的范围 bmin 到 bmax): int, unsigned int, long int、unsigned long int、long long int 或 unsigned long long int。

在 C++03 编译器中，int 会被选中，因为它是第一个 在名单上。

---

在 C++11 中，引入了底层类型。因此，通过685. Integral promotion of enumeration ignores fixed underlying type ，此措辞已更改为您在 §4.5/4 中引用的段落，从阅读缺陷报告来看，委员会的意图似乎是选择fct(char)（基础类型）。

但是，根据core issue 1601 下的讨论，C++11 中的文本实际上使转换模棱两可（fct(char) 和fct(int) 都可以，但都不是首选）。

C++14 提出并接受了以下修复：

促进其基础类型为的枚举的转换 固定到它的底层类型比一个提升到 提升的基础类型（如果两者不同）。

由于它在 C++11 中被报告为缺陷，因此编译器应在 C++11 模式下应用此修复并调用 fct(char)。

Answer 2

根据我对当前标准的解释，调用必须是模棱两可的。跟随解释。

每 4.5/4：

“其基础类型是固定的 (7.2) 的无作用域枚举类型的纯右值可以转换为其基础类型的纯右值。此外，如果可以将整数提升应用于其基础类型，则基础类型固定的无范围枚举类型也可以转换为提升的基础类型的纯右值。”

这提供了两种可选的促销：提升到底层类型，提升到提升底层类型。因此，仅这一段就在解决对重载函数的函数调用时应该使用这些替代方案中的 引入了歧义。

然后，第 13.3.3 段根据 “转换序列” 决定哪个是重载集的最佳可行函数。特别是，与此相关的是 13.3.3.1（“隐式转换序列”），更具体地说，是 13.3.3.1.1（“标准转换序列”），它定义了这些转换序列由哪些基本步骤组成。

13.3.3.1.1/1 和表 12 将这些步骤分为四类，其中 Promotion 和 Conversion，并根据个人的类别对转换序列进行排序构成这些序列的转换。

在我们的例子中，我们有两个由单个Promotion 步骤组成的单长度转换序列（4.5./4 都允许）。

转化序列按照 13.3.3.2 进行排名。特别是，13.3.3.2/3 提到转换序列 S1 比转换序列 S2 更可取，如果：

"排名[即提升、转化等]S1的排名优于S2的排名，或者S1和S2的排名 >相同的等级并且可以通过以下段落中的规则进行区分，或者，如果不是，[...]"

提到的“下面的段落”是13.3.3.2/4，它说：

“标准转换序列按其排名排序：精确匹配比提升转换更好，提升比转换更好。具有相同排名的两个转换序列无法区分，除非一个以下规则适用："

然后，接下来是一组不适用于的规则。

因此，我们有两个单步转换序列，由具有相同排名的单个 Promotion 组成。根据以上对现行标准的解释，调用必须是模棱两可的。

但是，我个人同意需要进行更改，以使转换为无范围枚举的固定基础类型优于其他可能的转换。