c# - .net 泛型中的协方差规则

Question

我有以下代码

public interface IEntity
{
    int Id { get; set; }
}

public interface ICriteria<T> where T : class,IEntity
{
    T GetResult(int id);
}

public class DummEntity : IEntity
{
    public int Id { get; set; }
}

public class SimpleCriteria<T>:ICriteria<T> where T:class,IEntity
{
    public T GetResult(int id)
    {
        return default(T); 
    }
}

这种类型的类型转换应该工作吗？

SimpleCriteria<DummEntity> scr = new SimpleCriteria<DummEntity>();
ICriteria<IEntity> generic = (ICriteria<IEntity>)scr; 

Answer 1

不在 C# 3 中，不。尽管 CLR 自 .NET 2.0 起就支持接口(interface)和委托(delegate)的泛型变体，但直到版本 4 才在 C# 中公开。

在 C# 4 中它可以工作 - 但只有在你完成 ICriteria<T> 之后协变:

public interface ICriteria<out T> where T : class,IEntity
{
    T GetResult(int id);
}

请注意，在 C# 3 中，显式强制转换意味着它将编译 - 但它会在执行时失败。

使用 C# 4 和上述 ICriteria<T> 的声明，转换是隐式的:

SimpleCriteria<DummEntity> scr = new SimpleCriteria<DummEntity>();
ICriteria<IEntity> generic = scr;