具有协方差的条件运算符

Question

此代码无法编译。我期望它是错误的吗？

interface I{};
class A : I{};
class B : I{};
I mything = someBoolCondition ? new A : new B;

问题是编译器说它无法确定条件运算符的返回类型。

Answer 1

编译器只会考虑 2 个操作数的类型以及它们之间的隐式转换。它不会寻找基本类型或实现的接口。

您需要将其中一个操作数显式转换为 I。

来自C# language specification：

?: 运算符的第二个和第三个操作数 x 和 y 控制条件表达式的类型。

• 如果 x 的类型为 X，而 y 的类型为 Y，那么

o 如果存在从 X 到 Y，但不存在从 Y 到 X 的隐式转换（第 6.1 节），则 Y 是条件表达式的类型。

o 如果存在从 Y 到 X，但不存在从 X 到 Y 的隐式转换（第 6.1 节），则 X 是条件表达式的类型。

o 否则，无法确定表达式类型，并出现编译时错误。

如果编译器也检查了基类型，则任何类型的组合都是有效的 - 在最坏的情况下，结果类型将是 object。

Answer 2

您需要将其中一个操作数转换为I。像这样：

I mything = someBoolCondition  ?  (I) new A() : new B();