Java - 类公共 API 的界限

Question

我有一个 ModelDecorator 助手。我希望它具有以下公共 API

class ModelDecorator<T>{
    public static <T> ModelDecorator<T> create(Class<T> clazz);
    public <SUPER> T from(SUPER fromInstance);
}

所以，给定类 A，B 扩展 A，它可以这样使用：

A a = new A();
B b = ModelDecorator.create(B.class).from(a);

但我想限制 T 和 SUPER，所以我确保只有子类可以使用 API 实例化。此刻，我可以做到：

C c = new C();
B b = ModelDecorator.create(B.class).from(c);

其中 B 不继承自 C。

有什么想法吗？谢谢

Answer 1

我认为约束类型参数T 以扩展类型参数S 的唯一方法是将这些定义放入类定义中：

public class ModelDecorator<S, T extends S> {
    public static <S, T extends S> ModelDecorator<S, T> create(Class<T> clazz) { ... }
    public T from(S instance) { ... }
}

有了这些类

class A {}
class B extends A {}
class C {}

您现在可以编写以下代码：

A a = new A();
B b1 = ModelDecorator.<A, B> create(B.class).from(a); // compiles fine

C c = new C();
B b2 = ModelDecorator.<C, B> create(B.class).from(c); // bound mismatch here

第二个B 创建现在出现编译器错误。

不幸的是，您现在必须显式提供类型参数，因为编译器无法从简单的方法调用 create(B.class) 推断出类型 A 或 C。