将返回vector引用的函数赋值给vector变量，背后发生了什么？

嘿，这个问题问得很到位！让我一步步拆解这段代码背后的C++逻辑，帮你搞清楚为什么编译器没报错、程序还能正常跑：

1. 先看函数的返回类型 #

你的函数声明是：

const std::vector<int> &FunctionReturnReferenceToVector();

它返回的是const左值引用，指向一个std::vector<int>对象。这里的关键是：返回引用本身只是一个"别名"，但当你把它用在赋值操作的右侧时，C++会按照既定规则处理这个引用。

2. 赋值操作的本质 #

你写的赋值语句：

tmp = FunctionReturnReferenceToVector();

std::vector的赋值运算符（operator=）有一个核心重载版本是这样的：

vector& operator=(const vector& other);

它接受一个const左值引用作为参数，然后把other指向的vector的内容拷贝到当前vector（也就是tmp）里。

当你调用FunctionReturnReferenceToVector()时，函数返回的const引用会直接绑定到这个operator=的参数上——这完全符合C++的语法规则，所以编译器根本没理由报错。

3. 程序能正确运行的前提 #

你的程序运行结果正确，说明FunctionReturnReferenceToVector()返回的引用没有悬空，它指向的是一个存活的vector对象。比如函数内部可能是这样实现的：

const std::vector<int> &FunctionReturnReferenceToVector() {
    static std::vector<int> static_vec = {1, 2, 3}; // 静态对象，生命周期贯穿整个程序
    return static_vec;
}

或者返回的是全局变量的引用、传入函数的参数引用——这些对象在执行赋值操作时都还在内存中，所以拷贝操作能正常完成。

如果函数返回的是局部临时变量的引用（比如return std::vector<int>{1,2,3};），那就是未定义行为，但你的程序运行正常，显然不属于这种情况。

4. 额外补充：这里有没有拷贝开销？ #

是的，这段代码会触发一次vector的拷贝赋值：tmp会把函数返回引用指向的vector的所有元素都拷贝过来。如果vector很大，会有一定的性能开销，但语法上完全合法。

总结一下：这段代码合法的核心是C++的容器赋值运算符天然支持接收const左值引用，而你的函数返回的引用刚好匹配这个参数要求，只要引用指向的对象存活，整个流程就会顺畅执行~

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