CS0311错误：带约束泛型方法编译失败，无隐式引用转换

你遇到的CS0311错误，核心原因是C#默认的泛型接口是不变的——哪怕SomeEntity继承自Entity，IEntityRepo<SomeEntity>也无法自动转换为IEntityRepo<Entity>，而你的Blah<T>方法要求T必须实现IEntityRepo<Entity>，所以编译器直接拒绝了这个类型参数。

解决方案：将泛型接口声明为协变 #

要解决这个问题，只需要给IEntityRepo<T>的泛型参数加上out关键字，把它标记为协变接口。因为你的接口里T只出现在"输出"位置（没有作为方法的输入参数），完全符合协变的类型安全要求。

修改后的接口定义：

interface IEntityRepo<out T> where T : Entity {
    Task DoSomething();
}

为什么这样能解决问题？ #

协变允许你把更具体的泛型类型实例赋值给更抽象的泛型类型变量。在你的场景里，SomeEntityRepo实现的是IEntityRepo<SomeEntity>，当接口支持协变后，这个类型就能隐式转换为IEntityRepo<Entity>，刚好满足Blah<T>方法的约束条件。

完整修正后的可运行代码 #

void Main() {
    // 现在可以正常编译运行了
    SomeHelper.Blah<SomeEntityRepo>();
}

// 泛型方法定义
class SomeHelper {
    internal static Task Blah<T>() where T : IEntityRepo<Entity> {
        return GetFromDIContainer<T>()
            .DoSomething();
    }
    
    // 模拟DI容器获取实例的方法
    private static T GetFromDIContainer<T>() {
        return Activator.CreateInstance<T>();
    }
}

// 基础定义
class Entity {
    public int Id { get; set; }
}

// 标记为协变的泛型接口
interface IEntityRepo<out T> where T : Entity {
    Task DoSomething();
}

class EntityRepo<T> : IEntityRepo<T> where T : Entity {
    public Task DoSomething() {
        throw new NotImplementedException();
    }
}

// 继承定义
class SomeEntity : Entity { }
class SomeEntityRepo : EntityRepo<SomeEntity> { }

注意事项 #

如果后续你需要给IEntityRepo<T>添加接受T作为参数的方法（比如void Add(T entity)），就不能再使用协变（out）了——这会违反协变的类型安全规则。这种情况下你可能需要调整泛型约束，或者根据参数用途考虑使用逆变（in），不过逆变的适用场景和协变正好相反。

内容的提问来源于stack exchange，提问作者spottedmahn