文章目录
1. 继承的概念及定义
1. 继承的概念
继承(inheritance)机制是面向对象程序设计使代码可以复用的最重要的手段,它允许程序员在保持原有类特性的基础上进行扩展,增加功能,这样产生新的类,称派生类。继承呈现了面向对象程序设计的层次结构,体现了由简单到复杂的认知过程。以前我们接触的复用都是函数复用,继承是类设计层次的复用
举个例子,假设有这样一个场景,我们需要做一个面向整个学校里所有人的系统,那么系统的使用者就有很多身份,比如说学生、老师等,我们会发现,可能很多变量的定义是重复的,比如姓名,年龄等,所以可以抽象出一个类表示人的特征
2. 继承的定义
那么我们如何用代码的方式表现出继承呢?
class Person
{
public:
void print()
{
cout << "name:" << _name << endl;
cout << "age:" << _age << endl;
}
protected:
string _name = "zht";//姓名
int _age = 18;//年龄
};
class student : public Person
{
protected:
int _stuid;//学号
string _major;//专业
};
class teacher : public Person
{
protected:
int _jobid;//工号
};
那么继承了之后,子类是什么样子的呢?
可以看到,父类的成员子类在子类中都会存在,而且子类能够调用父类中的成员函数。那么这个调用的规则是怎么样的?是不是父类所有的成员子类都能够调用?
3. 继承关系和访问限定符
在博文类和对象(上)中我们了解到在定义类的时候,访问限定符有public
,protected
,private
三种,现在继承关系也是这三种情况。在之前的学习中,我们只关注到public和private两种访问限定符,而且对于之前,我们说private和protected没有区别,那么private和protected的区别在哪里呢?区别就在继承上。
基类成员继承后在派生类中的访问权限
类成员/继承方式 | public继承 | protected继承 | private继承 |
---|---|---|---|
基类的public成员 | 相当于派生类的public成员 | 相当于派生类的protected成员 | 相当于派生类的private成员 |
基类中的protected成员 | 相当于派生类中的protected成员 | 相当于派生类中国的protected成员 | 相当于派生类中的private成员 |
基类中的private成员 | 在派生类中不可见 | 在派生类中不可见 | 在派生类中不可见 |
上面那个表看起来太复杂了,而且很多其实都用不上,所以,我们来总结一下其中重点
基类中的private成员无论采用何种继承方式,在派生类中始终是不可见的。
注意:这里的不可见代表的是不能访问类成员,而不是不被继承下来。基类的所有成员都是被继承下来的,但是语法上限制了访问操作,就像在类外不能访问private和protected修饰的成员一样
如果想要使基类中的成员在派生类中能够被访问,但是在类外不能被访问,就需要使用protected修饰,这就是protected出现的原因
基类成员在派生类中的访问权限可以使用一个公式推导:
前提:public > protected > private
,最终的访问权限为min(基类成员的访问限定符,继承方式)
。在继承的时候,可以不显示写出继承方式。使用class修饰派生类的时候,默认的继承方式为private,使用struct修饰派生类的时候,默认继承方式为public。
在实际使用中,一般的继承方式都是public。不提倡使用protected/private继承,因为protetced/private继承下来的成员都只能在派生类的类里面使用,实际中扩展维护性不强
2. 基类和派生类对象赋值转换
我们知道,在C++中,如果想将一个int类型的数据赋值给一个double类型,其中的过程是会产生一个int类型的临时变量,中间会经历隐式类型转换这个过程。但是当把一个派生类对象赋值给一个基类对象的时候,就不会出现隐式类型转换,可以直接赋值。这里有个形象的说法叫做切片或者切割。
我们看下面一段代码
class Person
{
public:
void print()
{
cout << "name:" << _name << endl;
cout << "age:" << _age << endl;
}
protected:
string _name = "zht";//姓名
int _age = 18;//年龄
};
class student : public Person
{
public:
int _stuid = 1111111;//学号
string _major = "CST";//专业
};
void Test2()
{
student s;
//1.子类对象赋值给父类:对象/指针/引用
Person p = s;
Person* pp = &s;
Person& rp = s;
//2.基类对象不能赋值给派生类对象
s = p;
//3.基类的指针可以通过强制类型转换赋值给派生类的指针
pp = &s;
student* ps1 = (student*)pp; // 这种情况转换时可以的。
ps1->_stuid = 10;
pp = &p;
student* ps2 = (student*)pp; // 这种情况转换时虽然可以,但是会存在越界访问的问题
ps2->_stuid = 10;
}
- 派生类对象可以向上赋值给基类对象/基类指针/基类引用
- 基类对象不能向下赋值给派生类
- 基类的指针或者引用可以通过强制类型转换赋值给派生类的指针或者引用。但是必须是基类的指针是指向派生类对象时才是安全的。这里基类如果是多态类型,可以使用RTTI(RunTime Type Information)的dynamic_cast 来进行识别后进行安全转换
3. 继承中的作用域
- 在继承体系中,基类和派生类都有独立的作用域
- 如果出现派生类和基类中有同名成员的情况,派生类成员将屏蔽对基类成员的直接访问,这种情况叫做隐藏(重定义)。如果需要访问基类成员,可以采用
基类::基类成员
的方式显示访问。- 对于成员函数,只要函数名相同就构成隐藏
- 在实际应用中,继承体系里最好不要定义同名成员
class Person
{
public:
void print()
{
cout << "name:" << _name << endl;
cout << "age:" << _age << endl;
}
protected:
string _name = "zht";//姓名
int _age = 18;//年龄
int _num = 22222;
};
class student : public Person
{
public:
int _stuid = 1111111;//学号
string _major = "CST";//专业
int _num = 666;
};
void Test3()
{
student s;
cout << s._num << endl;
}
经典笔试题
class A { public: void fun() { cout << "A::fun()" << endl; } }; class B : public A { public: void fun(int i) { cout << "B::fun(int i)" << i << endl; } }; void Test4() { B b; b.fun(); }
❓上述两个fun函数是什么关系,重载?重写?隐藏?编译报错?
✅看到两个函数名相同,参数不同,很多人都会直接脱口而出“函数重载”,但是不是这样的,函数重载有一个前提就是函数在统一作用域,这里基类和派生类不是同一作用域。所以这里两个fun构成的关系是隐藏,所以Test4中调用的函数是B类中的函数,所以这里会编译报错,因为传入的参数不够。
4.子类(派生类)的默认成员函数
在类和对象(中)我们了解到类中有6个默认成员函数,默认的意思是我们不写,编译器会自动生成。那么在派生类中,这六个默认成员函数的特性又有什么变化呢?
- 派生类的构造函数对于基类部分的成员,必须调用基类的构造函数初始化,如果基类没有默认构造函数,则必须在派生类构造函数的初始化列表阶段显示调用
- 派生类的拷贝构造函数必须调用基类的拷贝构造函数完成基类的拷贝初始化
- 派生类的operator=必须调用基类的operator=完成基类的复制
- 派生类的析构函数不需要显示调用基类的析构函数,由编译器在析构派生类成员之前调用基类的析构函数,从而达到先析构基类成员的目的
- 对于派生类对象,构造时先初始化基类部分,析构时,先析构派生类部分。
- 由于一些原因,编译器对于继承体系的析构函数都会处理成destruct,所以,在不加virtual的情况下,派生类和基类的析构函数构成隐藏关系。
总结起来就是,在派生类中,所有需要对基类成员进行操作的事情都交给基类的成员函数处理,至于派生类中有动态开辟的资源的情况,当然要我们手动的写。
class Person
{
public:
Person(const char* name = "zht")
:_name(name)
{
cout << "Person(const char* name)" << endl;
}
Person(const Person& p)
:_name(p._name)
{
cout << "Person(const Person& p)" << endl;
}
Person& operator=(const Person& p)
{
cout << "Person operator=(const Person& p)" << endl;
if (this != &p)
_name = p._name;
return *this;
}
~Person()
{
cout << "~Person()" << endl;
}
protected:
string _name;
};
class student : public Person
{
public:
student(const char* name = "zht", int num = 11111)
: Person(name)
, _num(num)
{
cout << "student()" << endl;
}
student(const student& s)
: Person(s)
, _num(s._num)
{
cout << "Student(const student& s)" << endl;
}
student& operator = (const student& s)
{
cout << "student& operator= (const student& s)" << endl;
if (this != &s)
{
Person::operator =(s);
_num = s._num;
}
return *this;
}
~student()
{
cout << "~student()" << endl;
}
protected:
int _num; //学号
};
void Test5()
{
cout << "测试构造和析构" << endl;
student s;
cout << "测试拷贝构造" << endl;
student s1(s);
}
5. 继承与友元
对于友元关系,类继承的时候是不能被继承的,也就是说,基类友元不能访问派生类的私有和保护成员,如果需要访问的话,就需要在派生类中也规定友元。
class Student;
class Person
{
public:
friend void Display(const Person& p, const Student& s);
protected:
string _name; // 姓名
};
class Student : public Person
{
protected:
int _stuNum; // 学号
};
void Display(const Person& p, const Student& s)
{
cout << p._name << endl;
cout << s._stuNum << endl;
}
void Test6()
{
Person p;
Student s;
Display(p, s);
}
解决方案:
6. 继承与静态成员
在基类中定义了一个静态成员,则此成员在继承体系中是共享的,只有一个这样的成员
class Person
{
public:
Person() { ++_count; }
protected:
string _name; // 姓名
public:
static int _count; // 统计人的个数。
};
int Person::_count = 0;
class Student : public Person
{
protected:
int _stuNum; // 学号
};
class Graduate : public Student
{
protected:
string _seminarCourse; // 研究科目
};
void Test7()
{
Student s1;
Student s2;
Student s3;
Graduate s4;
cout << "人数:" << Person::_count << endl;
Student::_count = 0;
cout << "人数:" << Person::_count << endl;
}
7. 菱形继承与菱形虚拟继承
1. 继承的种类
在C++继承的设计中,为了满足各种实际情况,设计了单继承和多继承
单继承:一个子类只有一个直接父类
多继承:一个子类有超过一个父类
在上述情况的前提下,会出现一种可能的继承结构:菱形继承
在菱形继承中就会出现数据冗余和二义性的问题。对于上述的例子,在Assistant对象中Person的成员会有两份,造成了数据冗余,如果在Assistant对象中访问Person中的成员就会出现二义性,不知道访问Student基类还是Teacher基类中的Person成员。虽然我们可以使用显示指定访问类的方法解决二义性的问题,但是对于数据冗余还是没有办法解决,所以这里引入了虚拟继承的方式
2. 虚拟继承
对于上面的继承关系,在Student和Teacher的继承中使用Person虚拟继承,就可以解决问题,但是这里注意虚拟继承不要在其他地方使用
class Person
{
public:
string _name; // 姓名
};
//class Student : public Person
class Student : virtual public Person//虚拟继承
{
protected:
int _num; //学号
};
//class Teacher : public Person
class Teacher : virtual public Person//虚拟继承
{
protected:
int _id; // 职工编号
};
class Assistant : public Student, public Teacher
{
protected:
string _majorCourse; // 主修课程
};
虚拟继承解决数据冗余和二义性的原理
首先,这里我们给出一个简化的菱形继承的示例
class A { public: int _a; }; // class B : public A class B : virtual public A { public: int _b; }; // class C : public A class C : virtual public A { public: int _c; }; class D : public B, public C { public: int _d; }; void Test8() { D d; d.B::_a = 1; d.C::_a = 2; d._b = 3; d._c = 4; d._d = 5; }
如果不适用虚拟继承的方式,那么对象d的内容是这样的
当使用虚拟继承之后,d对象的内容是这样的:
可以看到,这里是把公共的_a放到了最下面,这个_a同时属于B和C,那么他们怎么找到_a呢?这里是通过B和C的两个指针,指向的一张虚基表,着两个指针叫做虚基表指针,虚基表指针中存放的是偏移量,通过偏移量就可以找到下面的_a。
对上述的结构,有下面一张图来辅助理解:
8. 继承与组合
继承的本质就是类的复用,类的复用除了继承之外,还有一种复用方式叫组合,二者最大的区别就是访问方式不同
- public继承是一种is-a的关系。也就是说每个派生类对象都是一个基类对象。
- 组合是一种has-a的关系。假设B组合了A,每个B对象中都有一个A对象
class M
{
};
class N : public M//public继承
{
};
class X//组合
{
public:
M mm;
};
继承实际上是一种白箱复用,组合是一种黑箱复用,继承中派生类对于基类的内部细节大多可见,一定程度上破坏了封装,而组合就不会关心内部实现,只是通过提供的接口来使用,高内聚,低耦合,有很好的封装性。当然,由于组合使用的特性,对被组合类的接口要求就相对高一点。
综上,这里有一个原则:优先使用对象组合,而不是继承。
9.总结
-
很多人说C++语法复杂,其实多继承就是一个体现。有了多继承,就存在菱形继承,有了菱形继承就有菱形虚拟继承,底层实现就很复杂。所以一般不建议设计出多继承,一定不要设计出菱形继承。否则在复杂度及性能上都有问题。
-
多继承可以认为是C++的缺陷之一,很多后来的OO语言都没有多继承,如Java。
-
在继承和组合中,优先使用组合优先使用对象组合,而不是类继承。