Java中Lambda引发方法调用歧义的原因解析

问题背景 #

这段代码中，第一个重载方法的调用groupButtons(() -> new ButtonGroup(), buttons)被编译器判定为同时匹配以下两个重载方法，引发歧义报错：

1. <BG extends ButtonGroup> BG groupButtons(Supplier<BG>, AbstractButton...)
2. <BG extends ButtonGroup> BG groupButtons(BG, AbstractButton...)

开发者认为Lambda表达式不可能是ButtonGroup实例，疑惑为何会出现歧义。

编译器判定歧义的核心原因 #

Java的重载解析规则是基于类型兼容性的可能性推断，而非实际类型的存在性：

• 对于第一个候选方法：Lambda表达式() -> new ButtonGroup()完全匹配Supplier<BG>的函数式接口要求（无参、返回ButtonGroup），可以直接适配，BG会被推断为ButtonGroup，方法适用。
• 对于第二个候选方法：编译器会尝试推断泛型参数BG的类型，看是否存在满足BG extends ButtonGroup的类型，使得Lambda可以转换为该类型。Lambda本质是函数式接口的实例，虽然ButtonGroup本身不是函数式接口，但编译器不会检查实际是否存在继承ButtonGroup的函数式接口，只会验证类型约束是否允许这样的推断——理论上存在这样的类型（比如自定义一个继承ButtonGroup的函数式接口），因此编译器认为该方法也具备匹配可能。

由于两个方法都被判定为适用，且编译器无法通过优先级规则选出更匹配的方法，最终抛出歧义报错。

无需强制转换的解决方法 #

如果不想用强制转换，可以通过以下方式消除歧义：

• 显式指定泛型类型：调用时明确指定BG的类型，引导编译器匹配目标方法：

  return this.<ButtonGroup>groupButtons(() -> new ButtonGroup(), buttons);
  

• 替换Lambda为方法引用：通过方法引用明确类型，避免编译器的模糊推断：

  private ButtonGroup createButtonGroup() {
      return new ButtonGroup();
  }
  
  private ButtonGroup groupButtons(AbstractButton... buttons) {
      return groupButtons(this::createButtonGroup, buttons);
  }
  

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