如何利用局部类型推断实现交集类型的实用应用？

这确实是Java局部类型推断（从Java 10引入的var关键字）带来的一个非常巧妙的用法！咱们来一步步拆解如何利用它实现交集类型的实用场景，以及为什么这在之前的Java版本里很难做到简洁的实现。

完整可运行代码示例 #

首先补全你提到的代码（完善Mixin接口的实现，让代码可以正常运行）：

public class MixinExample {
    public static void main(String... args) { 
        var duck = (Quacks & Waddles) Mixin::create; 
        duck.quack(); 
        duck.waddle(); 
    }
}

interface Quacks extends Mixin { 
    default void quack() { 
        System.out.println("Quack"); 
    } 
}

interface Waddles extends Mixin { 
    default void waddle() { 
        System.out.println("Waddle"); 
    } 
}

interface Mixin {
    @SuppressWarnings("unchecked")
    static <T> T create() {
        // 返回一个匿名内部类实例，自动继承所有Mixin子接口的默认方法
        return (T) new Object() {};
    }
}

核心逻辑与实用价值 #

• 交集类型的自动推断：这里的关键是var duck = (Quacks & Waddles) Mixin::create;——通过var让编译器自动推断变量duck的类型为Quacks & Waddles（两个接口的交集类型），这意味着duck同时具备两个接口的所有方法能力。
• 避免冗余实现类：在Java 10之前，如果想要一个对象同时拥有Quacks和Waddles的方法，你要么创建一个专门的类实现这两个接口，要么编写冗长的匿名内部类。而现在通过局部类型推断+交集类型，只需要一行代码就能得到具备两种能力的对象。
• Mixin模式的简化实现：这种方式本质上是简化了Mixin（混入）模式的实现——将多个独立的行为接口组合到一个对象上，不需要修改现有类结构，非常适合临时组合多个行为的场景。

关键细节说明 #

• Mixin接口的create方法通过泛型返回T类型，结合强制类型转换，让编译器认为返回的实例实现了Quacks & Waddles接口。由于两个接口的方法都是default方法，匿名内部类不需要显式实现就能直接调用这些方法。
• 局部类型推断在这里起到了核心作用：如果不用var，你无法直接声明一个交集类型的变量（Java不允许你写Quacks & Waddles duck = ...;），而var让编译器帮你完成了这个类型推断。

内容的提问来源于stack exchange，提问作者Jacob G.