请看这个简单的LINQPad示例：
void Main()
{
Foo<object> foo = new Foo<string>();
Console.WriteLine(foo.Get());
}
class Foo<out T>
{
public T Get()
{
return default(T);
}
}
编译时出现以下错误：
无效的变化修饰符，只有接口和委托类型参数可以指定为variant。
我不明白这段代码存在什么逻辑问题，所有内容都可以静态验证。为什么不允许这种情况发生？它会导致语言上的一些不一致性吗，还是因为CLR的限制而被认为太过昂贵难以实现？如果是后者，作为一个开发人员，我应该了解哪些关于这个限制的信息？
考虑到接口支持它，我原本期望类也能从逻辑上跟进。
一个原因可能是：
class Foo<out T>
{
T _store;
public T Get()
{
_store = default(T);
return _store;
}
}
这个类含有一个不变的特性，因为它有一个字段，而字段可以设置值。但是它以协变方式使用，因为它只被分配默认值，对于任何实际使用协变的情况，它只会是null。
因此，我们不确定是否允许它。不允许它会使用户感到烦恼（毕竟它符合您建议的相同潜在规则），但允许它很困难（分析已经变得稍微棘手了，我们甚至还没有开始寻找真正棘手的情况）。
另一方面，对此的分析要简单得多：
void Main()
{
IFoo<object> foo = new Foo<string>();
Console.WriteLine(foo.Get());
}
interface IFoo<out T>
{
T Get();
}
class Foo<T> : IFoo<T>
{
T _store;
public T Get()
{
_store = default(T);
return _store;
}
}
IFoo<T>的所有实现都没有破坏协变性，因为它根本就没有。唯一需要做的就是确保没有将T用作参数（包括setter方法的参数），然后就完成了。