Java中交集类型的值指什么？对JLS相关表述的疑问

首先，你说得没错：Java确实不允许直接用交集类型声明变量（比如写A&B var = new C()是非法的），但交集类型是Java类型系统中的隐式存在的类型，主要出现在泛型边界、类型推断、捕获转换等场景中，而“交集类型的值”就是符合这类隐式类型约束的对象实例。

1. 什么是“交集类型的值”？ #

交集类型（比如T1 & T2 & ... & Tn）代表逻辑上的类型集合，“交集类型的值”就是同时满足所有Ti类型约束的对象。这类对象不会被直接标记为“交集类型”，但它们的实际类型（运行时的类）天然符合所有Ti的要求，编译期会将其视为属于这个交集类型。

举个泛型场景的例子：

// 泛型方法的类型参数上界是A和B的交集
public <T extends A & B> void process(T obj) {
    obj.methodFromA(); // 可直接调用A接口的方法
    obj.methodFromB(); // 也可直接调用B接口的方法
}

// 自定义类C同时实现A、B两个接口
class C implements A, B {
    @Override public void methodFromA() {}
    @Override public void methodFromB() {}
}

// 调用方法时传入C的实例
process(new C());

这里传入的new C()就是“A&B交集类型的值”——虽然变量没有被声明为A&B，但编译期认定它属于这个交集类型，因此能在process方法中同时调用两个接口的方法。

2. “同时属于所有Ti类型的对象”是什么含义？ #

这句话的核心是对象的实际类型必须同时满足所有Ti的类型要求，具体分两种情况：

• 如果Ti是接口：对象的类必须实现了所有这些接口；
• 如果Ti中有类（交集类型里最多只能有一个类，且必须放在第一个位置）：对象的类必须是这个类的子类，同时实现所有接口。

举两个具体场景：

• 交集类型Number & Comparable<Number>：值必须是Number的子类（比如Integer、Double），同时实现Comparable<Number>（Integer恰好满足这两个条件）；
• 交集类型Runnable & Serializable：值必须是同时实现这两个接口的类的实例（比如自定义类MyTask implements Runnable, Serializable）。

简单来说，“同时属于所有Ti类型”意味着这个对象可以安全转换为每一个Ti类型，不会出现编译或运行时类型转换错误。

内容的提问来源于stack exchange，提问作者user24723440