Java 泛型参数绑定到任何类型的范围

Question

是否有将泛型类型参数限制为任何类型范围的语法或解决方法？

我知道您可以将一个类型限制为 all 的一系列类型（即AND 逻辑）：

public class MyClass<T extends Comparable<T> & Serializable> { } // legal syntax

有没有OR的逻辑版本，比如这样的：

public class MyClass<T extends Comparable<T> | Serializable> { } // illegal syntax

如果没有支持这一点的语法（我不认为有），是否有一种很好的解决方法或方法？

在某些情况下，一个示例用例可能是：

/** @return true if the obj is either has the same id, or if obj is the same as id */
public <T extends MyClass | String> boolean sameAs(T obj) {
    if (obj instanceof String) return this.id.equals(obj);
    if (obj instanceof MyClass) return this.id.equals(((MyClass)obj).id);
    return false;
}

人们似乎对我上面的方法示例的确切语义感到困惑。让我们试试这个：

public class MyWrapper<T extends A | B> {
    // my class can wrap A or B (unrelated classes). Yes I will probably use instanceof
}

已编辑：
我不会在编译时知道我可能会得到哪个（来自外部代码），所以我想避免每种类型都有具体的类。此外，我必须将我的类提供给调用我的 class.method 的外部系统，但另一个系统可以为我提供各种类的实例，但定义狭隘且已知种类。

有人评论instanceof“不纯”。好吧，一种解决方法是使用工厂方法根据传入对象的类来选择我的具体类，但是该工厂方法必须使用instanceof，所以您只需将instanceof 移动到另一个地方 -你仍然需要instanceof。

或者这个想法从来都不是一个好的想法？

Answer 1

public class MyWrapper<T extends A | B> {}

对于您无法控制的界面，您不能这样做，但对于您自己的东西，您可以使用空标记界面：

interface AOrB {
}

interface A extends AOrB {
    someMethodHere();
}

interface B extends AOrB {
    someOtherMethodHere();
}

public class MyClass<T extends AOrB> {}

不管纯粹主义者怎么说，在你需要的时候使用instanceof 完全没问题。

Answer 2

没有。除非所有类型都具有非空联合类型，否则它没有任何意义，例如他们都实现的接口，或者他们都扩展的基类，在这种情况下，您只需指定联合类型。

Answer 3

使用instanceof 被认为不是很好的编程风格，并且允许您在泛型中使用OR 意味着您将使用一个。

Answer 4

虽然 Java 对“intersection types”（如 T1 & T2）的支持有限，但对“联合类型”的支持却很少。

带有通配符的泛型类型实际上是联合类型：G<? extends X> 是所有G<S> 的联合，其中S 是X 的子类型。

不支持任意两种类型的联合。

Java 7 的多捕获语法看起来支持任意异常类型的联合

catch (IOException|SQLException ex){ .. }

但不是真的，ex 的类型是一个固定的超类，而不是两个类的联合。

Answer 5

以下代码将执行与提供的示例相同的操作，但没有运行时类型检查和类型转换。

public boolean sameAs(MyClass obj) {
    return this.id.equals(obj.id);
}
public boolean sameAs(String obj) {
    return this.id.equals(obj);
}

NPE 检查可能是个好主意。