gcc7中的枚举和三元奇怪行为

Question

我们现在正在使用 Ubuntu 18 中可用的较新 gcc 7.3 在 QtCreator 下测试编译一些 Qt 代码（我们之前在 Ubuntu 16 下使用 gcc 4.9.3）。

Qt 提供了一个enum 因此：

enum CheckState {
    Unchecked,
    PartiallyChecked,
    Checked
};

现在，当我们使用三元运算符时：

QVariant MyClass::MyFunc(const QModelIndex &index, int role) const {
    return (someCondition ? Qt::Checked : Qt::Unchecked);
}

然后gcc 抱怨（带有警告，但我们将警告视为错误）：

prog.cpp:999:99:
    error: passing ‘Qt::CheckState’ chooses ‘int’
        over ‘uint {aka unsigned int}’ [-Werror=sign-promo]

我们可以解决这个问题：

return (someCondition ? Qt::Checked : static_cast<int>(Qt::Unchecked));

但我不确定为什么需要这样做。

既然这些来自完全相同的enum，它们应该是相同的类型，不是吗？我知道两个可能的值是不同类型的潜在问题，但我不明白为什么在这种情况下需要进行这种类型转换。

这些值是来自enum 的{0, 1, 2}，我认为完全相同类型否定了任何转换的可能性。

我能想到的唯一可能性是枚举的零值由于某种原因被视为无符号。

Answer 1

代替 MCVE，我假设上下文类似于：

struct S
{
    S(int);
    S(unsigned int);
};

S foo()
{
    return (1 ? Qt::Checked : Qt::Unchecked);
}

produces warning in gcc 7.3:

警告：通过Qt::CheckState 选择int 而不是unsigned int [-Wsign-promo]

---

警告与将 enum CheckState 类型的值隐式转换为整数有关。对int 和unsigned int 都有有效的隐式转换，并且重载决议选择int。

显然，警告的基本原理是在这种情况下，一些旧版本的 gcc 选择了unsigned int，但 gcc 7 遵循标准并选择了int。

您的修复工作有效，因为在重载解析发生之前，第二个和第三个操作数被带到了int 的常见类型（这与您选择的枚举数无关）。

也许适当的解决方法是将static_cast<int> 应用于整个条件，而不仅仅是一个操作数。