posts - 18,  comments - 104,  trackbacks - 0

有这样一段代码:注意 base 的定义!

 1 #include <iostream>
 2 
 3 using namespace std;
 4 
 5 class Base
 6 {
 7 public:
 8     typedef Base base;
 9     void f()
10     {
11         cout<<"Base::f()"<<endl;
12     }
13 };
14 
15 class A
16 {
17 public:
18     typedef A base;
19     void f()
20     {
21         cout<<"A::f()"<<endl;
22     }
23 };
24 
25 class B
26     : public A
27     , public Base
28 {
29 public:
30     B()
31     {
32         base::f();
33     }
34 };
35 
36 void main()
37 {
38     B b;
39 }

应该输出什么呢? 答案是: A::f()
如果把B的定义修改一下呢:

 1 class B
 2     : public Base
 3     , public A
 4 {
 5 public:
 6     B()
 7     {
 8         base::f();
 9     }
10 };

答案就是:Base::f()

当然按理说应该编译错误了,因为base这个符号已经在B里面ambiguous了。但是没有任何错误,任何警告。
而且base的定义和基类的声明顺序是相关的,注意观察修改前和修改后B的定义。

所以,在使用多重继承的时候,一定要注意基类中typedef的类型,因为它们是不可靠的,而且编译器也不会提醒你。它是和声明顺序相关的。不知道是不是我的C++编译器的bug。
我试过VS2005 和 VS2008

谢谢 路人丁的意见,是我措辞不当。
谢谢Sandy指出public的位置问题。
posted on 2009-04-09 23:40 尹东斐 阅读(1859) 评论(13)  编辑 收藏 引用

FeedBack:
# re: 为什么typedef的类型按照基类的声明顺序起作用?
2009-04-10 09:26 | 路人丁
请将 "不知道是不是C++的bug" 改为 “不知道是不是我所用C++编译器的bug”。
另外,如果你不反感的话,用g++(比如CodeBlocks)编译器试试。一般出现问题时,我会用VC2008和g++3.4.5(比较古老了)对比一下。  回复  更多评论
  
# re: 为什么typedef的类型按照基类的声明顺序起作用?
2009-04-10 09:58 | Sunshine Alike
VS2005 teamsuit 编译错误:
error C2248: 'A::base' : cannot access private typedef declared in class 'A'

如果使用CodeBlocks编译会有5个错误
error: 'base' has not been declared
error: reference to 'f' is ambiguous
error: candidates are: void Base::f()
error: void A::f()
error: 'f' was not declared in this scope
warning: unused variable 'f'
||=== Build finished: 5 errors, 1 warnings ===|

  回复  更多评论
  
# re: 为什么typedef的类型按照基类的声明顺序起作用?
2009-04-10 10:09 | Sandy
我也在vs2005下尝试了,编译的时候会有以下错误
error C2248: 'A::base' : cannot access private typedef declared in class 'A'

A中定义的时候,需要把
typedef A base; 定义为public.  回复  更多评论
  
# re: 为什么typedef的类型按照基类的声明顺序起作用?
2009-04-10 10:51 | 蚂蚁终结者
比较隐晦的问题。。。  回复  更多评论
  
# re: 为什么typedef的类型按照基类的声明顺序起作用?
2009-04-10 13:31 | 尹东斐
@路人丁
我尝试两个编译器VS2005 & VS2008,不知道你的编译器怎么样?  回复  更多评论
  
# re: 为什么typedef的类型按照基类的声明顺序起作用?
2009-04-10 13:33 | 尹东斐
@Sunshine Alike
不好意思,public 应该放前面。

codeblocks 的编译错误有点奇怪的说,因为private的东西对子类来说是可见的,就是是private的,也不至于'base' has not been declared,很奇怪。  回复  更多评论
  
# re: 为什么typedef的类型按照基类的声明顺序起作用?
2009-04-10 13:35 | 尹东斐
@Sandy

对的,我犯错误了。 public要放前面。
像Sunshine Alike的编译器报的错就有点奇怪,private指的是access不可见的。  回复  更多评论
  
# re: 为什么typedef的类型按照基类的声明顺序起作用?
2009-04-10 14:19 | pp
若用 老一点的版本 如VC6.0 来编译 则:
error C2385: 'B::base' is ambiguous
warning C4385: could be the 'base' in base 'A' of class 'B'
warning C4385: or the 'base' in base 'Base' of class 'B'  回复  更多评论
  
# re: 为什么typedef的类型按照基类的声明顺序起作用?
2009-04-10 16:35 | 陈梓瀚(vczh)
如果typedef不是类的接口的一部分(譬如那些iterator类型),那么都private掉。就不会产生这些问题了。  回复  更多评论
  
# re: 为什么typedef的类型按照基类的声明顺序起作用?
2009-04-10 17:19 | yindf
@pp

那老的版本都没有问题,为什么新的版本反而不好呢?很奇怪。  回复  更多评论
  
# re: 为什么typedef的类型按照基类的声明顺序起作用?
2009-04-10 17:24 | yindf
@陈梓瀚(vczh)

因为在模板元编程里面,基类的typedef必须是可靠的,很多时候,只能依赖typedef。

有了0x的conception以后就好多了。但是目前还没有。
所以如果VS2005,2008的typedef不可靠,那在扩展库的时候,不是会出问题呀。  回复  更多评论
  
# re: 为什么typedef的类型按照基类的声明顺序起作用?
2009-04-10 17:30 | yindf
@pp

主要是我觉得微软这么做,可能有他们的想法,这个很重要。  回复  更多评论
  
# re: 为什么typedef的类型按照基类的声明顺序起作用?
2009-04-17 15:19 | shi
error C2385: 'B::base' is
warning C4385: could be the 'base' in base 'A' of class 'B'
warning C4385: or the 'base' in base 'Base' of class 'B'
Error executing cl.exe.
我怎么就没编译过呢,ambiguous  回复  更多评论
  

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


<2024年4月>
31123456
78910111213
14151617181920
21222324252627
2829301234
567891011

常用链接

留言簿(4)

随笔档案

文章分类

文章档案

相册

好友博客

搜索

  •  

最新评论

阅读排行榜

评论排行榜