C++中通过引用型输出参数返回std::vector的生命周期与移动语义问题

首先解决你担心的临时对象生命周期问题：

• 第一个代码里的std::vector<int>{1,2,3}是临时右值对象，它的生命周期会持续到整个赋值表达式out_vec = std::vector<int>{1,2,3}执行完毕。也就是说，在赋值操作完成前，这个临时对象绝对不会被销毁，完全不存在生命周期风险，你的担忧是多余的。

然后看两种写法的合理性：

• 第一种写法：out_vec = std::vector<int>{1,2,3}，编译器会自动识别右侧的临时对象是右值，直接调用std::vector的移动赋值运算符（而非拷贝赋值），已经是高效的操作了。
• 第二种写法：out_vec = std::move(std::vector<int>{1,2,3})，这里手动用std::move把临时对象转换成右值引用，但临时对象本身已经是右值，这步操作完全多余——编译器本来就会对临时对象触发移动语义，加不加std::move效果完全一致，反而会让代码显得冗余。

额外优化建议 #

如果想进一步提升效率，可以跳过临时对象的创建，直接在输出参数的vector里构造元素：

void foo(std::vector<int>& out_vec)
{
    out_vec.clear(); // 清空原有内容
    out_vec.reserve(3); // 预分配空间，避免多次扩容
    out_vec.emplace_back(1);
    out_vec.emplace_back(2);
    out_vec.emplace_back(3);
}

这种写法完全复用输出参数的内存，避免了临时对象的创建，效率更高。

另外，如果场景允许，直接返回std::vector<int>是更简洁且同样高效的写法（编译器会做RVO返回值优化，无额外拷贝开销）：

std::vector<int> foo()
{
    return {1,2,3};
}

int main()
{
    std::vector<int> v = foo();
    return 0;
}

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