为何临时对象可绑定const引用？参数传递与生命周期疑问

这其实是C++标准特意设计的规则，咱们从几个角度慢慢拆解：

先搞懂：为什么不能绑定到非const引用？ #

非const引用的核心语义是「我要修改这个对象」，但临时对象是匿名的、瞬间创建的临时值——你修改它的话，修改完就没地方复用这个结果，完全没有意义，甚至大概率是程序员的误操作。所以标准直接禁止了这种绑定，从根源上避免写出无意义或错误的代码。

那const引用为什么被允许？ #

const引用的语义是「我只读这个对象，绝对不会修改它」，这时候绑定临时对象就完全合理了：既可以避免不必要的对象拷贝（直接复用临时对象的内存空间），又不会有修改临时对象的风险。标准允许这种绑定，本质是在保证安全的前提下，最大化提升代码的执行效率。

正常情况下，临时对象的生命周期只到创建它的完整表达式结束（简单说就是一行代码执行完毕），比如：

{
    Vector(1,2); // 临时对象创建后，这行代码结束就立刻被销毁
}

但当临时对象被绑定到const引用时，标准会把它的生命周期延长到和这个引用的生命周期一致——直到引用离开它的作用域，临时对象才会被销毁。举个实际的例子：

void func() {
    const Vector& v = Vector(1,2);
    // 这里v可以正常使用，临时对象还活着
    cout << v.x << endl; // 完全合法
} // 这里引用v出了作用域，临时对象才跟着被销毁

回到你提到的DrawLine场景：

DrawLine(const Vector& v1, const Vector& v2);
// 调用时传入临时对象
DrawLine(Vector(0,0), Vector(100,100));

这里的两个临时Vector对象，会被绑定到v1和v2这两个const引用上，它们的生命周期会被延长到DrawLine函数执行的整个过程——函数运行期间都能正常使用这两个临时对象，函数返回后才会被销毁。

当临时对象作为参数传递给const引用形参时，它的作用域其实是被“挂靠”到了引用的作用域上：

• 临时对象在函数调用的瞬间创建，
• 在函数执行的整个过程中都保持有效，
• 函数执行完毕、回到调用点后，临时对象才会被销毁。

如果是非const引用的话，编译器直接会抛出错误——毕竟你没法修改一个马上就要消失的临时对象，也不该有这样的操作意图。

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