通用 class 类型约束，通用 class 具有另一个约束

Question

假设我有一个通用的 class

public class G<T> {
}

我想将最终 class 声明为

public class F<T> where T : G<T> {
}

这似乎是可能的，但是如果我想使任务复杂化并像这样向 class G 添加约束怎么办

public class A {
}

public class DA : A {
}

public class DB : A {
}

public class G<T> where T : A {
}

最后我想这样做

public class F<T> where T : G<T> {
}

这不起作用，它说 T 必须是 A 类型，这是可以理解的，看起来我可以像这样重写它

public class F<T, U> where T : G<U> where U : A {
}

但在这种情况下，用法有一个多余的声明

public class DF : F<G<DA>, DA> {
}

在使用 class F 时，我必须重复 DA 两次，即使如果我使用 G 作为泛型类型，G 的泛型类型是 DA 也很清楚。 有没有办法避免这种冗余？

Answer 1

最后我想这样做

public class F<T> where T: G<T> { }

但这似乎没有多大意义。 您希望F由T参数化，它必须是G<X> ，其中X再次是T ，即G<X> ，其中X再次是T等等......这是一个递归定义。

我认为您真正想要定义的是（所有示例都是无效的 C#）

public class F<T1<T2>> where T1 : G<T2> where T2 : A {
}

或者可能

public class F<T1> where T1 : G<T2> where T2 : A {
}

或者可能

public class F<G<T>> where T : A {
}

那些“泛型的泛型”被称为更高种类的类型，但不幸的是，C# 不支持它们。 例如，Haskell 可以，其他一些函数式语言也可以。

有一个模仿 HKT 的C# 库，它使用您找到的解决方法：指定内部类型两次。