派生接口之间没有隐式引用转换

Question

目标

构造一个实现ICoolbag 的具体对象，并且只能存储ICoolBagGrocery 而不是任何类型的带有IGrocery 的杂货店。

问题

下面的实现导致如下错误：

The type 'SolidDistribution.Core.Bag.CoolBag.ICoolBag' cannot be used as type parameter 'T' 
in the generic type or method 'IBagStorage<T>'. There is no implicit reference conversion from
 'SolidDistribution.Core.Bag.CoolBag.ICoolBag' to 'SolidDistribution.Core.Bag.IBag<SolidDistribution.Core.IGrocery>'.

实施

包

// A bag that can only hold coolbag groceries.
public interface ICoolBag : IBag<ICoolBagGrocery> { }

// a bag that can hold any type of grocery.
public interface IBag<T> : IGroceryStorage<T> where T : IGrocery { }

存储

// A storage that can store any type of grocery.
public interface IGroceryStorage<T> : IStorage<T> where T : IGrocery { }

// A storage that can store any type of bag.
public interface IBagStorage<T> : IStorage<T> where T : IBag<IGrocery> { }

// Base storage interface.
public interface IStorage<T> { }

杂货店

// A grocery that can only be stored in a coolbag.
public interface ICoolBagGrocery : IGrocery { }

// Base grocery interface.
public interface IGrocery { }

盒子

// A box with a bag that can only hold coolbag groceries.
public interface ICoolBox : IBoxWithBag<ICoolBag> { }

// Base box with bag storage interface.
public interface IBoxWithBag<T> : IBox, IBagStorage<T> where T : IBag<IGrocery> { }

// Base box interface.
public interface IBox { }

注意

将ICoolbag 更改为使用IGrocery 而不是ICoolBagGrocery，如下所示： (public interface ICoolBag : IBag<IGrocery> { }) 修复了错误，但同时能够将任何类型的杂货放入冷藏袋中。这显然不应该发生:)

Answer 1

您的编译错误是因为T 在IBag<T> 中是不变的。

ICoolBag 是一个IBag<ICoolBagGrocery>，但IBag<ICoolBagGrocery> 不是一个IBag<IGrocery>。

如果您要在IBag<T> 中创建T 协变（使用out），那么IBag<ICoolBagGrocery> 将是IBag<IGrocery>：

public interface IBag<out T> : IGroceryStorage<T> where T : IGrocery { }

但是，这会对您的 IBag<T> 接口施加限制：T 类型的属性不允许使用 set，并且方法只能使用 T 作为返回类型，而不是参数类型。

例如：

public interface IBag<out T> : IGroceryStorage<T> where T : IGrocery
{
    T SomeProperty { get; } // Allowed
    T AnotherProperty { get; set; } // Compilation error

    T SomeMethod(); // Allowed
    void AnotherMethod(T t); // Compilation error
}

此外，方差会随着继承层次的增加而上升，这意味着T 还需要在IGroceryStorage<T> 和IStrorage<T> 中是协变的才能使其有效。