将继承类型与 C# 集合泛型类型参数结合使用

本文关键字:泛型类型参数 结合 集合 继承 类型 | 更新日期: 2023-09-27 18:36:54

我有一个抽象类,其中包含一些继承类,如下所示:

internal abstract class SomeBaseType {}
internal class FirstSpecificType : SomeBaseType {}
internal class SecondSpecificType : SomeBaseType {}
internal class ThirdSpecificType : SomeBaseType {}

以及具有受约束泛型类型参数的类:

internal class SomeCollection<T> : ICollection<SomeDataStructure>
    where T : SomeBaseType {}

我创建了一个List<SomeCollection<SomeBaseType>>并尝试添加各种继承类的元素SomeBaseType但是我收到以下错误(CS1503和CS1950):

Argument 1: cannot convert from 'Namespace.SomeCollection<FirstSpecificType>' to 'Namespace.SomeCollection<SomeBaseType>'
The best overloaded Add method 'List<SomeCollection<SomeBaseType>>.Add(SomeCollection<SomeBaseType>)' for the collection initializer has some invalid arguments

既然FirstSpecificTypeSomeBaseType,我应该可以做到吧?这基本上与向IList<object>添加一些任意object集相同。


对于其他上下文,此错误显示的代码如下所示:

protected Constructor()
{
    collectionOne = new SomeCollection<FirstSpecificType>();
    collectionTwo = new SomeCollection<SecondSpecificType>();
    collectionThree = new SomeCollection<ThirdSpecificType>();
    allCollections = new List<SomeCollection<SomeBaseType>>
    {
        // Each of these three collections has the error
        collectionOne,
        collectionTwo,
        collectionThree
    };
}

将继承类型与 C# 集合泛型类型参数结合使用

这是一个

协变和逆变的问题,基本上是说虽然 FirstSpecificType确实是SomeBaseType,但SomeCollection<FirstSpecificType>严格来说不是SomeCollection<SomeBaseType>

埃里克·利珀特(Eric Lippert)写了一些关于这个和长颈鹿的精彩文章,我建议大家至少读一次:-)