繼承泛型作為函數參數

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從A繼承自X，B，但它沒有被編譯。

Answer 1

將函數定義更改為：

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

正如您所定義的那樣，您說f()必須傳遞X<A>的實例。 通過定義我在這里顯示，你說f()接受任何具有X<A>作為父類的類。