为什么c++不允许将临时对象赋给非常量引用？

tianqio

假设A是一个用默认构造函数的类
const A& a = A() //合法
A& a = A()          //不合法

我的理解是把一个临时变量赋给引用后，这跟定义了一个有命变量就没有区别，为什么不允许赋给非常量的引用呢？
求达人答疑
谢谢。

antigloss

read C++ Primer

zwylinux

因为临时变量是const的

tianqio

为什么c++要规定临时变量是const的呢？我觉得在表达式里生成的临时变量可以是const的，但是如果是把临时变量赋给一个引用就没必要是const的了，不知道语言设计的时候是基于什么考虑的？疑惑中...

namtso

以C++的语义来说，如果一个程序员只想传递参数给函数，而不希望函数修改传入的参数时，那么，或者使用值传递，或者采用常量型引用。考虑到大对象复制时产生的开销，一般使用常量型引用const &。如果函数的参数是某个类型的一个非常量的引用，那就相当于告诉编译器，程序员希望得到函数对参数的修改结果。
临时变量是由编译器生成的，C++语言规范没规定编译器生成临时变量的规则，程序员无法得知由编译器生成的临时变量的名字，程序员无法访问那个临时变量。这意味着，以引用的方式传递一个临时变量做为函数参数，如果函数内部对此临时变量做了修改，那么函数返回后，程序员无法获得函数对临时变量的修改。函数对临时变量所做出的所有更改，都将丢失。
一方面，在函数申明中，使用非常量型的引用告诉编译器你需要得到函数对某个对象的修改结果，可是你自己又不给变量起名字，直接丢弃了函数的修改结果，编译器只能说：“大哥，你这是干啥呢，告诉我把结果给你，等我把结果给你了，你又直接给扔了，你这不是在玩我吗？”

tianqio

string& make_upper(string& s){
    transform(s.begin(),s.end(),::toUpper());
    return s;
}

string& s = make_upper(string("hello,world"));  //1
char text[] = "hello,world";                     
make_upper(text);                               //2

第一条语句是有意义的。
第二条语句可能有问题，在参数传递时会生成一个临时变量，函数对临时变量进行修改而没有修改text。规定临时变量只能赋给是const 引用是因为这个原因吗？因为这样，在编译的时候就可以发现这个问题。

whyglinux

原帖由 zwylinux 于 2007-9-19 22:50 发表
因为临时变量是const的

这是一种常见的误解。然而，临时对象 A() 可不是 const 的，因为 A() = A() 是合法的表达式。

关于什么时候进行常量引用，可参考我在这个帖子中的说明：http://bbs.chinaunix.net/viewthread.php?tid=939006

liu1061

原帖由 zwylinux 于 2007-9-19 22:50 发表
因为临时变量是const的

正解!

tyc611

原帖由 liu1061 于 2007-10-1 11:59 发表

正解!

看你LS的帖