条件表达式的类型不能确定？ [复制]

Question

我刚遇到这个（编代码来演示“问题”）：

public ICollection<string> CreateCollection(int x)
{
    ICollection<string> collection = x == 0 
                                   ? new List<string>() 
                                   : new LinkedList<string>();
    return collection;
}

编译器抱怨：

Fehler CS0173: Der Typ des bedingten Ausdrucks kann nicht bestimmt werden, weil keine implizite Konvertierung zwischen "System.Collections.Generic.List" und "System.Collections.Generic.LinkedList" erfolgt。

大致翻译为：

无法确定条件运算符的类型，因为List和LinkedList之间没有隐式转换。

我知道为什么编译器会抱怨，但是，来吧。它试图装傻。我可以看到两个表达式的类型不同，但有一个共同的祖先，作为奖励，左侧的类型也是一个共同的祖先。我相信编译器也可以看到它。如果左侧声明为var，我可以理解错误。

我在这里错过了什么？

编辑：

我接受 James Gaunt 的解释。也许只是为了说清楚。我可以很好地阅读编译器规范。我想知道为什么。为什么有人决定以这种方式编写规范。这种设计背后一定有原因。根据詹姆斯的设计原则是“没有惊喜”。 CodeInChaos 还解释了如果编译器尝试从共同祖先推断类型，您可能会遇到什么意外。

Answer 1

由于接口，它们可以有多个不同的共同祖先。

可以添加一个要求，即只有在祖先明确时才会自动转换。但是，添加一个类实现的额外接口突然变成了一个突破性的变化。这可能是不可取的。

例如，假设您让这些类型实现ISerializeable。这不应该改变你的代码的行为，但如果你支持转换为通用接口，它会。

编辑：想多了，发现这个函数已经有同样的问题了：

T MyFunc<T>(T left,T right)

而且这段代码无法编译：

ICollection<string> r=MyFunc(new List<string>() , new LinkedList<string>());

因为它无法决定使用哪种类型作为类型参数T。所以 ?: 运算符的行为与重载决议是一致的。

Answer 2

这只是?: 的定义要求相等的类型。
你当然可以使用

? (ICollection<string>) new List<string>() 
: (ICollection<string>) new LinkedList<string>();

或者只使用if/else。

根据 C# 参考，第 14.13 节，

[Given] b ? x : y 形式的条件表达式

• 如果 X 和 Y 是同一类型，则这是条件表达式的类型。
• 否则，如果存在从 X 到 Y 的隐式转换（第 13.1 节），而不是从 Y 到 X，则 Y 是 条件表达式。
• 否则，如果存在从 Y 到 X，但不存在从 X 到 Y 的隐式转换（第 13.1 节），则 X 是 条件表达式。
• 否则，无法确定表达式类型，并出现编译时错误。

在您的情况下，X 和 Y 都转换为 Z，但这无济于事。编译器在应用规则时甚至不查看目标变量是语言的一般原则。简单例子：double a = 7 / 2; // a becomes 3.0

因此，在阅读完本文后，我认为只需将 1 的结果投射到 ICollection<string> 就足够了。我没有测试。

Answer 3

表达式 (a ? b : c) 必须解析为一个类型。类型将是 b 或 c 的类型。如果它们不同（并且没有从一个到另一个的隐式转换），编译器在编译时不知道这是哪种类型。

你可能会说它应该推断出有共同的根类型，但总有一个共同的根类型（例如Object）。

通常，C# 编译器不会尝试猜测您的意思。如果您想使用公共根类型，请将 b 和 c 强制转换为该类型。

这种逻辑贯穿于 C# 的设计中，偶尔会有点烦人，但 远 更多时候它会阻止你犯错。

Answer 4

在确定右侧的类型时，根本不考虑左侧。

只有当编译器独立确定右侧的类型时，它才会检查与左侧的赋值兼容性。

至于你声称这两种类型“有一个共同的祖先”：那是ICollection、IEnumerable、ICollection<T>、IEnumerable<T> 还是Object？编译器应该使用什么启发式方法来明确地确定您想要哪种类型？编译器只是要求您指定，而不是试图猜测您的意图。