为什么协方差不适用于 out 参数？

Question

以下代码无法编译：

public void CreateStringList(out List<string> newList)
{
    newList = new List<string>();
}

...

IEnumerable<string> myList;
CreateStringList(out myList);

给出的错误是：

out参数类型与参数类型不匹配

我的问题是... 为什么这不起作用？ IEnumerable<string> 与 List<string> 是协变的，因此分配永远不会违反类型安全。并且在分配之前不允许使用out 参数，因此newList 的先前值可能不是List<string> 的事实无关紧要。

我错过了什么吗？

Answer 1

引用Eric Lippert's answer 到一个非常相似的问题（Why can't ref and out parameters be variant?）：

“out”和“ref”的唯一区别是编译器 禁止在输出参数被分配之前读取它 被调用者，并且编译器需要在被调用者之前赋值 正常返回。

这意味着 C# 以外的语言没有此限制，并且可以使用参数作为输入。由于IEnumerable<string> 不能是List<string>，因此这是不允许的。