泛型构建器模式下Lambda表达式返回类型错误问题求助

问题背景 #

现有代码结构 #

1. 泛型构建器类：

public static final class Builder<T extends SigEvents> {
    private Class<T> sigEventsType;
    private BiFunction<T, MessageExtractor, SigEventsEmitter<T>> emitterMapper;

    public Builder<T> forEmitter(@Nonnull Class<T> emitterType, @Nonnull BiFunction<T, MessageExtractor, SigEventsEmitter<T>> emitterMapper) {
        this.sigEventsType = emitterType;
        this.emitterMapper = emitterMapper;
        return this;
    }

    public SigEventsEmitter<T> buildEmitter() {
        //do some stuff which end up setting sigEventLogger and sink
        return emitterMapper.apply(sigEventLogger, sink);
    }

}

2. 目标实现类：

public final class JSFSigEventsEmitter extends SigEventsEmitter<JSFCoreSigEvents> {

    public JSFSigEventsEmitter(@Nonnull MessageExtractor messageExtractor, @Nonnull JSFCoreSigEvents emitter) {
        super(emitter, messageExtractor);
    }
}

3. 继承关系：

• SigEventsEmitter<T extends SigEvents>
• JSFCoreSigEvents 继承自 CoreSigEvents，而 CoreSigEvents 继承自 SigEvents

使用时的错误 #

当尝试通过构建器创建实例时：

SigEventsEmitter<JSFCoreSigEvents> sigEventEmitter = SigEventFactory.newSigEventEmitterBuilder()
        .forEmitter(JSFCoreSigEvents.class, ((jsfCoreSigEvents, messageExtractor) -> new JSFSigEventsEmitter(messageExtractor, (JSFCoreSigEvents) jsfCoreSigEvents)))
        .buildEmitter();

出现编译错误：

Bad return type in lambda expression: JSFSigEventsEmitter cannot be converted to SigEventsEmitter<SigEvents>

原因分析 #

问题核心是编译器类型推断失效：

• 调用 newSigEventEmitterBuilder() 时，编译器无法自动推导 Builder 的泛型参数 T 为 JSFCoreSigEvents，默认将 T 推断为顶层父类 SigEvents
• 这导致 forEmitter 方法要求的 BiFunction 返回类型是 SigEventsEmitter<SigEvents>，但实际返回的 JSFSigEventsEmitter 是 SigEventsEmitter<JSFCoreSigEvents>。由于泛型的不可变性（子类泛型实例不属于父类泛型的子类），最终出现类型不匹配错误。

解决方案 #

方案1：显式指定构建器泛型参数 #

在调用构建器时，直接声明泛型类型 JSFCoreSigEvents，让编译器明确 T 的具体类型：

SigEventsEmitter<JSFCoreSigEvents> sigEventEmitter = SigEventFactory.<JSFCoreSigEvents>newSigEventEmitterBuilder()
        .forEmitter(JSFCoreSigEvents.class, ((jsfCoreSigEvents, messageExtractor) -> new JSFSigEventsEmitter(messageExtractor, jsfCoreSigEvents)))
        .buildEmitter();

注：显式指定泛型后，jsfCoreSigEvents 已经是 JSFCoreSigEvents 类型，可去掉强制类型转换

方案2：优化构建器方法签名，辅助类型推断 #

修改构建器的方法设计，让编译器能通过传入的 Class<T> 自动推导泛型类型：

public static final class Builder<T extends SigEvents> {
    private Class<T> sigEventsType;
    private BiFunction<T, MessageExtractor, SigEventsEmitter<T>> emitterMapper;

    // 新增无泛型的静态启动方法
    public static Builder<?> newBuilder() {
        return new Builder<>();
    }

    // 将forEmitter改为泛型方法，通过emitterType推断U的类型
    public <U extends SigEvents> Builder<U> forEmitter(@Nonnull Class<U> emitterType, @Nonnull BiFunction<U, MessageExtractor, SigEventsEmitter<U>> emitterMapper) {
        @SuppressWarnings("unchecked")
        Builder<U> newBuilder = (Builder<U>) this;
        newBuilder.sigEventsType = emitterType;
        newBuilder.emitterMapper = emitterMapper;
        return newBuilder;
    }

    public SigEventsEmitter<T> buildEmitter() {
        // 原有逻辑
        return emitterMapper.apply(sigEventLogger, sink);
    }
}

优化后使用时无需显式指定泛型，编译器会自动推断：

SigEventsEmitter<JSFCoreSigEvents> sigEventEmitter = SigEventFactory.Builder.newBuilder()
        .forEmitter(JSFCoreSigEvents.class, ((jsfCoreSigEvents, messageExtractor) -> new JSFSigEventsEmitter(messageExtractor, jsfCoreSigEvents)))
        .buildEmitter();

补充说明 #

两种方案都适配跨模块场景，所有模块仅依赖 SigEvents 和 SigEventsEmitter 通用契约，具体实现类可在各自模块中独立实现，不会产生模块间强依赖。

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