1.继承的概念及定义
1.1继承的概念
继承(inheritance)机制是面向对象程序设计使代码可以复用的最重要的手段,它允许程序员在保 持原有类特性的基础上进行扩展,增加功能,这样产生新的类,称派生类。继承呈现了面向对象 程序设计的层次结构,体现了由简单到复杂的认知过程。以前我们接触的复用都是函数复用,继承是类设计层次的复用。(有点类似函数的复用)
class person
{
public:
void Print()
{
cout << "name:" << _name << endl;
cout << "age:" << _age << endl;
}
protected:
string _name = "heidashuai";
int _age = 21;
};
class student :public person
{
protected:
int _stuid;
};
class teacher :public person
{
protected:
int _jobid;
};
总结: 1. 基类private成员在派生类中无论以什么方式继承都是不可见的。这里的不可见是指基类的私 有成员还是被继承到了派生类对象中,但是语法上限制派生类对象不管在类里面还是类外面 都不能去访问它。
2. 基类private成员在派生类中是不能被访问,如果基类成员不想在类外直接被访问,但需要在 派生类中能访问,就定义为protected。可以看出保护成员限定符是因继承才出现的。
3. 实际上面的表格我们进行一下总结会发现,基类的私有成员在子类都是不可见。基类的其他 成员在子类的访问方式 == Min(成员在基类的访问限定符,继承方式),public > protected > private。 4. 使用关键字class时默认的继承方式是private,使用struct时默认的继承方式是public,不过 最好显示的写出继承方式。
5. 在实际运用中一般使用都是public继承,几乎很少使用protetced/private继承,也不提倡使用protetced/private继承,因为protetced/private继承下来的成员都只能在派生类的类里面使用,实际中扩展维护性不强。
继承中的作用域
1. 在继承体系中基类和派生类都有独立的作用域。
2. 子类和父类中有同名成员,子类成员将屏蔽父类对同名成员的直接访问,这种情况叫隐藏, 也叫重定义。(在子类成员函数中,可以使用 基类::基类成员 显示访问)
3. 需要注意的是如果是成员函数的隐藏,只需要函数名相同就构成隐藏。
4. 注意在实际中在继承体系里面最好不要定义同名的成员。
这时候如果B创建一个b对象,b只能调用b里面的func(int),不能调用a的func,因为在b里面a的func被隐藏了,如果想要访问,就只能 b1.A::func();这样写,才能访问被隐藏的,private的隐身跟这里不一样,不能被访问;
这里再次区分一下私有成员是不想被子类继承的成员,如果基类想给子类复用但又不想暴露直接访问的成员就被定义成保护;
基类和派生类对象赋值转换
class person
{
protected:
string _name;
string _sex;
int _age;
};
class student :public person
{
public:
int _No;//学号
};
int main()
{
//这里算是一个特殊支持,语法天然支持(建立在共有继承的情况下)
student s1;
//1.子类对象可以赋值给父类对象/指针/引用
person p1 = s1;
person* p2 = &s1;
person& p3 = s1;
//可以认为子类到父类没有发生隐式类型转换
//这里虽然是不同类型,但是不是隐式类型转换
int i = 0;
// double &d=i;//这里是会产生一个临时变量,临时变量具有常性,就会报错
const double& d = i;
return 0;
}
派生类对象 可以赋值给 基类的对象 / 基类的指针 / 基类的引用。这里有个形象的说法叫切片 或者切割。寓意把派生类中父类那部分切来赋值过去。
person p1=s1;相当于直接拷贝
person *p2=&s1;相当于在student上切割了一个person之后用指针指向它
person &p3=s1;是把s1切割出来起一个别名。
注:如果算子类对象肯定是要算上父类的内容
//能不能把一个父类对象反过来赋值?
//是肯定不行的,子类复杂,父类无法分割给他,强制类型转换也不行
派生类的默认成员函数
6个默认成员函数---初始化和清理 1.构造函数主要完成初始化工作 2.析构函数主要完成清理工作
拷贝复制1.拷贝构造是使用同类对象初始化创建对象2.赋值重载主要是把一个对象赋值给另外一个对象
取地址重载 1.主要是普通对象和const对象取地址,这两个很少会自己实现,重点是上面四个构造。
继承的类,有两个部分,一个子类自己的成员,一个是父类继承下来的
子类编译默认生成的构造函数
1.自己的成员,跟类和对象一样,内置类型不做处理,自定义类型帮忙调用自定义里面的构造函数
2.继承的父类成员,有一个规定,必须调用父类的构造函数初始化。
说明白一些就是继承之后的类,它继承过来的成员跟随父类的,调用父类的构造函数。如果是自己新定义的就该怎么初始化就怎么初始化
编译生成默认拷贝构造
1.自己成员,跟类和对象一样(对于内置类型完成值拷贝(浅拷贝),对于自定义类型调用它的拷贝构造)
2.继承的父类成员,必须调用父类拷贝构造初始化
编译器默认生成的operator=
1.自己成员,跟类和对象一样(对于内置类型直接调用,对于自定义类型调用需要自己写)
2.继承的父类成员,必须调用父类的operator
下面的栈帧就能看出调用的哪个函数,调用的operator(student)
为什么这里都调用的student的函数
相当于这里发生了递归调用,本来想调父类的,因为这里的operator跟父类的operator重名了,导致父类的被隐藏,这里发生了反复自己递归最后爆栈了,应该加作用域
栈溢出一般是无限递归爆栈了。
加上了作用域就得到了解决
编译器默认生成的析构函数
1.自己的成员内置类型不处理,自定义类型的调用它的析构构造
2.继承的成员,调用父类的析构函数处理
构造了三次,两次person构造,一次拷贝构造,但是析构发生了6次,发生了构造次数的二倍
子类继承了父类,父类先构造,子类的再构造,父类的先析构,子类后析构
如果我们自己去写析构,上面的这个顺序无法保证,其实编译器就帮我们自己调用了
class person
{
public:
person(const char* name ="peter")
:_name(name)
{
cout << "person()" << 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, int num)
//person::_name(name)父类成员不允许初始化列表初始化
//或者 person(name)类似搞一个匿名对象
:person(name)//调用父类的构造函数
,_num(num)
{
//person::_name = name;
}
student(const student&s)
:person(s)//切片的意义,子类里面包含着父类对象,直接传子类对象里面切出来父类
//天生的语法支持 person &p3=s1;
,_num(s._num)
{
}
student& operator=(const student& s)
{
if (this != &s)
{
person::operator=(s);
_num = s._num;
}
return *this;
}
//子类的析构函数跟父类构成隐藏
//由于多态的需要,后面析构函数的名字会被统一处理成destructor()
~student()
{
//~person()//被隐藏
//不需要显示调用父类析构函数
//每个子类析构函数后面,会自动调用父类析构函数,这样才能保证先析构 子类,再析构父类
//person::~person();//处理父类的
cout << "~student()" << endl;//处理子类的
}
protected:
int _num;
int* _ptr;//有类似这种的深拷贝的情况下需要写上面这种
};
int main()
{
student s1("pe",1);
student s2("haha",2);
s2 = s1;
return 0;
}
继承与静态成员
友元关系不能继承,也就是说基类友元不能访问子类私有和保护成员
继承与静态成员
基类定义了static静态成员,则整个继承体系里面只有一个这样的成员。无论派生出多少个子 类,都只有一个static成员实例 。
类定义在栈里面,但是static定义的就是在静态区,可以被继承,但是student访问的count和person访问的count访问count是一个count
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 TestPerson()
{
Student s1;
Student s2;
Student s3;
Graduate s4;
cout << " 人数 :" << Person::_count << endl;
Student::_count = 0;
cout << " 人数 :" << Person::_count << endl;
}
int main()
{
TestPerson();
return 0;
}
复杂的菱形继承及菱形虚拟继承
单继承:一个子类只有一个直接父类时称这个继承关系为单继承
class person<-class student:public person<-class post:public student
多继承:一个子类有两个或以上直接父类时称这个继承关系为多继承
class student<-class assistant:public student,public teacher->class teacher
菱形继承:菱形继承是多继承的一种特殊情况。
父类构造函数私有,子类对象实例化,无法调用构造函数
C++11增加了一个final,继承的对象不用实例化,也会报错告诉你父类构造私有
菱形继承的问题:从下面的对象成员模型构造,可以看出菱形继承有数据冗余和二义性的问题。 在Assistant的对象中Person成员会有两份。
class Person
{
public :
string _name ; // 姓名
};
class Student : public Person
{
protected :
int _num ; //学号
};
class Teacher : public Person
{
protected :
int _id ; // 职工编号
};
class Assistant : public Student, public Teacher
{
protected :
string _majorCourse ; // 主修课程
};
void Test ()
{
// 这样会有二义性无法明确知道访问的是哪一个
Assistant a ;
a._name = "peter";
// 需要显示指定访问哪个父类的成员可以解决二义性问题,但是数据冗余问题无法解决
a.Student::_name = "xxx";
a.Teacher::_name = "yyy";
}
虚拟继承可以解决菱形继承的二义性和数据冗余的问题。如上面的继承关系,在Student和 Teacher的继承Person时使用虚拟继承,即可解决问题。需要注意的是,虚拟继承不要在其他地 方去使用。
加入virtual之后就不会报错,访问的name都是同一块地址
虚拟继承解决数据冗余和二义性的原理
通过一个简单的继承例子加上内存窗口监视,我们发现virtual虚拟继承其实是对象里面存了本来的变量,之后存了菱形继承对应对象的两个指针,通过指针地址查找我们发现指针里面存着两个具体的值,我们称它为偏移量,就是因为只有一份,我们怎么区分父类的成员,跟子类成员的区别,就是存子类的偏移量去查找
这里看似我们的父类对象本来不采用虚拟继承的话成员大小只有4个字节
采用虚拟继承多了两个指针内存增大了,看似复杂了是因为我们的成员太小了,如果成员是1000的数组int型,不采用虚拟继承直接菱形继承的话大小是4000+4000,但是有了虚拟继承,只需4000+2两个指针大小。
这里的偏移量的作用是当我们出现了下面内存切片的问题
D d;
B *b=&d;
C *c=&d;
由于出现了虚拟继承,_a没有存在于他们对象当中,这时候怎么通过b->_a去访问?
偏移量的作用体现了出来,通过偏移量计算出在内存存储的_a
我们发现菱形继承的情况下如果只访问腰间的变量发现也不是我们分析的4+4=8个字节,而是多了四个字节,正好是一个整形指针
就是为了应对这种情况,也通过偏移量去找。
如果对象有多个成员,也只需要定义一个指针就行,因为这里指针的作用是去找类,类里面的成员最后在内存的存储是按照声明定义的顺序排列的,所以只需要一个指针即可。
C++语法复杂,其实多继承就是一个体现。有了多继承,就存在菱形继承,有了菱形继承就有菱形虚拟继承,底层实现就很复杂。所以一般不建议设计出多继承,一定不要设 计出菱形继承。否则在复杂度及性能上都有问题。
继承和组合
public继承是一种is-a的关系。也就是说每个派生类对象都是一个基类对象。(比如植物和花的关系,花是一个植物)
组合是一种has-a的关系。假设B组合了A,每个B对象中都有一个A对象。(类似轮胎和车的关系,不能说轮胎是一个车,只能说车有轮胎)
当有的关系既是is-a,也是has-a,优先使用组合。继承允许你根据基类的实现来定义派生类的实现。这种通过生成派生类的复用通常被称 为白箱复用(white-box reuse)。术语“白箱”是相对可视性而言:在继承方式中,基类的 内部细节对子类可见 。继承一定程度破坏了基类的封装,基类的改变,对派生类有很 大的影响。派生类和基类间的依赖关系很强,耦合度高。 对象组合是类继承之外的另一种复用选择。新的更复杂的功能可以通过组装或组合对象来获得。对象组合要求被组合的对象具有良好定义的接口。这种复用风格被称为黑箱复 用(black-box reuse),因为对象的内部细节是不可见的。对象只以“黑箱”的形式出现。 组合类之间没有很强的依赖关系,耦合度低。优先使用对象组合有助于你保持每个类被封装。 实际尽量多去用组合。组合的耦合度低,代码维护性好。不过继承也有用武之地的,有些关系就适合继承那就用继承,另外要实现多态,也必须要继承。类之间的关系可以用继承,可以用组合,就用组合。(黑就是看不见,依功能的方向进行测试,白就是依据实现进行测试 )
// Car和BMW Car和Benz构成is-a的关系
class Car {
protected:
string _colour = "白色"; // 颜色
string _num = "*********"; // 车牌号
};
class BMW : public Car {
public:
void Drive() { cout << "好开-操控" << endl; }
};
class Benz : public Car {
public:
void Drive() { cout << "好坐-舒适" << endl; }
};
// Tire和Car构成has-a的关系
class Tire {
protected:
string _brand = "Michelin"; // 品牌
size_t _size = 32; // 尺寸
};
class Car {
protected:
string _colour = "白色"; // 颜色
string _num = "*******"; // 车牌号
Tire _t; // 轮胎
};