Java类型系统中如何追踪构建器添加的接口？

你的需求没有超出Java类型系统的能力，但当前的实现方式无法保留接口类型信息，问题出在泛型方法的设计上——你用的泛型参数是调用方指定的，而非构建器自身追踪的。下面是可行的实现方案：

核心问题分析 #

原代码中，PastaBase的泛型方法<T extends PastaBase & IName> T name()是让调用者推断T的类型，但链式调用时，编译器无法自动将之前的接口（比如IName）合并到后续的返回类型中，导致最终dinner的类型丢失了IName的信息，强制类型转换也不安全。

正确实现方案：泛型构建器累加类型 #

通过让构建器类的泛型参数逐步累加已实现的接口，可以在类型层面追踪所有已添加的接口：

public class Noodling {
    private String name;
    private String sauce;

    // 私有构造，只能通过build()创建
    private Noodling() {}

    // 初始构建器，泛型参数为Noodling本身（基础类型）
    public static Builder<Noodling> build() {
        return new Builder<>(new Noodling());
    }

    // 泛型构建器类，T代表当前已实现的所有接口的交集
    public static class Builder<T> {
        private final T instance;

        Builder(T instance) {
            this.instance = instance;
        }

        // 调用name后，返回的Builder泛型参数合并IName接口
        @SuppressWarnings("unchecked")
        public Builder<T & IName> name(String name) {
            ((Noodling) instance).name = name;
            return (Builder<T & IName>) this;
        }

        // 调用sauce后，返回的Builder泛型参数合并ISauce接口
        @SuppressWarnings("unchecked")
        public Builder<T & ISauce> sauce(String sauce) {
            ((Noodling) instance).sauce = sauce;
            return (Builder<T & ISauce>) this;
        }

        // 最终构建，返回包含所有已添加接口的类型
        public T build() {
            return instance;
        }
    }

    // Noodling实现所有可能的接口方法
    public String getName() {
        return name;
    }

    public String getSauce() {
        return sauce;
    }

    // 定义所需接口
    public interface IName { String getName(); }
    public interface ISauce { String getSauce(); }
}

使用示例 #

// dinner的类型为Noodling & IName & ISauce
var dinner = Noodling.build()
        .name("Spaghetti")
        .sauce("Marinara")
        .build();

// 可直接编译，无需强制转换
String name = dinner.getName();
String sauce = dinner.getSauce();

原理说明 #

1. 泛型参数累加：每次调用name()或sauce()时，构建器的泛型参数会合并对应的接口（比如T & IName是Java 8+支持的交集类型），从而在类型层面记录已添加的接口。
2. 安全类型转换：实际实例始终是Noodling，它实现了所有接口，因此强制转换是安全的，用@SuppressWarnings消除编译器警告即可。
3. 最终类型保留：调用build()后返回的类型包含所有已调用方法对应的接口，编译器可以识别并允许调用接口方法。

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