继承泛型作为函数参数

Question

我该如何做到这一点？

class A { }
class B : A { }

class X<T> where T : A { }
class Y<T> : X<T> where T : A { }

private static void f(X<A> x) { }

public static void Main(string[] args)
{
    Y<B> y = new Y<B>();
    f(y); // Compiler error here
}

Y继承自X，B来自A，但它没有被编译。

Answer 1

将功能定义更改为：

private static void f<T>(X<T> x) where T : A { }

正如您所定义的那样，您说f()必须传递X<A>的实例。通过定义我在此处显示的内容，您说f()将任何具有X<A>的类作为父级。