继承泛型作为函数参数

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> 作为父项的 class。