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

Question

此代码：

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

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

我需要注意（我想您可能需要这些信息），CardabilityEmpty和CardabilityBurn都是从Cardability派生出来的，所以它们可以说是兄弟。

谢谢

Answer 1

C++的类型系统由内而外确定表达式的类型^[1]。这意味着条件表达式的类型在赋值Cardability*之前确定，编译器只能选择CardabilityBurn*和CardabilityEmpty*。

由于C++具有多重继承和一些更可能的转换路径，因为没有一种类型是另一种类型的超类，所以编译就止步于此。

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

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

但是，它有点复杂，所以在这种情况下if-else结构更适合。

[1]有一个例外：重载函数名没有定义类型，除非您将它们（隐式或显式）转换为它们的某个版本。