指定依赖于另一个泛型类的泛型约束

Question

我有以下几点：

// This part is fine
abstract class Attack {}

abstract class Unit<A> where A : Attack {}

class InstantAttack : Attack {}
class Infantry : Unit<InstantAttack> {}

// I'm lost here, on this part's syntax:
abstract class Controller<U> where U : Unit {}
// I want the above class to take any kind of Unit, but Unit is a generic class!

以上对Controller不起作用，因为where U : Unit不正确，因为Unit需要一个通用参数（如Unit<InstantAttack> ）。 我试过了：

abstract class Controller<U<A>> where U<A> : Unit<A> {}

这当然没有用。 这样做的正确语法是什么？

Answer 1

要么像这样：

abstract class Controller<U, A> where U : Unit<A> {}

或者像这样：

interface IUnit { }
abstract class Unit<A> : IUnit where A : Attack { }
abstract class Controller<U> where U : IUnit { }