条件运算符“?:”的编译器错误与类型转换运算符一起使用时

Question

以下代码采用最简单的形式：

struct X {
  operator char () const { return 'a'; }
};

int main ()
{
  X obj, *p = &obj;
  char a = *p;  // ok
  char c = (true)? *p : 'z';
}

此代码给出编译器错误，如下所示：

错误：操作数？：具有不同类型“X”和“char”

当 class X< 中没有歧义时，为什么 *p 未解析为 char /code> 用于类型转换运算符 ? 这种虚假错误消息是正确的还是 g++ 错误？

[更新注意：有趣的是这种情况不会产生此类错误]

Answer 1

这似乎是一个编译器错误。我在规范中检查了它，标准明确指出（§5.16/3 - C++03），

否则，如果第二个和第三个操作数具有不同的类型，并且其中一个具有（可能是 cv 限定的）类类型，将尝试将其中每个操作数转换为另一个的类型 .

本节的其余部分解释了如何完成转换。没有什么可以阻止 *p 使用用户定义的转换运算符隐式转换为 char 类型。

另外，我用 (GCC) 4.5.0 编译了它。它没有给出任何错误，也带有 -pedantic 选项。尝试了-std=c++98和-std=c++0x。仍然没有错误。

最肯定的是，这是一个编译器错误。

Answer 2

在某些版本的 G++ 中，条件运算符 ?: 的类之间的隐式转换存在问题。另外，根据版本的不同，您可能会看到错误，或者您可能/看不到/看到此类错误，但是您的所有三个示例都被 G++ 正确标记。

这并不是对原始问题的答案，而是对原始发布者和其他人的重新认证，即 G++ 编译器可能存在虚假错误以及 ISOC++:2003 5.16 中指定的类类型转换行为的问题/3 [expr.cond]/3 （也由@Nawaz 在上面概述）

一个示例显示了原始海报示例的相反情况，其中可以发生两个方向的隐式转换但没有标记可以是参见此处。

我在 G++ v3.4.6、v4.1.2、v4.2.1 和 v4.5.0(windows) 上编译了这个，没有发现任何问题，因为 @Nawaz 再次表示这是 ISOC++:2003 规范中的正确行为。

但是，当我点击您的 IDEONE 页面上的链接时，结构定义有所不同，并且 是你错误的根源。

struct X
{
  char ch;
  X(const char c) : ch(c) {}

  operator char () const { return ch; }
};

int main ()
{
  X obj('a'), *p = &obj;
  char a = *p; // ok
  char c = (true)? *p : 'b';
}

然后如上所述，结构不同，我确实收到了您看到的错误。 这是一个正确的错误，因为“z”可以转换为 X 或 char，并且由于构造函数“z”也可以转换为 X - X/“z”的双向性，因此编译器应该停止。 然而，只要稍加修改就可以通过，这与上面发布的 GNU G++ bug 完全相同。

如果将上面的示例转换为指针示例，它将失败。字符指针、int 指针或者其他什么。

虽然不相关，但我认为这可能是一个很好的观点，可以强调一些在 Windows/Linux 之间交叉移植时经常让我困惑的东西。如果 MSVC 认为转换是“安全的”，那么它通常会很高兴地通过此类转换，或者通常它可能会发出警告，表明转换正在进行时存在精度损失的风险 - 我不确定允许这样做的触发因素是什么。

Answer 3

错误是正确的。 ?: 的操作数有不同的类型：第一个是“X”，第二个是“char”。编译器无法知道您希望表达式最终成为 char - 这会在整个表达式 (true) 求值之后发生？ *p : 'z'; - 由于类型差异而无法首先进行评估。