c++ - 使用三元条件运算符时不兼容的操作数类型

Question

这段代码:

  bool contains = std::find(indexes.begin(), indexes.end(), i) != indexes.end();
  CardAbility* cardAbility = contains ? new CardAbilityBurn(i) : new CardAbilityEmpty;

给我以下错误:

Incompatible operand types CardAbilityBurn and CardAbilityEmpty

但是，如果我这样写代码:

 if (contains)
 {
    cardAbility = new CardAbilityBurn(i);
 }
 else
 {
    cardAbility = new CardAbilityEmpty;
 }

那么编译器不介意。为什么这样？我想使用三元条件运算符，因为它只有一行。那里有什么问题？

我需要注意(我认为您可能需要此信息) CardAbilityEmpty 和 CardAbilityBurn 都派生自 CardAbility 所以它们是这样的兄弟们说。

谢谢

Answer 1

C++ 的类型系统从内到外确定表达式的类型^[1]。这意味着条件表达式的类型是在分配给 CardAbility* 之前确定的，编译器只能选择 CardAbilityBurn* 和 CardAbilityEmpty*.

由于 C++ 具有多重继承和一些更多可能的转换路径，因为没有一个类型是另一个类型的父类(super class)，因此编译会停在那里。

要成功编译，您需要提供缺失的部分:将一个或两个操作数强制转换为基类类型，以便整个条件表达式可以采用该类型。

auto* cardAbility = contains
    ? static_cast<CardAbility*>(new CardAbilityBurn(i))
    : static_cast<CardAbility*>(new CardAbilityEmpty  );

(注意使用 auto，因为您已经在右侧表达式中提供了目标类型。)

它是不过有点复杂，所以最后 if-else 结构更适合这种情况。

[1] 有一个异常(exception):重载的函数名称没有明确的类型，直到您将它们(隐式或显式)转换为它们的版本之一。