1. 派生类的成员变量、成员函数、构造、析构
2. 继承的切片
3. 重定义/隐藏
重定义/隐藏:派生类和基类有同名的成员,就叫隐藏。派生类的成员隐藏了基类的成员。
隐藏时可以通过类作用限定符来访问被隐藏的成员。
class Person
{
public:
void Print()
{
cout << "Person " << ID << endl;
}
string name; // 姓名
int ID = 0; // 身份证号
};
// 派生类Student继承了基类Person
class Student : public Person
{
public:
void Print()
{
cout << "Student " << ID << endl;
}
int ID = 1; // 学号
};
// 派生类Teacher继承了基类Student
class Teacher : public Student
{
public:
void Print()
{
cout << "Teacher " << ID << endl;
}
int ID = 2; // 工号
};
// 重定义/隐藏
void Test3()
{
// 在上面的三个类中,成员函数Print()和成员变量ID都属于隐藏/重定义
Person per;
Student stu;
Teacher tea;
tea.Print();
tea.Student::Print();
tea.Person::Print();
}
// 输出结果为:
// Teacher 2
// Student 1
// Person 0
4. 派生类的默认成员函数
在说继承的切片时提到,我们可以将派生类中从基类那里拷贝过来的一部分成员变量看作一个整体,视为一个新的成员变量,它的类型是基类。
因此,在讨论派生类的默认成员函数的时候,我们就能明白一些规则。
为了方便叙述,我们对派生类进行以下划分:
-
构造函数
在类中,若存在一个成员变量也是一个类,那么构造函数就会自动调用这个成员变量的默认构造函数,这里也是这个道理。
派生类的构造函数会调用基类的默认构造函数,以完成对属于基类的那一部分的成员(上图的A部分)的初始化。如果基类没有默认构造函数,那么在派生类的构造函数中,就要显式调用基类的构造函数。
先调用基类的构造,完成对A部分的构造,再构造B部分自己。
-
拷贝构造
B部分的拷贝需要派生类自己来实现,但是A部分,则需要调用基类的拷贝构造函数来完成拷贝。
-
赋值运算符重载 operator=
同理,A部分也需要调用基类的赋值运算符重载来完成这部分的赋值初始化。
-
析构函数
先完成对B部分的析构,然后不用显式调用,编译器会自动调用基类的析构函数,来完成A部分的析构。
5. 继承与友元
友元关系并不能继承。
基类的友元,并不是派生类的友元,就好比父亲的朋友并不一定是孩子的朋友。
如果想要既是基类的友元,又是派生类的友元,则需要在两个类中都声明友元。
6. 继承与静态成员
基类中的静态成员,会和成员函数一样,仅仅生成一份,所有派生类用到的静态成员,都是这一份。这样做避免空间浪费。
7. 菱形继承和菱形虚拟继承
C++中允许多继承,也就是一个类继承了两个父类,这必然导致一个问题:菱形继承,请参考下图:
可见,在D类对象中,存了两份int a,这导致二义性和数据冗余的问题,在访问d对象中的a成员时,访问的是从B类中继承来的a呢,还是从C类中继承来的a?当然,解决方案就是:继承时,在作用域限定符::
后加上关键字virtual
。
这便是虚拟继承,可以让int a 进存一份,B类对象、C类对象以及D类对象,仅需通过偏移量就可以得到a的地址。
用域限定符::
后加上关键字virtual
。
这便是虚拟继承,可以让int a 进存一份,B类对象、C类对象以及D类对象,仅需通过偏移量就可以得到a的地址。