C++11嵌套vector初始化问题：{}与()行为差异求助

这个问题的核心在于C++11引入的**列表初始化（{}）和传统的圆括号初始化（()）**在匹配构造函数时的优先级差异，再加上vector的构造函数重载规则，尤其是initializer_list构造函数的“抢占式”优先级特性。咱们逐个拆解你的四个例子，就能明白为什么有的符合预期，有的出问题了：

符合预期的两个例子 #

1. vector<vector<int>> mat2(rows, vector<int>(cols, 2))
   圆括号初始化会直接匹配vector的填充构造函数：vector(size_type n, const T& value)。这里rows会被转换为size_t类型，作为外层vector的元素个数；第二个参数vector<int>(cols, 2)是用圆括号调用填充构造，生成一个包含cols个2的vector<int>，作为外层每个元素的模板。最终得到的就是你想要的rows×cols二维数组，每个元素都是2。

2. vector<vector<int>> mat4{rows, vector<int>(cols, 4)}
   虽然用了花括号，但编译器发现没法把rows（一个整数）塞进initializer_list<vector<int>>里——因为vector<int>的单参数构造函数（vector(size_type n)）是explicit修饰的，整数不能隐式转换成vector<int>类型。这时候编译器会“退而求其次”，匹配普通的填充构造函数，效果和mat2完全一致：生成rows个包含cols个4的子vector，符合预期。

不符合预期的两个例子 #

1. vector<vector<int>> mat1{rows, vector<int>{cols, 1}}
   花括号初始化的优先级规则是：只要能匹配initializer_list构造函数，就优先走这个分支。这里初始化列表的两个元素会被当作initializer_list<vector<int>>的元素来处理：

   • 第一个元素rows是整数，编译器会用列表初始化构造vector<int>：vector<int>{rows}——注意，这个调用会优先匹配vector<int>的initializer_list<int>构造函数，生成一个**只包含单个元素rows**的vector<int>，而不是你以为的“大小为rows的空vector”（因为vector(size_type n)是explicit的，不会被隐式调用）。
   • 第二个元素vector<int>{cols, 1}同样匹配initializer_list<int>构造，生成一个包含cols和1两个元素的vector<int>。
     最终mat1变成了一个大小为2的vector<vector<int>>，和你想要的二维数组完全不是一回事，自然没法正常工作。

2. vector<vector<int>> mat3(rows, vector<int>{cols, 3})
   这里用了圆括号，确实匹配到了填充构造函数，但问题出在第二个参数：vector<int>{cols, 3}调用的是vector<int>的initializer_list<int>构造，生成的是包含cols和3两个元素的vector<int>，而不是你想要的“大小为cols、每个元素都是3”的vector。所以mat3最终是rows个这样的双元素vector，完全不符合你的预期。

总结一下注意事项 #

• 用{}初始化vector时，一定要警惕initializer_list构造函数的高优先级：如果列表中的元素能被解释为容器元素的初始化列表，编译器会优先走这个分支，而非填充构造。
• 如果要创建指定数量、每个元素都是模板的嵌套vector，可靠的写法有两种：
  • 直接用圆括号：vector<vector<int>> mat(rows, vector<int>(cols, value))
  • 非要用花括号的话，确保第二个参数是用圆括号创建的填充vector（比如你的mat4写法），这样编译器会回退到填充构造。

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