Java泛型无法推断问题：如何省略Builder模式的显式类型声明？

结论 #

• 该需求可以实现，核心是调整泛型的绑定时机，适配Java的泛型推断规则。

原因说明 #

Java的泛型类型推断不支持跨链式调用的反向穿透：原代码中Factory.fooBuilder()调用时没有直接的类型上下文，编译器无法将最终赋值的Metric<Integer>的泛型参数，反向传递到链式调用最开始的fooBuilder方法上，因此必须显式指定泛型。

改造方案 #

方案1：泛型下移到build方法（适配当前无T依赖的Builder场景） #

你当前的代码中FooBuilder的类级泛型T仅在build方法返回值时用到，完全可以把泛型声明从类级别下移到build方法级别，让泛型推断直接发生在build调用阶段，就可以支持期望的写法。

改造后的完整代码：

class Factory {
    // 方法不再需要泛型声明，返回无泛型的FooBuilder
    public static FooBuilder fooBuilder() {
        return new FooBuilder();
    }
}

// 去掉类级别的泛型声明
class FooBuilder {
    int x;

    public FooBuilder addFooStep(int x) {
        this.x = x;
        return this;
    }

    // 泛型声明移到build方法上
    public <T> Metric<T> build() {
        return new Metric<>(x);
    }
}

class Metric<T> {
    final int cm;

    public Metric(int cm) {
        this.cm = cm;
    }
}

改造后你期望的写法可以直接正常编译：

Metric<Integer> integerMetric = Factory.fooBuilder()
        .addFooStep(1)
        .build();

方案2：拆分链式调用（适配Builder中间方法依赖T的场景） #

如果后续你的Builder中间方法需要用到泛型T（比如存在public FooBuilder<T> addParam(T param)这类方法），可以拆分链式调用，提前声明明确泛型的Builder变量，编译器就能自动推断泛型：

// 变量声明明确泛型，自动推断fooBuilder的T为Integer
FooBuilder<Integer> builder = Factory.fooBuilder();
Metric<Integer> integerMetric = builder.addFooStep(1).build();

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