java - 在依赖接口(interface)上强制执行参数类型？

Question

这些接口(interface)非常简单:

public interface Thawed<F>
{
    F freeze();
}

public interface Frozen<T>
{
    T thaw();
}

这行得通，没问题。

但是现在，我将如何要求 F在 Thawed实现Frozen , 和 T在 Frozen实现Thawed ？

我能得到的最接近的是:

public interface Thawed<F extends Frozen<? extends Thawed<F>>>

public interface Frozen<T extends Thawed<? extends Frozen<T>>>

但这听起来很递归......(也适用于 Thawed<?> 和 Frozen<?> )

Answer 1

我认为这应该可行:

public interface Thawed<F extends Frozen<?>> { ... }

public interface Frozen<T extends Thawed<?>> { ... }

我认为您不需要比这更深的东西，因为您需要做的就是指定 F是某种 Frozen (对于 T 也是如此)。