如何参数化使用通配符参数扩展类型的类型?

我在扩展参数化类型的类型上有一个参数化接口,该接口包含一个需要扩展类型的类型参数的方法。在代码中,这是我想要的:

class Thingy<X> { ... }

interface Foo<P extends Thingy<?>> {
  <T> T frobnicate(P<T> a);
}

但这并不能编译。为了妥善 frobnicate Thingy ,有必要知道 东西 Foo s可能专门用于处理特定类型的 s(例外情况是它们必须能够处理任何类型的 T 任何 已在上参数化)。

(顺便说一句,我已经发现了 these questions . 前者只需要一个泛型参数;我不在乎这里是需要一个,两个还是五个,只要有解决办法。后者在对应于my的类中具有特定类型而不是通配符 福 ,因此,就我所见,这里的解决方案不适用。)

编辑:

东西 我想要的是小的,我可以通过子类化得到同样的效果 东西 并创建另一个界面来处理这些问题:

interface Foo {
  <T> T frobnicate(Thingy<T> a);
}

class SpecialThingy<T> extends Thingy<T> { ... }

interface Bar {
   <T> T frobnicate(SpecialThingy<T> a);
}

这并不像我希望的那样优雅,但在这种情况下它会起作用。