为何使用左值初始化std::vector时会出现构造函数匹配异常？

核心规则前提 #

C++对花括号（列表）初始化有明确的重载决议优先级：

• 当类存在initializer_list参数的构造函数时，编译器会优先尝试匹配该构造函数
• 只有当传入参数完全不存在到initializer_list元素类型的隐式转换路径时，编译器才会回退匹配其他普通构造函数
• 如果initializer_list构造的匹配路径存在，但转换过程触发了列表初始化禁止的窄化转换，编译器会直接抛出编译错误，不会继续回退匹配其他构造
• 窄化转换的判定对编译期常量和非常量有区别：如果源是整型编译期常量，只要原值可以被目标类型无损容纳就不算窄化；如果源是非常量变量，哪怕值在目标类型范围内，只要类型不匹配就属于窄化。

测试代码行为根源 #

先看第一段指针类型vector的测试代码：

/* I WANT 6 ELEMENTS */
int lvalue = 6;

std::vector<int*> myvector { 6 }; /* WORKS FINE */
std::vector<int*> myvector{ lvalue }; /* DOESN'T WORK */
/* Element '1': conversion from 'int' to 'const unsigned __int64 requires a narrowing conversion */

两种写法的行为差异完全符合上述规则：

1. 传入整型字面量6时：
   编译器首先尝试匹配initializer_list<int*>构造，但根据C++标准，只有值为0的整型常量表达式才能隐式转换为指针类型（空指针），非0的字面量6不存在到int*的合法隐式转换，因此initializer_list构造直接被排除在候选集外。编译器回退匹配普通构造，找到接收size_type count的长度构造函数，此时字面量6是编译期常量，转换为size_type（即报错里的const unsigned __int64）不存在窄化，因此编译通过，最终创建长度为6的vector。
2. 传入int类型左值lvalue时：
   编译器首先尝试匹配initializer_list<int*>构造，判定存在int到int*的转换路径（64位环境下指针宽度与unsigned __int64一致），但由于lvalue是非常量int变量，转换到无符号64位类型属于窄化转换，被列表初始化规则禁止，因此直接抛出编译错误，不会回退匹配长度构造函数。

再看int类型vector的常见坑：

int num_elements = 6;
std::vector<int> myvector{num_elements}; // 最终vector长度为1，仅存元素6

这个场景下vector<int>的initializer_list元素类型就是int，传入int类型的num_elements属于完全类型匹配，不存在任何转换障碍，因此编译器直接选中initializer_list构造，根本不会回退到长度构造函数，最终得到仅包含一个元素6的vector。

关于最令人头疼的解析（Most Vexing Parse）的使用误区 #

“尽量用花括号初始化避免MVP问题”的说法不能无限制套用：

• MVP问题本质是C++语法歧义，只会在传入的参数可以被解析为函数声明时触发，比如std::vector<int> myvector();会被解析为返回vector<int>的函数声明，std::vector<int> myvector(int());会被解析为参数为函数指针的函数声明。
• 如果你传入的是明确的变量名，比如std::vector<int> myvector(num_elements);，完全不存在语法歧义，不会触发MVP，可以安全使用。
• 不要为了强行使用花括号初始化，忽略容器initializer_list构造的最高优先级规则，反而引入长度初始化不符合预期的隐蔽bug。

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