java - 泛型泛型 : "Syntax error on token "extends",，预期”

Question

public interface View{...

public interface Control<V extends View>{...

public class RemoteControl<C extends Control<V extends View>> implements Control<V>{...

在 RemoteControl 类的“V extends View”上给我一个“token 'extends', expected”的“语法错误”。

我想下面的选择是可能的

public class RemoteControl<C extends Control<V>,V extends View> implements Control<V>
{...

我仍然想知道这是否不能以更隐式的方式完成，因为后者需要对 View 进行冗余声明。即:

public class TVRemoteControl extends RemoteControl<TVControl,TvView> implements TVControl{...

对比

public class TVRemoteControl extends RemoteControl<TVControl> implements TVControl{...

也许我又被困在一个盒子里了，但有没有可能以更优雅的方式获得“泛型泛型”

Answer 1

你建议:

I guess the following alternative was possible

public class RemoteControl<C extends Control<V>,V extends View> implements Control<V>{}

这是正确的解决方案，尽管我通常会把它写成(为了便于阅读):

public class RemoteControl<V extends View, C extends Control<V>> implements Control<V>{}

您正在输入 RemoteControl在 Control 上对象也是在 extends View 的对象上键入的.因此，您需要提供 View 的实现键入 Control输入您的 RemoteControl 的对象对象。

我想您可以将您的问题解释为，为什么我必须提供 V - 不应该从 <C extends Control<V>> 中隐含吗？ .对此，答案是否，您需要为 V 提供类型确保Control的正确类型提供(即它 extends Control<V> )

如果你不关心什么类型View Control object 已键入，您无需键入 Control在RemoteControl :

public class RemoteControl<C extends Control> implements Control{}

然而，事实Control键入 V extends View和 RemoteControl implements Control<V> ，而是建议你做...