在 fluent api 设计中，当子构建器（如 ifbuilder）需返回至不同类型的父构建器（如 sequencebuilder 或 loopbuilder）时，可通过泛型参数精确捕获并还原调用方类型，避免类型擦除导致的 object 回退问题。
要解决示例中 endtype3() 返回 Object 而非原始 Type1（或 Type2）的问题，关键在于让每个方法的返回类型显式携带泛型信息，而非仅依赖类级别的泛型声明。当前代码中 gotype3() 声明返回 Type3（原始类型），导致编译器丢失 T 的具体信息；即使 Type3
✅ 正确做法是：将所有涉及“返回父构建器”的方法声明为泛型方法，并让其返回类型绑定调用者的实际类型。以下是重构后的专业实现方案：
public class FluentDSL {
public static class Type1 {
public Type1 test1() {
System.out.println("test1");
return this;
}
// ✅ 关键修改：返回 Type3<Type1>，而非裸 Type3
public Type3<Type1> gotype3() {
System.out.println("gotype3");
return new Type3<>(this); // 类型推导自动匹配 T = Type1
}
public void endtype1() {
System.out.println("endtype1");
}
}
public static class Type2 {
public Type2 test2() {
System.out.println("test2");
return this;
}
// ✅ 同样返回 Type3<Type2>
public Type3<Type2> gotype3() {
System.out.println("gotype3");
return new Type3<>(this);
}
public void endtype2() {
System.out.println("endtype2");
}
}
// ✅ Type3 保持泛型类定义，但构造器与 endtype3() 无需额外泛型修饰
public static class Type3<T> {
private final T parent;
public Type3(T parent) {
this.parent = parent;
}
public Type3<T> test3() {
System.out.println("test3");
return this;
}
// ✅ 返回 T（即调用方确切类型），编译器可完整推导
public T endtype3() {
System.out.println("endtype3");
return parent;
}
}
public static void main(String[] args) {
new FluentDSL().run();
}
private void run() {
// ✅ 完全类型安全：.endtype3() 返回 Type1，后续 .test1() 和 .endtype1() 可直接调用
new Type1()
.test1()
.gotype3()
.test3()
.endtype3() // ← 编译器识别为 Type1
.test1()
.endtype1();
// 同样适用于 Type2 链路
new Type2()
.test2()
.gotype3()
.test3()
.endtype3() // ← 编译器识别为 Type2
.test2()
.endtype2();
}
}? 核心要点总结：
- ❌ 错误：public Type3 gotype3() —— 返回原始类型，泛型信息丢失；
- ✅ 正确：public Type3
gotype3() —— 显式声明返回参数化类型，建立强类型链路； - 构造器 new Type3(this) 依赖 Java 的目标类型推断（Target Typing），编译器根据左侧声明的 Type3
自动推导 T = Type1； - endtype3() 的返回类型 T 因此能精确还原为 Type1 或 Type2，保障链式调用不中断；
- 此模式可扩展至多级嵌套（如 Type3 → Type4
→ ... → T），只要每层都严格使用参数化返回类型。
该方案无需反射、不依赖运行时类型检查，100% 编译期类型安全，是构建高可靠性 DSL 构建器的标准实践。
立即学习“Java免费学习笔记（深入）”；
