C＃中的协变和反协Monadic类型ala Scala的列表

Question

我是C＃的新手，但是对Scala经验比较丰富，我正在尝试模仿Scala的列表类（由Cons和静态类Nil扩展）。 我希望也能获得它的类型行为，因为.NET从4.0开始就支持协方差/相反。 请允许我显示我的意思：

Scala REPL：

class A
class B extends A
class C extends A

val x = new B() :: new B()
//this is type List[B]

val y = new C() :: new C()
//this is type List[C]

val z = new C() :: x
//This uses contravariance to figure out and infer that this is type List[A]!!!

在C＃中，这将引发编译器错误，因为C和B与ImmutableList的类型不同。

在线上似乎没有示例，我仍然是C＃的新手，所以我认为在盲目的尝试之前询问C＃是否可以以任何方式做到这一点是明智的（我仍在尝试，但我也在学习我会先讲其余语言）。

谢谢！

Answer 1

在C＃中，这将引发编译器错误，因为C和B与ImmutableList的类型不同。

在C＃中， 类不是co / contravariant的 ，它们是通过in和out关键字使用的Interfaces和Delegates的属性。 记住，在C＃中， List<T>是一个可变列表 ，并且不能像Scala中的不可变List[T]一样工作。

您可以做的是声明List<T>的基本类型：

void Main()
{
    var list = new List<A>();
    list.Add(new B());
    list.Add(new C());
}

class A { }
class B : A { }
class C : A { }

对于T使用接口也是如此，但是您不能做得更多。 这将无法编译：

void Main()
{
    var bs = new List<B>();
    var cs = new List<C>();
    var result = bs.Concat(cs);
}

有关更多信息，请参见为什么C＃4.0中的类没有通用差异？