java - 如何使接口(interface)中的返回类型通用？

Question

共有三个 Java 1.6 接口(interface)，它们相互继承:

interface First<T extends First<T>> {
  T me();
}
interface Second<T extends Second<T>> extends First<T> {
}
interface Third<T extends Third<T>> extends Second<T> {
  void foo();
}

现在我期待这个能起作用，但没有:

// somewhere later
public void bar(Third t) {
  t.me().foo();
}

编译器表示 t.me() 的类型为 Second。我做错了什么？

Answer 1

试试这个:

public <T extends Third<T>> void bar(Third<T> t) {
    t.me().foo();
}