const引用绑定纯右值时临时对象生命周期延长至引用作用域结束；仅适用于const左值引用的直接初始化，不适用于隐式转换链中间对象或函数局部变量。
const 引用绑定临时对象会延长其生命周期
当 const T& 绑定到一个纯右值（如字面量、函数返回的临时对象）时，C++ 标准规定该临时对象的生命周期会被延长至引用的作用域结束。这不是“复制”，也不是“优化”，而是明确的语义规则。
关键点：只对 const 左值引用有效；const T&& 或非 const 引用不触发此规则；且仅适用于直接初始化（不是拷贝初始化中的隐式转换链中间环节）。
- ✅ 正确延长：
T obj = make_T(); const T& r = obj; // 不是临时对象，不涉及延长
const T& r = T{}; // ✅ 临时对象 T{} 生命周期延长至 r 作用域末尾 - ❌ 不延长（常见陷阱）：
const T& r = func_that_returns_T(); // ✅ 延长（func 返回临时对象）
const T& r = static_cast
(42); // ✅ 延长（static_cast 产生临时对象） auto&& r = T{}; // ✅ 延长（万能引用，绑定临时对象时等价于 const T&&？错！C++17 起，绑定临时对象的auto&&同样延长生命周期）T&& r = T{}; // ✅ C++11 起也延长（右值引用绑定临时对象同样延长）const T& r = get_string() + "suffix"; // ✅ 延长：operator+ 返回临时 std::string
延长只作用于“最外层”临时对象，不递归
如果表达式构造了多个嵌套临时对象，只有最直接绑定的那个被延长；其他中间临时对象仍按原规则析构。
典型陷阱出现在隐式类型转换链中：
struct A { A(int) {} };struct B { operator A() const { return A{42}; } };const A& r = B{}; // ❌ 危险！B{} 构造临时 B，其 operator A() 返回临时 A，但该 A 不被延长——它在完整表达式结尾就销毁，r 成为悬垂引用- 原因：
B{}是临时对象，但它不是A类型；operator A()的返回值才是A临时对象，而这个返回值没有被任何引用“直接绑定”，它只是转换过程的中间结果。 - 编译器通常不报错，运行时表现为未定义行为（如读到垃圾值或崩溃）。
函数返回局部对象时，const 引用绑定不会延长其生命周期
这是另一个高频误解：以为 const T& r = f(); 中，f() 内部的局部对象会被延长。实际完全相反——延长规则不穿透函数边界。
T f() { T local; return local; } // 返回时 copy/move，local 在 f() 结束时销毁const T& r = f(); // r 绑定的是 f() 返回的临时对象（即 move/copy 构造出的那个），这个临时对象才被延长 ✅
- 但如果
f()返回的是局部变量的引用（比如return local;且local是局部对象），那本身就是悬垂引用，延长规则不救火。 - 注意：返回局部对象本身（非引用）是安全的，因为 NRVO 或移动语义保证效率；延长的是那个返回值临时对象，不是函数栈上的
local。
lambda 捕获和类成员初始化中的陷阱
延长规则在 lambda 和构造函数成员初始化器中容易被忽略，尤其涉及隐式转换或复合表达式时。
auto l = [r = std::string{"hello"}]() { return r.size(); }; // ✅ r 是值捕获，string 临时对象被移动进 l，生命周期由 l 管理auto l
= [r = std::string{"hello"}]()->const std::string& { return r; }; // ❌ 危险！返回局部成员的 const 引用，但 r 是值，返回的是 r 的引用，没问题；但如果写成 [r = std::string{"hello"}]()->const std::string& { return std::string{"world"}; }，则返回的临时 string 不被延长
- 类内
const T&成员不能用临时对象初始化（编译报错），必须绑定到生存期更长的对象，例如：struct S { const std::string& s; S() : s(std::string{"hi"}) {} }; // ❌ 编译失败：不能用临时对象初始化引用成员struct S { const std::string& s; S(const std::string& x) : s(x) {} }; // ✅ 必须传入已存在的对象
