c# - C# 中的 Scala 列表中的协变和逆变单子(monad)类型

Question

我是 c# 的新手，但对 scala 比较有经验，我正在尝试模仿 scala 的列表类(由 Cons 和静态类 Nil 扩展)。我也希望获得它的类型行为，因为 .NET 从 4.0 开始就支持协变/逆变。请允许我展示我的意思:

Scala 回复:

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

In C# this will throw a compiler error because C and B are not the same type with ImmutableList.

在 C# 中，类不是协变/逆变，这些是通过 in 使用的接口(interface)和委托(delegate)的属性和 out关键字。请记住，在 C# 中，一个 List<T>是一个可变列表，不像不可变的 List[T] 那样工作在 Scala 中。

您可以做的是为 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 使用接口(interface)，但你不能走得更远。这不会编译:

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

有关更多信息，请参阅 Why isn't there generic variance for classes in C# 4.0?