探究C++中三种即时创建std::vector并传参的方式差异

咱们来逐个拆解你提到的这几种vector创建和传参的写法，把它们的语义差异、性能表现以及最佳实践说清楚。

一、语义差异详解 #

先看你第一个例子里的三种调用方式：

1. print({1, 2, 3, 4, 5}); #

这是利用初始化列表（std::initializer_list）的隐式转换。因为函数print的参数是std::vector<int>，而C++11允许用{...}这种初始化列表隐式构造vector——编译器会先把{1,2,3,4,5}转换成std::initializer_list<int>，再调用vector的构造函数vector(std::initializer_list<T>)创建临时对象，最后传给print。

2. print(std::vector<int>{1, 2, 3, 4, 5}); #

这是列表初始化（list-initialization）显式构造临时对象。C++11引入的统一初始化语法，用{}直接调用vector的初始化列表构造函数，直接创建临时vector后传参。这里没有隐式转换，是明明白白告诉编译器：我要造一个vector对象。

3. print(std::vector<int>({1, 2, 3, 4, 5})); #

这是圆括号包裹初始化列表的显式构造，本质上和第二种写法语义完全一致——都是调用vector的初始化列表构造函数创建临时对象。唯一的区别是语法上用了圆括号，这种写法在C11之前不合法，但C11及以后是完全合规的。

关于你第二个例子的报错问题 #

你注释掉的std::cout << (a == {1, 2, 3, 4, 5}) << '\n';会报错，原因很简单：operator==的操作数需要是具体的对象，而裸的{...}只是初始化列表，不是一个完整的vector对象。std::vector的==运算符要求两边都是符合容器要求的对象，所以必须显式构造vector（不管是std::vector<int>{...}还是std::vector<int>(...)）才能进行比较。

二、性能差异 #

在现代编译器（比如clang++、g++）开启优化的前提下（比如-O2或更高），这三种写法的性能完全一致。

编译器会通过返回值优化（RVO）或者临时对象消除，直接在函数参数的内存位置构造vector，不会产生多余的拷贝操作。哪怕你的print函数是传值参数（std::vector<int> a），编译器也会跳过临时对象的拷贝，直接把初始化的vector放在参数的位置上。

如果是传const引用（void print(const std::vector<int>& a)），那性能差异更不存在——都是传递临时对象的引用，没有任何拷贝开销。

只有在关闭优化的debug模式下，可能会有极细微的差异，但实际开发中release模式的优化会抹平这些区别，完全不用在意。

三、最佳实践 #

结合可读性、安全性和现代C++风格，给你几个建议：

• 优先使用简洁的print({1,2,3,4,5})：这种写法最清爽，可读性拉满，符合C++11及以后的现代编程风格。只要函数参数的类型可以用初始化列表构造，这种隐式转换是安全的，编译器会正确处理。
• 需要显式构造时，选std::vector<int>{...}而非std::vector<int>(...)：列表初始化{}是C++的统一初始化语法，能避免一些歧义问题。比如std::vector<int>(10)是创建包含10个默认值的vector，而std::vector<int>{10}是创建只包含一个元素10的vector——用{}能更清晰表达你的意图，减少出错概率。
• 比较操作必须显式构造vector：像你第二个例子里，不能直接用a == {...}，必须写成a == std::vector<int>{...}，因为operator==不接受裸的初始化列表作为操作数。
• 处理重载歧义时显式构造：如果你的代码里有多个重载函数（比如一个接受std::initializer_list<int>，另一个接受std::vector<int>），print({...})会优先匹配std::initializer_list的重载。这时候如果想调用vector版本的重载，就需要显式写std::vector<int>{...}。

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