C++中的临时对象都是const类型

先看代码：

上面的代码可以编译通过（gcc和vs2005下均测试通过），但是如果将第16行的const修饰符去掉，编译就不能通过，报错说没有匹配的函数，这是为什么？ 

分析：非const的引用参数只能是相同类型，const的引用参数可以传相关类型的参数进来，加上const才能接受"右值(right value)"引用。b(a& a){} 不但是一个构造函数，而且是一个自定义的类型转换操作(a->b)，如果要去掉这种非有意的自定义类型转换，使用 explicit b(a& a){}。

b(a& a){}是一个隐式的类型转换函数，当执行b1 b1(a)时会自动调用这个函数将a转换成b类型的临时对象b。这种系统自动生成的临时对象都是const的，而const对象是无法转换成非const对象的，所以b1(const b& b):b(b)这里一定要加const.

一个非const引用，只能引用与其类型完全相同的对象，或者是其派生类的对象，如：

b & refb = objectb ; b & refb = objectb1 都是合法的，但是 b & refb = objecta 就不是合法的

因为 a 与 b的类型不相同，且不是b的派生类，所以编译时会报错，于是 "a a; b1 b1(a)" 就不能通过，简化一下就相当于" b & b = a".

一个const引用满足非const引用的特性的同时，还有很重要的一点，const引用可以引用一个与其类型完全不相同的类型(因为编译器会生成一个转换后可引用的临时对象)，前提是被引用的类型可以转换为引用的类型(编译器自定义的类型提升，或者是用户自定义的类型转换，如上面的 b(a& a) )

举个例子: 

const int & ivalue = 3.14; 就是ok的，这里使用编译器内部的类型转换 double -> int.

const b & b = a; 也是ok的，因为使用 b( a &a) 可以将 a->b ，于是 const b &b = a; 的背后，编译器所做的就是:

const b tempb( a ); //调用 b( a &a) 

const b &b = tempb;

ps: 为什么在const引用情况下，编译器会生成一个可被引用的临时对象，原因很简单，你是用一个const引用来操作这个临时对象，所以，这个临时对象的状态是不会变的，也就是安全的(当然，如果你把const引用const_cast成一个非const引用来操作这个编译器生成的临时对象，那么结果是未定义的).

const &是可以重新构造临时对象，非const &不可以，如果编译器不设这个限制，那么将有十分古怪的结果发生，会发生编译器自己构造一个对象，对它进生一系列复杂的操作之后扔掉，这一般不是程序员要做的事。因此，c++一般规定，编译器自行构造的临时对象一定是const的。

more effective c++里面对这个问题讲得很清楚（m19：理解临时对象的来源）

下面还有一个小例子：

string foo( );

void bar(string & s); 

那么下面的表达式将是非法的： 

bar(foo( ));

bar("hello world"); 

原因在于 foo( ) 和 "hello world" 串都会产生一个临时对象，而在 c++ 中，这些临时对象都是const 类型的。因此上面的表达式就是试图将一个 const 类型的对象转换为非 const 类型，这是非法的。引用型参数应该在能被定义为 const 的情况下，尽量定义为const的。

本文版权归作者和博客园共有，欢迎转载，但未经作者同意必须保留此段声明，且在文章页面明显位置给出原文连接，否则保留追究法律责任的权利。

http://www.cnblogs.com/luxiaoxun/archive/2012/08/03/2622193.html