相关疑难解决方法(0)

泛型中的<out T> vs <T>

<out T>和之间有什么区别<T>?例如:

public interface IExample<out T>
{
    ...
}
Run Code Online (Sandbox Code Playgroud)

public interface IExample<T>
{
    ...
}
Run Code Online (Sandbox Code Playgroud)

c# generics covariance

168
推荐指数
5
解决办法
5万
查看次数

为什么C#(4.0)不允许泛型类的共同和逆变?

这种限制的真正原因是什么?这只是必须完成的工作吗?概念上难吗?这不可能吗?

当然,人们不能在字段中使用类型参数,因为它们总是读写.但这不是答案,可以吗?

这个问题的原因是我在C#4上写了一篇关于方差支持的文章,我觉得我应该解释为什么它仅限于委托和接口.只是为了逆转举证责任.

更新: 埃里克问了一个例子.

怎么样(不知道这是否有意义,但是:-))

public class Lookup<out T> where T : Animal {
  public T Find(string name) {
    Animal a = _cache.FindAnimalByName(name);
    return a as T;
  }
}

var findReptiles = new Lookup<Reptile>();
Lookup<Animal> findAnimals = findReptiles;
Run Code Online (Sandbox Code Playgroud)

在一个类中拥有它的原因可能是类本身中保存的缓存.请不要将您的不同类型的宠物命名为相同!

顺便说一句,这让我想到了C#5.0中的可选类型参数 :-)

更新2:我没有声称CLR和C#应该允许这个.只是想了解是什么原因导致它没有.

c# generics covariance contravariance c#-4.0

22
推荐指数
2
解决办法
4379
查看次数

标签 统计

c# ×2

covariance ×2

generics ×2

c#-4.0 ×1

contravariance ×1