我可以有一个可以协变和逆变的类型（现在忘记它的语义）吗？
例如：
public interface Foo<in out T>
{
void DoFooWith(T arg);
}
转至 Eric Lippert 的博客，了解 C# 4.0 中的差异，因为几乎没有其他任何地方涵盖了该主题的充分基础。
无论如何我都试过了，它不仅不允许这样做，而且告诉我我错过了整点。我需要了解只读、只写和方差之间的联系。
我想我还有一些阅读要做。
但与此同时，任何简短的、顿悟的答案都是受欢迎的。
问问题
790 次
1 回答
11
不，你不能那样做。
假设这是合法的。你做一个IFoo<Giraffe>. 由于 IFoo 在 T 中是协变的，因此您可以通过类型安全引用转换将其转换为IFoo<object>. 由于它是逆变的，因此您可以将其转换为IFoo<Banana>. 有什么可能的语义IFoo<T>使得能够通过引用转换将 Giraffes 的 IFoo 转换为 Bananas 的 IFoo 是有意义的？除了引用类型之外，Giraffes 和 Bananas 没有任何共同之处。你不可能有一个IFoo<Banana>返回香蕉的方法，因为它实际上可能是 ; 的实现IFoo<Giraffe>。实现的作者如何知道分发香蕉？出于同样的原因，你不可能有一个IFoo<Banana>需要香蕉的方法；的实现者IFoo<Giraffe>希望你给他一只长颈鹿。
这是另一种看待它的方式：
- “在 T 中”意味着（大致）“T 仅出现在输入位置”。
- “out T”意味着（大致）“T 仅出现在输出位置”。
因此“in out T”将意味着......什么？正如我们已经看到的，它只能表示“T 根本没有出现在任何方法或属性中”。 在 T 中创建一个从不使用 T 的泛型类型有什么意义？
于 2010-05-14T15:22:12.330 回答