C++模板中&的作用解析：为何返回const T&会编译失败？

问题描述 #

以下两段C模板代码，第一段返回值为const T&时编译失败，第二段将返回值的&移除改为const T则可正常编译，请解释原因，同时说明&在C模板中的作用：

第一段代码（编译失败） #

template <typename T>
const T& longestOfTheThree(const T& a, const T& b, const T& c){
    T longest = a;
    if (longest.length < b.length){longest = b;}
    if (longest.length < c.length){longest = c;}
    return longest; 
}

第二段代码（编译正常） #

template <typename T>
const T longestOfTheThree(const T& a, const T& b, const T& c){
    T longest = a;
    if (longest.length < b.length){longest = b;}
    if (longest.length < c.length){longest = c;}
    return longest; 
}

原因解释 #

第一段代码编译失败的核心问题是返回了局部变量的引用：

• 函数内的longest是栈上的局部变量，函数执行完毕后，栈帧会被销毁，longest占用的内存会被系统回收。
• 返回const T&相当于返回这个已销毁变量的引用，这属于严重的未定义行为，编译器会直接报错拦截这种错误写法。

第二段代码改为返回const T后，执行的是值拷贝逻辑：

• 函数返回时，会把longest的值复制一份作为返回值，即使原局部变量被销毁，返回的拷贝仍然有效，因此编译器可以正常通过编译。

&在C++模板中的作用 #

在C模板里，&的作用和普通C代码一致，但结合泛型特性，主要有这几个关键用途：

• 参数传递优化：模板参数中的const T&用于传递参数，既能避免拷贝大对象（比如大型结构体、std::vector这类容器）带来的性能损耗，又能保证参数不会被函数修改，是泛型编程中提升性能的常用手段。
• 返回已有对象的引用：当模板函数需要返回一个生命周期长于函数本身的对象时（比如容器中的元素、类的成员变量），返回T&或const T&可以避免不必要的拷贝。但必须确保返回对象在函数调用结束后依然有效，否则会出现和第一段代码一样的悬空引用问题。
• 实现完美转发：结合&&（右值引用），模板中可以用T&&配合std::forward来保持参数的左值/右值属性，实现参数的完美转发，这在编写通用的泛型函数（比如工厂函数、包装函数）时非常有用。

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