c++中临时变量不能作为非const的引用参数

试看下面的代码：

#include <iostream>
using namespace std;

void f(int &a) 
{
  cout << "f(" << a  << ") is being called" << endl;
}

void g(const int &a)
{
  cout << "g(" << a << ") is being called" << endl;
}

 int main()
 {
    int a = 3, b = 4;
    f(a + b);  //编译错误，把临时变量作为非const的引用参数传递了
    g(a + b);  //OK，把临时变量作为const&传递是允许的
}

上面的两个调用之前，a+b的值会存在一个临时变量中，当把这个临时变量传给f时，由于f的声明中，参数是int&，不是常量引用，所以产生以下编译错误：

const_ref.cpp: In function `int main()':
const_ref.cpp:14: error: invalid initialization of non-const reference of type '
   int&' from a temporary of type 'int'
const_ref.cpp:4: error: in passing argument 1 of `void f(int&)' 

而在g(a+b)中，由于g定义的参数是const int&，编译通过。 问题是为什么临时变量作为引用参数传递时，必须是常量引用呢？很多人对此的解释是临时变量是常量，不允许赋值，改动，所以当作为非常量引用传递时，编译器就会报错。这个解释在关于理解临时变量不能作为非const引用参数这个问题上是可以的，但不够准确。

参考：

所以，临时变量不能作为非const引用参数，不是因为他是常量，而是因为c++编译器的一个关于语义的限制。如果一个参数是以非const引用传入，c++编译器就有理由认为程序员会在函数中修改这个值，并且这个被修改的引用在函数返回后要发挥作用。但如果你把一个临时变量当作非const引用参数传进来，由于临时变量的特殊性，程序员并不能操作临时变量，而且临时变量随时可能被释放掉，所以，一般说来，修改一个临时变量是毫无意义的，据此，c++编译器加入了临时变量不能作为非const引用的这个语义限制，意在限制这个非常规用法的潜在错误。