C++中默认构造函数模板参数为何能与类模板参数不同？

你看到的这个带_U1、_U2模板参数的构造函数，是模板化的构造函数，它的存在是为了让std::pair支持更灵活的初始化场景，尤其是隐式类型转换的情况，而非刻意要和类模板参数_T1、_T2产生差异。

举几个实际场景，就能明白_U1和_T1为什么会不同：

• 用不同类型的pair初始化当前pair：

  std::pair<short, float> src{1, 2.5f};
  std::pair<int, double> dest = src;
  

  这里dest的构造会触发这个模板构造函数，此时_U1是short，_U2是float，和类的_T1=int、_T2=double完全不同——构造函数会把short隐式转成int，float转成double，完成初始化。
• 用可转换的单个类型初始化pair的成员：

  std::pair<std::string, int> p = {"hello", 42};
  

  这里_U1是const char*（字符串字面量的类型），而类的_T1是std::string，模板构造函数会利用const char*到std::string的隐式转换来初始化第一个成员。

至于你说的std::pair<int, double> p;这种直接默认初始化的情况，这个模板构造函数的_U1、_U2会使用默认值（也就是类模板的_T1、_T2），此时行为和普通的默认构造函数一致，但它本质还是一个模板实例化出来的构造函数，只是参数类型刚好和类的模板参数匹配而已。

总结一下：这个模板构造函数的核心作用是扩展std::pair的初始化能力，让它能接受任何可以转换为_T1、_T2的类型，而不是只能接受和_T1、_T2完全相同的类型。

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