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

简介:

先看代码:

复制代码
 1 #include <iostream>
 2 using namespace std;
 3 
 4 class A {};
 5 
 6 class B
 7 {
 8   public:
 9       B(){}
10       B(A& a){}
11 };
12 
13 class B1: public B
14 {
15  public:
16      B1(const B& b) : B(b)
17      {}
18 };
19 
20 int main()
21 {
22      A a;
23      B b(a);
24      B1 b1(a);
25      return 0;
26 }
复制代码

上面的代码可以编译通过(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
相关文章
|
1月前
|
算法 程序员 C语言
【C++ 随机数分布类型 】深入探索C++随机数分布:原理、应用与实践(二)
【C++ 随机数分布类型 】深入探索C++随机数分布:原理、应用与实践
56 0
【C++ 随机数分布类型 】深入探索C++随机数分布:原理、应用与实践(二)
|
1月前
|
算法 编译器 数据库
【C++ 泛型编程 高级篇】使用SFINAE和if constexpr灵活处理类型进行条件编译
【C++ 泛型编程 高级篇】使用SFINAE和if constexpr灵活处理类型进行条件编译
246 0
|
1月前
|
机器学习/深度学习 算法 编译器
【C++ 泛型编程 中级篇】深度解析C++:类型模板参数与非类型模板参数
【C++ 泛型编程 中级篇】深度解析C++:类型模板参数与非类型模板参数
47 0
|
1月前
|
设计模式 程序员 C++
【C++ 泛型编程 高级篇】C++模板元编程:使用模板特化 灵活提取嵌套类型与多容器兼容性
【C++ 泛型编程 高级篇】C++模板元编程:使用模板特化 灵活提取嵌套类型与多容器兼容性
259 2
|
1月前
|
存储 JSON 安全
【C++ 泛型编程 综合篇】泛型编程深度解析:C++中的五种类型泛型策略综合对比
【C++ 泛型编程 综合篇】泛型编程深度解析:C++中的五种类型泛型策略综合对比
65 1
|
10天前
|
存储 编译器 C++
【C++成长记】C++入门 | 类和对象(中) |拷贝构造函数、赋值运算符重载、const成员函数、 取地址及const取地址操作符重载
【C++成长记】C++入门 | 类和对象(中) |拷贝构造函数、赋值运算符重载、const成员函数、 取地址及const取地址操作符重载
|
16天前
|
编译器 C++
|
30天前
|
设计模式 安全 C++
【C++ const 函数 的使用】C++ 中 const 成员函数与线程安全性:原理、案例与最佳实践
【C++ const 函数 的使用】C++ 中 const 成员函数与线程安全性:原理、案例与最佳实践
71 2
|
1月前
|
算法 测试技术 编译器
【C++ 基本类型 bool 】深入探索C++中的布尔类型Boolean(二 )
【C++ 基本类型 bool 】深入探索C++中的布尔类型Boolean
27 0
|
1月前
|
程序员 编译器 C语言
【C++ 基本类型 bool 】深入探索C++中的布尔类型Boolean(一)
【C++ 基本类型 bool 】深入探索C++中的布尔类型Boolean
40 0