单键值对inline map作为构造函数参数时重载调用歧义问题

这个报错是C++标准中列表初始化与构造函数重载决议的一个经典场景，核心原因在于单个键值对的初始化列表{{1,2}}在构造std::map<int,int>时，编译器有多个可行的构造函数可以匹配，导致歧义：

当你传递{{1,2}}作为Dict构造函数的参数时，编译器需要先构造一个临时的std::map<int,int>对象，但std::map有多个构造函数能匹配这个初始化列表：

• 第一种可能：将{{1,2}}解析为包含单个std::pair<const int,int>的initializer_list，调用map(initializer_list<pair<...>>)构造函数。
• 第二种可能：编译器尝试将{{1,2}}拆分为两个独立参数——1被隐式转换为std::size_t（map的size_type），2被尝试转换为map的value_type（即pair<const int,int>），匹配map(size_type count, const value_type& val)构造函数。

而当你传入多个键值对{{1,2},{3,4}}时，只有initializer_list构造函数能匹配，所以不会出现歧义。

针对这个问题，有几种简单有效的解决方式：

• 显式构造std::map对象：
  直接明确告诉编译器要构造一个map，消除歧义：

  Dict* test1 = new Dict(std::map<int, int>{{1, 2}});
  

• 使用列表初始化语法构造Dict：
  改用双括号的列表初始化，编译器会优先匹配map的initializer_list构造函数：

  Dict* test1 = new Dict{{{1, 2}}};
  

• 显式包裹pair：
  用std::make_pair明确创建键值对，让编译器只能解析为initializer_list：

  Dict* test1 = new Dict({std::make_pair(1, 2)});
  

• 修改Dict构造函数为引用传递：
  把构造函数的参数从值传递改为const引用，有时能帮助编译器更清晰地决议重载：

  Dict (const map<int, int>& contents) { elements = contents; }
  

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