孔雀开发小屋

专注并致力于手机客户端开发
<2011年5月>
24252627282930
1234567
891011121314
15161718192021
22232425262728
2930311234

统计

  • 随笔 - 103
  • 文章 - 0
  • 评论 - 251
  • 引用 - 0

常用链接

留言簿(38)

随笔分类

随笔档案

关注的博客

朋友的博客

搜索

  •  

最新评论

阅读排行榜

评论排行榜

C++的一个疑惑
各位请看下面的代码
 1 struct A {};
 2 
 3 struct B
 4 {
 5 public:
 6     B(){}
 7     B(A& a){}
 8 };
 9 
10 struct B1 : public B
11 {
12 public:
13     B1(const B& b) : B(b)
14     {}
15 };
16 
17 int main()
18 {
19     A a;
20     B1 b1(a);
21 
22     return 0;
23 }

上面的代码可以编译通过(gcc和vs2005下均测试通过),但是如果我将第13行的const修饰符去掉,编译就不能通过,报错说没有匹配的函数,请问各位高手这是为什么?望指教。

posted on 2010-12-20 21:15 孔雀 阅读(2586) 评论(12)  编辑 收藏 引用 所属分类: C/C++

评论

# re: C++的一个疑惑 2010-12-20 22:04 keane

非const的引用参数只能是相同类型,const的引用参数可以传相关类型的参数进来
  回复  更多评论    

# re: C++的一個疑惑 2010-12-20 22:22 路人

加上const 才能接受"右值(right value)"引用
  回复  更多评论    

# re: C++的一个疑惑 2010-12-20 22:37 Rollen Holt

受教
  回复  更多评论    

# re: C++的一个疑惑 2010-12-20 22:43 luckycat

B(A& a){} 不但是一个构造函数,而且是一个自定义的类型转换操作( A -> B),你的问题有出在这里,如果要去掉这种非有意的自定义类型转换,使用 explicit B(A& a){}。

一个 非const引用,只能引用与其类型完全相同的对象,或者是其派生类的对象 ,所以 B &refB = objectB ; B &refB = objectB1 都是合法的,但是 B &refB = objectA 就不是合法的
,因为 A 与 B的类型不相同,且不是B的派生类,所以编译时会报错,于是 " B1( 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;


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

# re: C++的一个疑惑 2010-12-20 22:48 Rollen Holt

如果楼主想看同类问题的话可以去我的博客:http://www.cnblogs.com/rollenholt/articles/1912141.html
希望对你有帮助
  回复  更多评论    

# re: C++的一个疑惑 2010-12-20 23:06 xyfor1234

B(A& a){}是一个隐式的类型转换函数,当执行B1 b1(a)时会自动调用这个函数将a转换成B类型的临时对象b。这种系统自动生成的临时对象都是const的,而const对象是无法转换成非const对象的,所以B1(const B& b) : B(b)这里一定要加const.effective C++里面对这个问题讲得很清楚,自己找来看看吧。
  回复  更多评论    

# re: C++的一个疑惑 2010-12-21 11:10 kongque

谢谢大家。我明白了。
  回复  更多评论    

# re: C++的一个疑惑 2010-12-21 11:12 kongque

@luckycat
非常感谢这么详尽的回复,受教了。
  回复  更多评论    

# re: C++的一个疑惑 2010-12-21 11:22 f

关键在于,要进行类型转换(将A转为B)生成一个 B类 的临时对像。
C++中对临时对像只能 const引用,而禁止直接引用(不允许直接修改临时对像)。
  回复  更多评论    

# re: C++的一个疑惑[未登录] 2010-12-24 14:10 vincent

俺也受教了:)
  回复  更多评论    

# re: C++的一个疑惑 2011-01-26 09:27 loop

临时对象,右值引用。呵呵。。
  回复  更多评论    

# re: C++的一个疑惑 2012-09-21 19:20 雨花石shine

你那个是一个拷贝构造函数了吧,如果不用const好像会有一个自拷贝出现,到时候析构函数析构的时候会在同一个地方析构两次,所有会报错,用const的用处实际上很多的时候是防止自拷贝的出现。
  回复  更多评论    

只有注册用户登录后才能发表评论。
网站导航: 博客园   IT新闻   BlogJava   知识库   博问   管理