Question

假设我有三个孤立的公共类（没有IS-A关系）A，B和C.我想在C中定义一个字段，使其类型可以是A或B.

目前，我通过将C定义如下来实现这一目标：

class A{} class B{}

public class C<T> {

    private T obj;

    public C(T param){
        if ( !(param instanceof A)
                || !(param instanceof B) ) {
            throw new InvalidParameterException("Only types A and B are allowed!");
        }
        this.obj = param;
    }

}

上面的代码只会在运行时抛出异常。但我更喜欢在编译时抛出错误，以便在使用除A或B之外的任何类型来构造C时生成编译器错误。

Answer 1

使构造函数成为私有的：

private C(T param){

然后提供静态工厂方法来创建特定类型的实例：

public static <T extends A> C<T> create(T param) {
  return new C<>(param);
}

public static <T extends B> C<T> create(T param) {
  return new C<>(param);
}

这不会阻止您使用类型 C<SomeOtherType>;你无法创建它的实例。

Answer 2

你不能这样做但你可以设置边界你想接受的类型。

如果你有

class A extends BaseType {}
class B extends BaseType {}

您可以将班级C定义为

class C<T extends BaseType> { ... }

作为基本类型的class或interface工作。

Answer 3

您可以使用标记接口：

interface AllowedInC {
    // intentionally empty because it will be used as a mere marker
}

class A implements AllowedInC {
    ...
}

class B implements AllowedInC {
    ...
}

class C<T extends AllowedInC> {
   ...
}

只有A类或B类（或实施AllowedInC的其他类）才能在C<T>中使用。

我们可以使用泛型只允许特定类型而不是任何类型<t>吗？

3 个答案: