c++ inheritance -- 继承

c++ inheritance -- 继承

终于要决心弄明白继承了，以前仅限于大学时学习，以后工作也没有用，现在就依照（百度百科）文章写些测试的代码。

文章说

=============================

C++继承　　在C++语言中，一个派生类可以从一个基类派生，也可以从多个基类派生。从一个基类派生的继承称为单继承；从多个基类派生的继承称为多继承。 　　派生类的定义格式 　　单继承的定义格式如下： 　　class <派生类名>:<继承方式><基类名> 　　{ 　　<派生类新定义成员> 　　}; 　　其中，<派生类名>是新定义的一个类的名字，它是从<基类名>中派生的，并且按指定的<继承方式>派生的。<继承方式>常使用如下三种关键字给予表示： 　　public 表示公有基类； 　　private 表示私有基类； 　　protected 表示保护基类； 　　多继承的定义格式如下： 　　class <派生类名>:<继承方式1><基类名1>,<继承方式2><基类名2>,… 　　{ 　　<派生类新定义成员> 　　}; 　　可见，多继承与单继承的区别从定义格式上看，主要是多继承的基类多于一个。 　　如果省略继承方式，对'class'将采用私有继承，对'struct'将采用公有继承。 　　也就是说 　　class Base1{}; 　　struct Base2{}; 　　class Derive:Base1,Base2{}; 　　那么，Derive类将私有继承Base1,公有继承Base2。相当于: 　　class Derive:private Base1,public Base2{};派生类的三种继承方式　　公有继承(public)、私有继承(private)、保护继承(protected)是常用的三种继承方式。 　　1. 公有继承(public) 　　公有继承的特点是基类的公有成员和保护成员作为派生类的成员时，它们都保持原有的状态，而基类的私有成员仍然是私有的，不能被这个派生类的子类所访问。 　　2. 私有继承(private) 　　私有继承的特点是基类的公有成员和保护成员都作为派生类的私有成员，并且不能被这个派生类的子类所访问。 　　3. 保护继承(protected) 　　保护继承的特点是基类的所有公有成员和保护成员都成为派生类的保护成员，并且只能被它的派生类成员函数或友元访问，基类的私有成员仍然是私有的。 　　下面列出三种不同的继承方式的基类特性和派生类特性。 　　

	public	protected	private
公有继承	public	protected	不可见
私有继承	private	private	不可见
保护继承	protected	protected	不可见

　　为了进一步理解三种不同的继承方式在其成员的可见性方面的区别，下面从三种不同角度进行讨论。对于公有继承方式　　(1) 基类成员对其对象的可见性： 　　公有成员可见，其他不可见。这里保护成员同于私有成员。 　　(2) 基类成员对派生类的可见性： 　　公有成员和保护成员可见，而私有成员不可见。这里保护成员同于公有成员。 　　(3) 基类成员对派生类对象的可见性： 　　公有成员可见，其他成员不可见。 　　所以，在公有继承时，派生类的对象可以访问基类中的公有成员；派生类的成员函数可以访问基类中的公有成员和保护成员。这里，一定要区分清楚派生类的对象和派生类中的成员函数对基类的访问是不同的。对于私有继承方式　　(1) 基类成员对其对象的可见性： 　　公有成员可见，其他成员不可见。 　　(2) 基类成员对派生类的可见性： 　　公有成员和保护成员是可见的，而私有成员是不可见的。 　　(3) 基类成员对派生类对象的可见性： 　　所有成员都是不可见的。 　　所以，在私有继承时，基类的成员只能由直接派生类访问，而无法再往下继承。对于保护继承方式　　这种继承方式与私有继承方式的情况相同。两者的区别仅在于对派生类的成员而言，对基类成员有不同的可见性。 　　上述所说的可见性也就是可访问性。关于可访问性还有另的一种说法。这种规则中，称派生类的对象对基类访问为水平访问，称派生类的派生类对基类的访问为垂直访问。一般规则　　公有继承时，水平访问和垂直访问对基类中的公有成员不受限制； 　　私有继承时，水平访问和垂直访问对基类中的公有成员也不能访问； 　　保护继承时，对于垂直访问同于公有继承，对于水平访问同于私有继承。 　　对于基类中的私有成员，只能被基类中的成员函数和友元函数所访问，不能被其他的函数访问。 　　基类与派生类的关系 　　任何一个类都可以派生出一个新类，派生类也可以再派生出新类，因此，基类和派生类是相对而言的。基类与派生类之间的关系1. 派生类是基类的具体化　　类的层次通常反映了客观世界中某种真实的模型。在这种情况下，不难看出：基类是对若干个派生类的抽象，而派生类是基类的具体化。基类抽取了它的派生类的公共特征，而派生类通过增加行为将抽象类变为某种有用的类型。2. 派生类是基类定义的延续　　先定义一个抽象基类，该基类中有些操作并未实现。然后定义非抽象的派生类，实现抽象基类中定义的操作。例如，虚函数就属此类情况。这时，派生类是抽象的基类的实现，即可看成是基类定义的延续。这也是派生类的一种常用方法。3. 派生类是基类的组合　　在多继承时，一个派生类有多于一个的基类，这时派生类将是所有基类行为的组合。 　　派生类将其本身与基类区别开来的方法是添加数据成员和成员函数。因此，继承的机制将使得在创建新类时，只需说明新类与已有类的区别，从而大量原有的程序代码都可以复用，所以有人称类是“可复用的软件构件”。继承成员的调整1．恢复访问控制方式　　访问声明采用作用域"::" ，它的一般形式为：基类名::成员名;。在派生类的类界面中，将这些访问声明放在合适的访问控制保留字之后，从而改变在派生类中该成员的访问控制方式。2．继承成员的重定义　　如果在派生类中定义了一个函数原型与继承成员函数一模一样的成员函数，则该函数实现的函数体是对继承成员函数的重定义。

=============================

代码

1. #include <iostream>
2. #include <cstring>
3. #include <string>
4.  
5. using namespace std;
6.  
7. enum e_zoo_obj_kind{
8.         null = 0,
9. #define zk_null (e_zoo_obj_kind(null))
10.         no = 0,
11. #define zk_no (e_zoo_obj_kind(no))
12.         animal = 1,
13. #define zk_animal (e_zoo_obj_kind(animal))
14.         plant = 2,
15. #define zk_plant (e_zoo_obj_kind(plant))
16.         others = 3,
17. #define zk_others (e_zoo_obj_kind(others))
18.         max = 4
19. #define zk_max 4
20.  
21. };
22.  
23. static const char * g_zk_str [zk_max ] ={
24.         "null",
25.         "animal",
26.         "plant",
27.         "others"
28. };
29.  
30. #define NEW_LINE std::cout<<"\n"
31.  
32. static unsigned int g_msg_id = 0;
33.  
34. enum e_msg_type{
35.         mt_fatal = 0, //0
36.         mt_notice,
37.         mt_debug,
38.         mt_info ,
39.         mt_ignore, // 4
40.         mt_max // 5
41. #define MSG_TYPE_MAX 5
42. };
43.  
44. static const char *g_msg_type_str[MSG_TYPE_MAX] = {
45.         "FATAL",
46.         "NOTICE",
47.         "DEBUG",
48.         "INFO",
49.         "IGNORE"
50. };
51.  
52.  
53.  
54. class Message{
55.         private:
56.                 unsigned int id;
57.         protected:
58.                 e_msg_type type;
59.         public:
60.                 string msg;
61.         public:
62.                 Message():id(++g_msg_id),type(mt_ignore),msg("null"){}
63.                 Message(e_msg_type t, string m):type(t),msg(m),id(++g_msg_id){}
64.  
65.                 Message &set_type(e_msg_type t){ type = t; return *this; }
66.                 e_msg_type get_type(){ return type; }
67.  
68.                 Message &set_msg(string m){msg = m; return *this; }
69.  
70.                 Message &print(void){
71.                         cout << "Msg:"
72.                                 << "id-" << id
73.                                 << ",type-" << g_msg_type_str[type]
74.                                 << ",msg-" << msg << endl;
75.                         return *this;
76.                         }
77.  
78. };
79.  
80.  
81. class Obj{
82.         private:
83.                 char name [40];
84.         public:
85.                 Obj() { strcpy(name,"null") ;}
86.                 Obj(char *nm){
87.                         strncpy(name,!nm?"null":nm,sizeof(name));
88.                 }
89.                 void say(){
90.                         cout << "name:" << name << endl;
91.                 }
92.                 void say(Obj *obj){
93.                         !obj
94.                                 ? cout << "null\n"
95.                                 : cout << "name:" << obj->name << endl;
96.                 }
97.                 void set_name(char *nm){
98.                         !nm ?"": strncpy(name,nm,sizeof(name));
99.                 }
100.                 char *get_name(void) {return name;}
101.  
102. };
103.  
104.  
105. class Zoo_obj:public Obj{
106.         private:
107.                 e_zoo_obj_kind kind;
108.         public:
109.                 Zoo_obj():Obj(),kind(null) {}
110.                 Zoo_obj(char *nm, e_zoo_obj_kind k):Obj(nm),kind(k){
111.                 }
112.                 void say(void){
113.                         cout << "Zoo_obj::";
114.                         Obj::say();
115.                         cout << "kind:" << g_zk_str[kind] << endl;
116.                 }
117.                 void say(Zoo_obj &obj){
118.                         cout << "Zoo_obj::";
119.                         Obj::say();
120.                         cout << "kind:" << g_zk_str[obj.kind] << endl;
121.  
122.                 }
123.                 e_zoo_obj_kind get_kind(){ return kind; }
124.                 Zoo_obj &set_kind(e_zoo_obj_kind k){
125.                          kind = k;
126.                          return *this;
127.                 }
128.                 Zoo_obj &print_kind(){
129.                         cout << "kind:" << g_zk_str[kind] << endl;
130.                          return *this;
131.                 }
132. };
133.  
134.  
135. class Animal:public Zoo_obj{
136.         private:
137.                 int lags;
138.         public:
139.  
140.                 Animal(char *nm, int l) :lags(l),Zoo_obj(nm,animal){ }
141.  
142.                 void say(){
143.                         Obj::say();
144.                         Zoo_obj::say();
145.                         cout << "lag:" << lags << endl;
146.                 }
147. };
148.  
149.  
150. class Plant:public Obj, protected Message{
151.         private:
152.                 union {
153.                         unsigned int property;
154.                         struct{
155.                         unsigned int
156.                                 hasleaf:1,
157.                                 hasflower:1,
158.                                 hastrunk:1,
159.                                 hasrattan:1,
160.                                 private1:1,
161.                                 private2:1;
162.                                 };
163.                 };
164.         public:
165.  
166.                 Plant():Obj(),property(0){ }
167.  
168.                 Plant &set_leaf(bool has) {hasleaf = has; return *this;}
169.                 Plant &set_flower(bool has) {hasflower = has; return *this;}
170.                 Plant &set_trunk(bool has) {hastrunk = has; return *this;}
171.                 Plant &set_rattan(bool has) {hasrattan = has; return *this;}
172.  
173.                 bool has_leaf(){return hasleaf ;}
174.                 bool has_flower(){return hasflower ;}
175.                 bool has_trunk(){return hastrunk ;}
176.                 bool has_rattan(){return hasrattan;}
177.  
178.  
179.                 Plant & print(void){
180.                         Obj::say();
181.                         cout << "has leaf:" << hasleaf << endl;
182.                         cout << "has flower:" << hasflower << endl;
183.                         cout << "has trunk:" << hastrunk << endl;
184.                         cout << "has rattan:" << hasrattan << endl;
185.                         return *this;
186.                 }
187. };
188.  
189.  
190.  
191. int main(void){
192.  
193.         Zoo_obj obj = Zoo_obj( "cat", e_zoo_obj_kind(animal));
194.         obj.say(); //inherit from Obj in public-style
195.         NEW_LINE;
196.  
197.         obj.print_kind().set_kind(no).print_kind(); //series invoking
198.         NEW_LINE;
199.  
200.         Plant peony;
201.         peony.set_name("peony"); // Obj::set_name()
202.         peony.set_leaf(true).set_flower(true).print();
203.         NEW_LINE;
204.  
205.         Animal dog ("joel's dog",4); // say by its father and grandfather
206.         dog.say();
207.         dog.set_name("black dog") ;
208.         /* Obj::set_name if Zoo_obj was
209.         described by protect, the assembler would show
210.         "error: ‘void Obj::set_name(char*)’ is inaccessible"
211.         */
212.  
213.         NEW_LINE;
214.  
215. test_Mesaage:
216.         Message msg;
217.         msg.print();
218.         NEW_LINE;
219.  
220. test_sizeof:
221.         cout << "sizeof these:"
222.              << "\nObj: " << sizeof(Obj)
223.              << "\nMessage: " << sizeof(Message)
224.              << "\nZoo_obj: " << sizeof(Zoo_obj) << "\t:Obj + enum"
225.              << "\nAnimal: " << sizeof(Animal) << "\t:Zoo_obj + int"
226.              << "\nPlant: " << sizeof(Plant) << "\t:Obj,Message + union\n";
227.  
228. }

结果

1. Zoo_obj::name:cat
2. kind:animal
3.  
4. kind:animal
5. kind:null
6.  
7. name:peony
8. has leaf:1
9. has flower:1
10. has trunk:0
11. has rattan:0
12.  
13. name:joel's dog
14. Zoo_obj::name:joel's dog
15. kind:animal
16. lag:4
17.  
18. Msg:id-2,type-IGNORE,msg-null
19.  
20. sizeof these:
21. Obj: 40
22. Message: 12
23. Zoo_obj: 44 :Obj + enum
24. Animal: 48 :Zoo_obj + int
25. Plant: 56 :Obj,Message + union

从test_sizeof段中可以看出，一个类（eg. O）的大小会是他本身和他的祖先(A)大小的和，我真看不出这有什么好，假设他protected继承(P)，他的子孙(S)就不能从他的祖先（P）中得到好处，除了徒增自身大小。

 

还有，用gdb调试可以清楚的看到，在继承时自身空间的排列，先是祖先的空间分配，接着是自身的成员。千万不能简单的在成员函数中像c一样初始化 

1. memset(this,0,sizeof(class ONESEL));

这样真的就**了，我就犯了混，因为继承，使他隐藏的太深了。

这里没有涉及到友元函数，虚函数。

明天吧，在写点测试代码。