c++ - 为什么三元运算符转 (... ? int : unsigned long long) into int when an implicit conversion is involved?

Question

当我运行时

#include <stdio.h>
#include <typeinfo.h>
#include <type_traits>

struct S { operator unsigned long long() const { return 3ULL << 30; } };

int main()
{
    printf("%s, 0x%llX, %d\n",
        typeid(true ? S() : 0).name(),
            (unsigned long long)(1 ? S() : 0),
        std::is_same<
            std::common_type<int, unsigned long long>::type,
            unsigned long long
        >::value);
}

我希望返回 unsigned long long, 0xC0000000, 1。

但是，我返回 int, 0xFFFFFFFFFC0000000, 1。为什么？

在我看来，0 应该转换为 unsigned long long，因为 conversion ranks如下:

rank(int) < rank(long) < rank(long long) = rank(unsigned long long)

但我看到了将 unsigned long long 直接转换为 int，我正在努力证明这一点...

Answer 1

编译器看到的是 S 和 int，而不是 unsigned long long 和 int。

当涉及到类类型时，它不会遍历所有可能的对 转换来选择最佳转换，因为它通常不能这样做，因为转换运算符可能被模板化，并且规则不应根据是否是这种情况而改变。

它所能做的就是判断一种类型是否可以转换为另一种类型，在这种情况下，这意味着它检测到 S 可以转换为 int，因此它执行该转换而根本没有出现整数提升排名。