既然支持大括号初始化，为何仍需使用std::make_pair？

我们知道以下两种初始化std::pair的方式都可行：

std::pair<int, char> myPair1 = { 1,'a' };
std::pair<int, char> myPair2 = std::make_pair(1, 'a');

你提到的可读性优势确实是其中一点，但std::make_pair的价值不止于此，具体来说还有这些场景下的优势：

• 旧标准兼容性：在C11引入列表初始化之前，std::make_pair是唯一能自动推导pair元素类型的便捷写法。如果代码需要兼容C03及更早版本，它是必不可少的选择。
• 模板场景下的简洁性与可靠性：在模板函数中创建或传递pair时，std::make_pair可以省略显式的类型声明，让代码更简洁。比如：

  template<typename T, typename U>
  void processPair(std::pair<T, U> p) { /* 处理逻辑 */ }
  
  // 使用make_pair无需手动指定T和U的类型
  processPair(std::make_pair(1, 'a'));
  // 大括号初始化多数情况也能行，但在一些复杂模板语境下可能出现编译歧义，需要额外显式标注类型
  

• 类型推导的灵活性：std::make_pair会通过std::decay处理参数类型，自动适配更合适的pair元素类型。比如传递数组名时，它会自动推导为指针类型，而列表初始化如果不注意可能会出现类型匹配问题。
• 语义明确性：正如你所说，在函数参数、返回值等场景中，std::make_pair能直接表明这是一个pair对象，而大括号初始化的语义太宽泛——它可以用于数组、tuple、自定义聚合类型等，阅读代码时需要额外判断意图，尤其是在复杂代码中，std::make_pair的语义更清晰。

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