C++引用作用域与STL容器：为何Clang建议用const引用参数？

原示例代码 #

#include <iostream>
#include <string>
#include <vector>

class SampleClass
{
    public:
        SampleClass(){}
        
        void ReceiveNewMessage()
        {
            const auto msg = GenerateSomeRandomMessage();
            StoreUniqueMessage(msg);
        }
        
    private:
        void StoreUniqueMessage(std::string msg)
        {
            messages.push_back(msg);
        }
    
        std::string GenerateSomeRandomMessage()
        {
            return "Random message";
        }
        
        std::vector<std::string> messages{};
    
};

int main() {
    
    SampleClass sc;
    
    sc.ReceiveNewMessage();

    return 0;
}

Clang建议的函数签名 #

void StoreUniqueMessage(const std::string& msg);

疑问 #

我了解引用是其指代对象的别名，当指代对象销毁时行为未定义（若有误请指正）。在上述代码中，ReceiveNewMessage()中的msg是局部变量，若使用引用作为StoreUniqueMessage()的参数，是否会在函数超出作用域时产生未定义行为？我对引用的理解存在哪些遗漏？

解答 #

不会产生未定义行为，你的理解遗漏了以下关键点：

1. 引用的有效性只要求函数执行期间被引用对象存活
   在ReceiveNewMessage()中调用StoreUniqueMessage()是同步执行的——StoreUniqueMessage()执行完毕后，才会回到ReceiveNewMessage()继续执行，此时局部变量msg才会被销毁。也就是说，在StoreUniqueMessage()运行的整个过程中，msg都处于有效作用域内，引用的对象是存活的，完全符合规范。

2. const左值引用的核心作用
   Clang建议用const std::string&作为参数，核心目的是避免不必要的字符串拷贝。原代码中传值调用会复制一份msg的内容给函数参数，而使用const引用直接绑定原对象，既能读取数据又不会修改，还能节省拷贝的性能开销，这是C++中优化参数传递的常用手段。

3. 引用触发未定义行为的场景
   只有当引用本身还在被使用，但它绑定的对象已经被销毁时，才会触发未定义行为。比如把这个引用传递给异步执行的任务（比如后台线程），此时msg可能在后台任务执行前就已经销毁，这时候才会出问题——但你的代码里是同步调用，完全不存在这个风险。

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