今天在一个网站上(http://www.cppblog.com/kongque/archive/2010/12/20/137036.html)看到一篇文章，记录下来。
原帖：
各位请看下面的代码
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 }
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修饰符去掉，编译就不能通过，报错说没有匹配的函数，请问各位高手这是为什么？望指教。
评论
# 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引用来操作这个编译器生成的临时对象，那么结果是未定义的).
一个 非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++里面对这个问题讲得很清楚，自己找来看看吧。
评论