提示:博客里面的代码都是在vs2022下调试的
目录
1.继承的概念及定义
1.1继承的概念
1.2继承的定义
?1.2.2继承关系和访问限定符
1.2.3继承基类成员访问方式的变化
??总结
2.基类和派生类对象赋值转化
3.继承中的作用域
4.派生类的默认成员函数
5.继承与友元
6.继承和静态成员?
7.菱形继承以及菱形虚拟继承
1.继承的概念及定义
1.1继承的概念
继承(inheritance)机制是面向对象程序设计使代码可以复用的最重要的手段,它允许程序员在保持原有类特性的基础上进行扩展,增加功能,这样产生新的类,称派生类。继承呈现了面向对象程序设计的层次结构,体现了由简单到复杂的认知过程。是类设计层次的复用。
class A {
public:
void func() {
}
int a;
};
class B : public A {
public:
int b;
};
我们写这样一段代码,表示B类继承自A类

然后我们构造一个B类对象,可以看到A类的变量也在里面,这就是类的继承
1.2继承的定义
我们前面看到的A类也基类,也叫父类,后面看到的B类叫派生类,也叫子类

?1.2.2继承关系和访问限定符

?继承关系很访问限定符虽然名字一样,但是出现的位置不同,所以意思有就不一样,不同的继承关系代表着父类的不同访问权限成员在子类中的访问权限的变化
1.2.3继承基类成员访问方式的变化

?其中,在派生类中不可见的意思是:虽然派生类里面知道有,但是没有办法访问
class A {
private:
int a;
};
class B : public A {
public:
void func() {
b = 3;
a = 5;
}
public:
int b;
};
我们运行这个代码,结果是这个
?总结
1. 基类private成员在派生类中无论以什么方式继承都是不可见的。这里的不可见是指基类的私有成员还是被继承到了派生类对象中,但是语法上限制派生类对象不管在类里面还是类外面都不能去访问它。 2. 基类private成员在派生类中是不能被访问,如果基类成员不想在类外直接被访问,但需要在派生类中能访问,就定义为protected。可以看出保护成员限定符是因继承才出现的。 3. 实际上面的表格我们进行一下总结会发现,基类的私有成员在子类都是不可见。基类的其他成员在子类的访问方式 == Min(成员在基类的访问限定符,继承方式),public > protected > private。 4. 使用关键字class时默认的继承方式是private,使用struct时默认的继承方式是public,不过最好显示的写出继承方式。 5. 在实际运用中一般使用都是public继承,几乎很少使用protetced/private继承,也不提倡使用protetced/private继承,因为protetced/private继承下来的成员都只能在派生类的类里面使用,实际中扩展维护性不强。
2.基类和派生类对象赋值转化
·派生类对象 可以赋值给 基类的对象 / 基类的指针 / 基类的引用。这里有个形象的说法叫切片或者切割。寓意把派生类中父类那部分切来赋值过去
·基类对象不能赋值给派生类对象
·基类的指针可以通过强制类型转换赋值给派生类的指针。但是必须是基类的指针是指向派生类对象时才是安全的。
?拿这幅图解释一下

?子类可以赋值给父类,是因为子类最起码也不会小于父类,所以它可以把父类的那一部分赋值给父类
父类指针可以指向子类,是因为父类指针管理的空间比较小,而子类指针比较大,如果去管理父类,那因为子类有一部分比父类大的地方,它管理父类,以为父类后面那一块也是自己的,就会出现越界行为
3.继承中的作用域
1. 在继承体系中基类和派生类都有独立的作用域。 2. 子类和父类中有同名成员,子类成员将屏蔽父类对同名成员的直接访问,这种情况叫隐藏,也叫重定义。(在子类成员函数中,可以使用 基类::基类成员 显示访问) 3. 需要注意的是如果是成员函数的隐藏,只需要函数名相同就构成隐藏。 4. 注意在实际中在继承体系里面最好不要定义同名的成员。
?解释一下就是如果子类和父类定义了一样的成员,那访问就会自动访问子类的,如果要想访问父类的,就需要加父类名字和两个冒号
class A {
private:
int a;
public:
void func() {
cout << "this is A" << endl;
}
};
class B : public A {
public:
void func() {
cout << "this is B" << endl;
}
public:
int b;
};
int main() {
B b;
b.func();
return 0;
}
运行这段代码

?如果我们要想访问A的func,就需要这样
b.A::func();
4.派生类的默认成员函数
6个默认成员函数,“默认”的意思就是指我们不写,编译器会变我们自动生成一个,那么在派生类中,这几个成员函数是如何生成的呢??
1. 派生类的构造函数必须调用基类的构造函数初始化基类的那一部分成员。如果基类没有默认的构造函数,则必须在派生类构造函数的初始化列表阶段显示调用。 2. 派生类的拷贝构造函数必须调用基类的拷贝构造完成基类的拷贝初始化。 3. 派生类的operator=必须要调用基类的operator=完成基类的复制。 4. 派生类的析构函数会在被调用完成后自动调用基类的析构函数清理基类成员。因为这样才能保证派生类对象先清理派生类成员再清理基类成员的顺序。 5. 派生类对象初始化先调用基类构造再调派生类构造。 6. 派生类对象析构清理先调用派生类析构再调基类的析构
什么意思呢?总结一下,如果基类有默认的构造函数,那子类也可以不写构造函数,但是如果基类写了,而且还不是默认的,那子类必须要写构造函数,还要在初始化列表出显示调用
class A {
private:
int _a;
public:
A(int a)
:_a(a)
{}
void func() {
cout << "this is A" << endl;
}
};
class B : public A {
public:
B(int a, int b)
:A(a) //则子类的构造函数是必须要写的,而且在初始化列表要显示调用基类的构造函数
, _b(b)
{}
void func() {
cout << "this is B" << endl;
}
public:
int _b;
};
?拷贝构造函数和赋值运算符重载,一般基类写了,子类也要写
析构函数,子类调用完自己的析构函数,会自动再调用父类的析构函数
5.继承与友元
友元关系不能继承,也就是说基类友元不能访问子类私有和保护成员
6.继承和静态成员?
基类定义了static静态成员,则整个继承体系里面只有一个这样的成员。无论派生出多少个子类,都只有一个static成员实例 。
7.菱形继承以及菱形虚拟继承
?菱形继承(注意:一个类是可以继承多个类的)

?这样就有一个问题,D继承了两份A里面的东西
解决这个问题的两种办法:
1:也采取前面的方法,在要访问的成员前面加上对应的类
2:虚拟继承
所谓虚拟继承,就是在继承关系的前面加上一个virtual,表示虚拟继承
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;
};
类似于这样,就可以了
|