Collectors.toMap()编译歧义错误：Map与List匹配冲突原因？

现象描述 #

使用javac 17或21编译以下代码时，第二个set()调用会报"方法引用歧义"错误，但第一个调用可以正常编译：

import java.util.HashMap;
import java.util.List;
import java.util.Map;
import java.util.stream.Collectors;

public class ListVsMap {

    public static void main(String[] args) {

        // 第一个调用：编译正常
        set(List.of("foo", "bar", "baz")
                .stream()
                .collect(Collectors.toMap(
                        l -> l,
                        l -> l,
                        (x, y) -> y)));

        // 第二个调用：编译报错，提示方法引用歧义
        set(List.of("foo", "bar", "baz")
                .stream()
                .collect(Collectors.toMap(
                        l -> l,
                        l -> l,
                        (x, y) -> y,
                        HashMap::new)));
    }

    public static void set(Map<String, String> valueMap) {}

    public static void set(List<String> values) {}
}

错误信息：

ListVsMap.java:17: error: reference to set is ambiguous
        set(List.of("foo", "bar", "baz")
        ^
  both method set(Map<String,String>) in ListVsMap and method set(List<String>) in ListVsMap match
1 error

原因分析 #

这不是javac的bug，而是Java重载解析与类型推断规则的正常表现，核心差异在于两个Collectors.toMap()方法的泛型返回类型设计：

1. 无Supplier的toMap()版本：
   该方法签名为Collector<T, ?, Map<K,U>> toMap(...)，明确返回绑定到Map<K,U>的Collector。因此编译器在解析第一个set()调用时，能直接推断出collect()的结果是Map<String,String>类型，只会匹配set(Map<String,String>)方法，set(List<String>)因类型不兼容被直接排除，无歧义。

2. 带Supplier的toMap()版本：
   该方法是泛型方法，签名为<M extends Map<K,U>> Collector<T, ?, M> toMap(...)，返回的Collector绑定到泛型类型M（M必须是Map<K,U>的子类）。此时编译器的重载解析流程如下：

   • 初步筛选阶段：编译器会先擦除泛型类型，collect()的返回类型擦除后是Object。由于Object可以通过窄化转换（强制类型转换）转为Map或List，编译器会将两个set()方法都标记为候选方法。
   • 泛型推断阶段：虽然编译器最终能推断出M是HashMap<String,String>（仅匹配set(Map<String,String>)），但重载解析的流程已经进入了歧义判断环节，因此报错。

简单来说：带Supplier的toMap()因泛型设计，导致编译器在初步筛选时无法直接排除不兼容的set(List<String>)方法，最终触发歧义错误。

解决方法 #

有三种方式可以消除歧义：

• 显式强制类型转换：直接指定collect()结果的类型：

  set((Map<String, String>) List.of("foo", "bar", "baz")
          .stream()
          .collect(Collectors.toMap(
                  l -> l,
                  l -> l,
                  (x, y) -> y,
                  HashMap::new)));
  

• 显式指定泛型参数：给toMap()明确指定泛型类型：

  set(List.of("foo", "bar", "baz")
          .stream()
          .collect(Collectors.<String, String, String, HashMap<String, String>>toMap(
                  l -> l,
                  l -> l,
                  (x, y) -> y,
                  HashMap::new)));
  

• 提前赋值到变量：将collect()的结果先赋值给明确类型的变量，再传入set()：

  Map<String, String> resultMap = List.of("foo", "bar", "baz")
          .stream()
          .collect(Collectors.toMap(
                  l -> l,
                  l -> l,
                  (x, y) -> y,
                  HashMap::new));
  set(resultMap);
  

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