虽然可以从基类/接口继承,但为什么不能声明List<>呢 使用相同的类/接口?

interface A
{ }

class B : A
{ }

class C : B
{ }

class Test
{
    static void Main(string[] args)
    {
        A a = new C(); // OK
        List<A> listOfA = new List<C>(); // compiler Error
    }
}

有别的办法吗?


当前回答

至于为什么它不起作用,理解协方差和逆变可能会有所帮助。

只是为了说明为什么这不能工作,这里是对您提供的代码的更改:

void DoesThisWork()
{
     List<C> DerivedList = new List<C>();
     List<A> BaseList = DerivedList;
     BaseList.Add(new B());

     C FirstItem = DerivedList.First();
}

这可行吗?列表中的第一个项是类型“B”,但派生列表项的类型是C。

现在,假设我们真的只想创建一个泛型函数,它对实现了a的某个类型的列表进行操作,但我们不关心它是什么类型:

void ThisWorks<T>(List<T> GenericList) where T:A
{

}

void Test()
{
     ThisWorks(new List<B>());
     ThisWorks(new List<C>());
}

其他回答

至于为什么它不起作用,理解协方差和逆变可能会有所帮助。

只是为了说明为什么这不能工作,这里是对您提供的代码的更改:

void DoesThisWork()
{
     List<C> DerivedList = new List<C>();
     List<A> BaseList = DerivedList;
     BaseList.Add(new B());

     C FirstItem = DerivedList.First();
}

这可行吗?列表中的第一个项是类型“B”,但派生列表项的类型是C。

现在,假设我们真的只想创建一个泛型函数,它对实现了a的某个类型的列表进行操作,但我们不关心它是什么类型:

void ThisWorks<T>(List<T> GenericList) where T:A
{

}

void Test()
{
     ThisWorks(new List<B>());
     ThisWorks(new List<C>());
}

对于你的问题,有几种原生c#的可能性:

动态 数组 IReadOnlyList, IEnumerable 正确使用List<>。 它们都工作得很好!不需要任何复杂的编程!

下面是它们各自的例子:

1. 动态:最通用的解决方案

运行时类型检查 您放弃了编译器错误检查支持,所以要小心处理!如果您尝试添加错误类型的元素,则只会得到一个运行时错误! 您甚至可以分配不相关类的集合。

简单写动态listOfA = new List<C>();listOfA = new List<C>();

首先是所有示例的接口和类定义:

using System;
using System.Collections.Generic;
using System.Linq;

interface IAnimal
{
    public string Name { get; }
}
class Bear : IAnimal
{
    public string BearName = "aBear";
    public string Name => BearName;
}
class Cat : IAnimal
{
    public string CatName = "aCat";
    public string Name => CatName;
}

// Dog has no base class/interface; it isn't related to the other classes
class Dog
{
    public string DogName = "aDog";
    public string Name => DogName;
}

下面是使用dynamic的例子

public class AssignDerivedClass
{
    public static void TestDynamicListAndArray()
    {
        dynamic any = new List<Bear>()   // List of derived
        {
            new Bear() { BearName = "Bear-1" },
            new Bear() { BearName = "Bear-2" }
        };
        //any[0].CatName = "NewCat"; // => Microsoft.CSharp.RuntimeBinder.RuntimeBinderException
        Console.WriteLine($"Bear names: {any[0].BearName}, {Name(any[1])}");

        any = new Cat[]   // Array of derived
        {
            new Cat() { CatName = "Cat-3" },
            new Cat() { CatName = "Cat-4" }
        };
        Console.WriteLine($"Cat names: {any[0].CatName}, {any[1].Name}");

        any = new List<Dog>()   // List of non-related class
        {
            new Dog() { DogName = "Dog-5" },
            new Dog() { DogName = "Dog-6" }
        };
        Console.WriteLine($"Dog names: {any[0].DogName}, {Name(any[1])}");

        any = new List<IAnimal>()   // List of interface
        // any = new IAnimal[]   // Array of interface works the same
        {
            new Bear() { BearName = "Bear-7" },
            new Cat() { CatName = "Cat-8" }
        };
        Console.WriteLine($"Animal names: {any[0].BearName}, {any[1].CatName}");

        any[0].BearName = "NewBear";
        Console.WriteLine($"Animal names: {Name(any[0])}, {any[1].Name}");
    }

    private static string Name(dynamic anymal)
    {
        return anymal switch
        {
            Bear bear => bear.BearName,
            Cat cat => cat.CatName,
            Dog dog => dog.DogName,
            _ => "No known Animal"
        };
    }
    // Bear names: Bear-1, Bear-2
    // Cat names: Cat-3, Cat-4
    // Dog names: Dog-5, Dog-6
    // Animal names: Bear-7, Cat-8
    // Animal names: NewBear, Cat-8
}

2. Array:创建一个Bear[]数组,保证所有数组元素都引用Bear的实例。

You can exchange elements, but you can't remove or add new elements. Trying to set a wrong type yields a runtime error. public static void TestArray() { Bear[] bears = { new Bear(), null }; IAnimal[] bearAnimals = bears; //bearAnimals[1] = new Cat(); // System.ArrayTypeMismatchException bearAnimals[1] = new Bear() { BearName = "Bear-1" }; Console.WriteLine($"Bear names: {bearAnimals[0].Name}, {bears[1].BearName}"); } // Result => Bear names: aBear, Bear-1

3.IReadOnlyList IEnumerable:

Assign your List<C> to an IEnumerable<A> or IReadOnlyList<A> Neither of them can be changed at runtime, i.e. you can't Add or Remove elements. Why should the compiler allow assigning your List<C> to a List<A> instead of IReadOnlyList<A> when adding an element will lead to an error anyway? public static void TestIEnumerableAndIReadonlyList() { var cats = new List<Cat>() { new Cat() { CatName = "Cat-3" }, new Cat() { CatName = "Cat-4" } }; IEnumerable<IAnimal> iEnumerable = cats; Console.WriteLine($"Cat names: {(iEnumerable.ElementAt(0) as Cat).CatName}, " + Name(iEnumerable.Last())); IReadOnlyList<IAnimal> iROList = cats; Console.WriteLine($"Cat names: {iROList[0].Name}, {Name(iROList[1])}"); //iROList.Add(new Cat()); // compiler error CS61: no definition for 'Add' } // Result: // Cat names: Cat-3, Cat-4 // Cat names: Cat-3, Cat-4

4. 正确使用List<>: List<A> listOfA = new List<A>()

Define a List of your interface Assign instances of one derived class only - you didn't want to store other classes anyway, did you? public static void TestListOfInterface() { var bears = new List<IAnimal>() { new Bear() { BearName = "Bear-1" }, new Cat() { CatName = "Cat-3" }, }; bears.Add(new Bear() { BearName = "Bear-2" }); string bearNames = string.Join(", ", bears.Select(animal => animal.Name)); Console.WriteLine($"Bear names: {bearNames}"); string bearInfo0 = VerifyBear(bears[0]); string bearInfo1 = VerifyBear(bears[1]); Console.WriteLine($"One animal is {bearInfo0}, the other one is {bearInfo1}"); string VerifyBear(IAnimal bear) => (bear as Bear)?.BearName ?? "disguised as a bear!!!"; } // Bear names: Bear-1, Cat-3, Bear-2 // One animal is Bear-1, the other one is disguised as a bear!!!

这是对BigJim的精彩回答的延伸。

在我的例子中,我有一个带有子字典的NodeBase类,我需要一种方法来从子字典中进行O(1)查询。我试图在Children的getter中返回一个私有字典字段,所以显然我想避免昂贵的复制/迭代。因此,我使用Bigjim的代码将Dictionary<whatever特定类型>转换为generic Dictionary<NodeBase>:

// Abstract parent class
public abstract class NodeBase
{
    public abstract IDictionary<string, NodeBase> Children { get; }
    ...
}

// Implementing child class
public class RealNode : NodeBase
{
    private Dictionary<string, RealNode> containedNodes;

    public override IDictionary<string, NodeBase> Children
    {
        // Using a modification of Bigjim's code to cast the Dictionary:
        return new IDictionary<string, NodeBase>().CastDictionary<string, RealNode, NodeBase>();
    }
    ...
}

这很有效。然而,我最终遇到了不相关的限制,并最终在基类中创建了一个抽象的FindChild()方法来代替它进行查找。事实证明,这从一开始就消除了对强制转换字典的需求。(出于我的目的,我可以用一个简单的IEnumerable替换它。)

所以你可能会问的问题(特别是当性能问题禁止你使用.Cast<>或.ConvertAll<>)是:

“我真的需要强制转换整个集合吗?或者我可以使用抽象方法来保存执行任务所需的特殊知识,从而避免直接访问集合吗?”

有时候最简单的解决方案就是最好的。

如果你使用IEnumerable代替,它将工作(至少在c# 4.0中,我没有尝试过以前的版本)。这只是一个集合,当然,它仍然是一个列表。

而不是——

List<A> listOfA = new List<C>(); // 编译器错误

在原代码的问题中,使用-

IEnumerable<A> listOfA = new List<C>();//编译错误-没有更多!:)

首先,停止使用难以理解的类名,如A, B, c,使用动物,哺乳动物,长颈鹿,或食物,水果,橙子或其他关系清楚的东西。

你的问题是"既然我可以把长颈鹿赋值给动物类型的变量,为什么我不能把长颈鹿的列表赋值给动物类型的变量?"

答案是:假设你可以。那么会出什么问题呢?

嗯,你可以在动物列表中添加一只老虎。假设我们允许您将一个长颈鹿列表放入一个包含动物列表的变量中。然后你试着在名单上加上一只老虎。会发生什么呢?你想在长颈鹿的名单中包含一只老虎吗?你想撞车吗?或者你希望编译器通过在第一时间使赋值非法来保护你不崩溃?

我们选择后者。

这种转换称为“协变”转换。在c# 4中,我们将允许您在接口和委托上进行协变转换,前提是这种转换总是安全的。详见我关于协方差和逆变的博客文章。(这周的周一和周四会有一个新的话题。)