C++中std::vector<std::pair>的模板类型推导问题咨询

问题背景 #

在C++模板类型推导中，嵌套容器的类型推导常会遇到障碍，示例代码如下：

int main() {
    std::vector<std::pair<int,int>> vec_of_pairs{{1, 2}, {3, 4}, {5, 6}}; // 无法自动推导类型
    std::vector vec_of_numbers = {1, 2, 3, 4, 5, 6, 7, 8, 9}; // 单一类型推导成功
    std::pair pair = {1, 2.5}; // 简单复合类型推导成功
    return 0;
}

其中vec_of_pairs无法自动推导的原因是：嵌套初始化列表属于非推导上下文，编译器无法将内层的{1,2}自动关联到std::pair<int,int>类型，进而无法推导出外层std::vector的模板参数。

自定义推导指南的有效性 #

你提供的自定义推导指南可以解决该问题，代码如下：

template <typename T1, typename T2>
std::vector(std::initializer_list<std::pair<T1, T2>>) -> std::vector<std::pair<T1, T2>>;

不过需要调整初始化写法，让内层元素明确匹配std::pair类型，比如：

// 显式构造std::pair，触发推导指南
std::vector vec_of_pairs = {std::pair{1,2}, std::pair{3,4}, std::pair{5,6}};

此时编译器会通过自定义推导指南，将vec_of_pairs的类型推导为std::vector<std::pair<int,int>>。

标准库默认的std::vector推导指南仅支持单一元素类型的推导，无法处理嵌套复合类型，因此自定义推导指南是合理的补充方案。

需求可行性 #

该需求完全具备可行性：

• 类模板推导指南的核心作用就是扩展推导规则，针对嵌套容器这类场景，通过明确关联初始化列表与嵌套模板类型的推导关系，就能让编译器完成正确推导。
• 前提是编译器支持C17及以上版本（类模板推导特性于C17引入）。

内容的提问来源于stack exchange，提问作者orb-livan