C++继承

Posted 2022-02-14 WoLannnnn

tags:

篇首语：本文由小常识网(cha138.com)小编为大家整理，主要介绍了C++继承相关的知识，希望对你有一定的参考价值。

继承的概念及定义

继承的概念

继承(inheritance)机制是面向对象程序设计使代码可以复用的最重要的手段，它允许程序员在保持原有类特性的基础上行扩展，增加功能，这样产生新的类，称派生类。继承呈现了面向对象程序设计的层次结构，体现了由简单到复杂的认知过程。以前我们接触的复用都是函数复用，继承是类设计层次的复用

class Person

public:
    void Print()
    	
        cout << "name:" << _name << endl;
        cout << "age:" << _age << endl;
    
    
protected:
    string _name = "peter"; // 姓名
    int _age = 18; // 年龄
;
// 继承后父类的Person的成员（成员函数+成员变量）都会变成子类的一部分。这里体现出了Student和Teacher复用了Person的成员。下面我们使用监视窗口查看Student和Teacher对象，可以看到变量的复用。调用Print可以看到成员函数的复用。

class Student : public Person

protected:
    int _stuid; // 学号
;

class Teacher : public Person

protected:
	int _jobid; // 工号
;

int main()

    Student s;
    Teacher t;
    s.Print();
    t.Print();
    return 0;

继承定义

定义格式

下面我们看到Person是父类，也称作基类。Student是子类，也称作派生类

继承关系和访问限定符

继承基类成员访问方式的变化

类成员/继承方式	public继承	protected继承	private继承
基类的public成员	派生类的public成员	派生类的protected成员	派生类的private成员
基类的protected成员	派生类的protected成员	派生类的protected成员	派生类的private成员
基类的private成员	在派生类中不可见	在派生类中不可见	在派生类中不可见

总结：
1. 基类private成员在派生类中无论以什么方式继承都是不可见的。这里的不可见是指基类的私有成员还是
被继承到了派生类对象中，但是语法上限制派生类对象不管在类里面还是类外面都不能去访问它。
2. 基类private成员在派生类中不能被访问，如果基类成员不想在类外直接被访问，但需要在派生类中能
访问，就定义为protected。可以看出保护成员限定符是因继承才出现的。
3. 实际上面的表格我们进行一下总结会发现，基类的私有成员在子类都是不可见。基类的其他成员在子类
的访问方式 == Min(成员在基类的访问限定符，继承方式)，public > protected > private。
4. 使用关键字class时默认的继承方式是private，使用struct时默认的继承方式是public，不过最好显式地
写出继承方式。
5. 在实际运用中一般使用都是public继承，几乎很少使用protetced/private继承，也不提倡使用protetced/private继承，因为protetced/private继承下来的成员都只能在派生类的类里面使用，实际中扩展维护性不强

// 实例演示三种继承关系下基类成员的各类型成员访问关系的变化
class Person

public :
    void Print ()
    
        cout<<_name <<endl;
    
    
protected :
	string _name ; // 姓名
    
private :
	int _age ; // 年龄
;

//class Student : protected Person
//class Student : private Person
class Student : public Person

protected :
	int _stunum ; // 学号
;

1.class Student : protected Person,Student类中可以访问Person的protected成员及公有的Print，类外都不能访问。 _ age在Person和类外都不能访问
2.class Student : private Person，Student类中能访问Person的protected成员及公有的Print，类外都不能访问。
_ age在Person中和类外都不能访问
3.class Student : public Person，Student类中可以访问Person的protected成员，类外不能访问，而在Person中和类外都能访问Print。_ age在Person和类外都不能访问

基类和派生类对象赋值转换

派生类对象可以赋值给基类的对象 / 基类的指针 / 基类的引用。这里有个形象的说法叫切片或者切割。寓意把派生类中父类那部分切来赋值过去。
基类对象不能赋值给派生类对象
基类的指针可以通过强制类型转换赋值给派生类的指针。但是必须是基类的指针是指向派生类对象时才是安全的。这里基类如果是多态类型，可以使用RTTI(Run-Time Type Information)的dynamic_cast 来进行识别后进行安全转换。

赋值兼容

class info 
public:

	void Print()const
	
		cout << "height:" << _height << endl;
		cout << "weight:" << _weight << endl;
	

protected:
	int _height = 170;
	int _weight = 60;
;

class Person :public info
	
private:
	char* _name;
public:
	int _age;
;

void Test()

	Person derive("ysj");

	//派生类赋值给基类对象、指针、引用
	info basic = derive;
	info* iptr = &derive;
	info& iref = derive;

	Person* pptr = (Person*)iptr;//这样是可以的，因为iptr指向的是派生类
	Person& pref = (Person&)iref;//与指针同理

	//利用指针修改
	pptr->_age = 18;
	cout << derive._age << endl;
    
	//利用引用修改
    pref._age = 20;
	cout << derive._age << endl;

    //将基类指针赋值给派生类指针
	iptr = &basic;
	Person* pptr2 = (Person*)iptr;//虽然可以赋值，但访问不属于基类的成员时会造成越界
	pptr2->_age = 30;
	cout << derive._age << endl;

继承中的作用域

在继承体系中基类和派生类都有独立的作用域。
子类和父类中有同名成员，子类成员将屏蔽父类对同名成员的直接访问，这种情况叫隐藏，也叫重定义。（在子类成员函数中，可以使用基类::基类成员显式访问）
需要注意的是如果是成员函数的隐藏，只需要函数名相同就构成隐藏。
注意在实际中在继承体系里面最好不要定义同名的成员。

// Student的_num和Person的_num构成隐藏关系，可以看出这样代码虽然能跑，但是非常容易混淆
class Person

protected :
    string _name = "张三"; // 姓名
    int _num = 1234; // 身份证号
;

class Student : public Person

public:
    void Print()
    
        cout<<" 姓名:"<<_name<< endl;
        cout<<" 身份证号:"<<Person::_num<< endl;
        cout<<" 学号:"<<_num<<endl;
    
    
protected:
	int _num = 999; // 学号
;

void Test()

    Student s1;
    s1.Print();
;

可以看到没有指定类域的_ num是派生类的_ num

B中的fun和A中的fun不是构成重载，因为不是在同一作用域
B中的fun和A中的fun构成隐藏，成员函数满足函数名相同就构成隐藏。

// B中的fun和A中的fun不是构成重载，因为不是在同一作用域
// B中的fun和A中的fun构成隐藏，成员函数满足函数名相同就构成隐藏。
class A

public:
    void fun()
    
        cout << "func()" << endl;
    
    
;

class B : public A

public:
	void fun(int i)
    
        A::fun();
        cout << "func(int i)->" <<i<<endl;
	
;

void Test()

    B b;
    b.fun(10);
    //如果想调用A的fun，需要加上类域限定符
    //b.A::fun();
;

派生类的默认成员函数

6个默认成员函数，在派生类中，这几个成员函数是如何生成的呢？

派生类的构造函数必须调用基类的构造函数初始化基类的那一部分成员。如果基类没有默认的构造函数，则必须在派生类构造函数的初始化列表阶段显式调用。
派生类的拷贝构造函数必须调用基类的拷贝构造完成基类的拷贝初始化。
派生类的operator=必须要调用基类的operator=完成基类的复制。
派生类的析构函数会在被调用完成后自动调用基类的析构函数清理基类成员。因为这样才能保证派生类对象先清理派生类成员再清理基类成员的顺序。

解释：因为基类是先生成的，派生类是后生成的，在函数栈帧中，基类对象先入栈，派生类再入栈，所以出栈时要让派生类先出，基类再出。因此析构的顺序是：派生类>基类
派生类对象初始化先调用基类构造再调派生类构造。
派生类对象析构清理先调用派生类析构再调基类的析构

如果不显式生成Student的构造和析构：

struct Person 
private:
    string _name;
    int _age;

public:
    //构造
    Person(const string& name = "Jack", int age = 18)
        :_name(name.c_str())
        ,_age(age)
    
        cout << "Person()" << endl;
    

    //拷贝构造
    Person(const Person& p)
        :_name(p._name)
        ,_age(p._age)
    
        cout << " Person(const Person& p)" << endl;
    

    //赋值重载
    const Person& operator=(const Person& p)
    
        _name = p._name;
        _age = p._age;
        cout << "operator=" << endl;
        
        return *this;
    

    //析构
    ~Person()
    
        //没什么资源需要清理
        cout << "~Person" << endl;
    
;

class Student : public Person

private:
    int _stuid;//学号

public:
    
;

int main()

    Student s1;
    return 0;

同样，拷贝构造和析构也是如此：

但如果Student有自己的构造函数、拷贝、赋值重载，就必须显示调用Person对应的函数

struct Person 
protected:
    string _name;
    int _age;

public:
    //构造
    Person(const string& name = "Jack", int age = 18)
        :_name(name.c_str())
        ,_age(age)
    
        cout << "Person()" << endl;
    

    //拷贝构造
    Person(const Person& p)
        :_name(p._name)
        ,_age(p._age)
    
        cout << " Person(const Person& p)" << endl;
    

    //赋值重载
    const Person& operator=(const Person& p)
    
        _name = p._name;
        _age = p._age;

        cout << "operator=" << endl;    
        return *this;
    

    //析构
    ~Person()
    
        //没什么资源需要清理
        cout << "~Person" << endl;
    
;

class Student : public Person

private:
    int _stuid;//学号

public:

    //构造
    Student(int stuid = 100, const string& name = "Mike", int age = 20)
        :_stuid(stuid)
        ,Person(name, age)//Person的初始化不能是_name(name),_age(age)
    

    //拷贝构造
    Student(const Student& s)
        //可以将派生类赋值给基类
        :Person(s)
        ,_stuid(s._stuid)
    

    //赋值重载
    const Student& operator=(const Student& p)
    
        //可以将派生类赋值给基类
        Person::operator=(p);
        _stuid = p._stuid;

        return *this;
    

    ~Student()
    
        //没什么资源需要清理
        cout << "~Student()" << endl;
    
    
;

int main()

    Student s1;
    Student s2(s1);
    s2 = s1;
    return 0;

假如我们要在Student的析构中调用Person的析构（这样是不符合规定的，因为要求先析构Student再析构Person）
我们是在~ Student中直接调用~Person吗？

~Student()
    
    	~Person();
        cout << "~Student()" << endl;

这样在编译器上是无法通过编译的，因为派生类的析构函数和基类的析构函数构成隐藏，它们的名字会被编译器统一处理成destructor，所以这么写是编不过去的，要加一个Person::的类域限定符。

当然，在_{Student中调用}Person是不对的，因为~Person还会再被调用一次，如果Person中有一个动态开辟的数组，就会被释放两次，这样就会引发未知错误。

总结：构造、拷贝构造、赋值重载需要在派生类中显式调用，析构不能

如何设计一个不能被继承的类？

答：将构造、析构私有

继承与友元

友元关系不能继承，也就是说基类的友元不能访问子类私有和保护成员

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 main()

    Person p;
    Student s;
    Display(p, s);

基类的友元无法继承给子类，如果该友元想访问子类，要在子类里再加一个友元的声明

继承与静态成员

基类定义了static静态成员，则整个继承体系里面只有一个这样的成员。无论派生出多少个子类，都只有一个static成员实例。

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;

复杂的菱形继承及菱形虚拟继承

单继承：一个子类只有一个直接父类时称这个继承关系为单继承

多继承：一个子类有两个或以上直接父类时称这个继承关系为多继承

菱形继承：菱形继承是多继承的一种特殊情况

菱形继承的问题：从下面的对象成员模型构造，可以看出菱形继承有数据冗余和二义性的问题。在Assistant
的对象中Person成员会有两份

class Person

public:
    string _name; // 姓名
;

class Student : virtual public Person

protected:
    int _num; //学号
;

class Teacher : virtual public Person

protected:
    int _id; // 职工编号
;

//研究生，即使辅导员又是学生
class Assistant : public Student, public Teacher

protected:
    string _majorCourse; // 主修课程
;

void Test1()

    // 这样会有二义性无法明确知道访问的是哪一个
    Assistant a;

    // 需要显示指定访问哪个父类的成员可以解决二义性问题，但是数据冗余问题无法解决
    a.Student::_name = "haha";
    a.Teacher::_name = "hehe";

数据冗余问题的解决：
虚拟继承可以解决菱形继承的二义性和数据冗余的问题。如上面的继承关系，在Student和Teacher的继承Person时使用虚拟继承，即可解决问题。需要注意的是，虚拟继承不要在其他地方去使用

class Person

public:
    string _name; // 姓名
;

class Student : virtual public Person

protected:
    int _num; //学号
;

class Teacher : virtual public Person

protected:
    int _id; // 职工编号
;

//研究生，即使辅导员又是学生
class Assistant : public Student, public Teacher

protected:
    string _majorCourse; // 主修课程
;

void Test1()

    // 这样会有二义性无法明确知道访问的是哪一个
    Assistant a;

    // 需要显示指定访问哪个父类的成员可以解决二义性问题，但是数据冗余问题无法解决
    a.Student::_name = "haha";
    a.Teacher::_name = "hehe";


void Test2()

    Assistant a;
    //这里的name就表示a的name，Teacher和Student的name与其是同一个
    a._name = "haha";
    a._name = "hehe";

通过打印Student、Teacher、Assistant的_name的地址可以发现，三者的 _name是同一个

虚拟继承解决数据冗余和二义性的原理
为了研究虚拟继承原理，我们给出了一个简化的菱形继承继承体系，再借助内存窗口观察对象成员的模型

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;
;

int main()

    D d;
    d.B::_a = 1;
    d.C::_a = 2;
    d._b = 3;
    d._c = 4;
    d._d = 5;
    return 0;

我们可以观察虚拟继承前后对象d的大小变化：

下图是菱形继承的内存对象成员模型：这里可以看到数据冗余

下图是菱形虚拟继承的内存对象成员模型：这里可以分析出D对象中将A放到了对象组成的最下面，这个A同时属于B和C，那么B和C如何去找到公共的A呢？这里是通过了B和C的两个指针，指向的一张表。这两个指针叫虚基表指针，这两个表叫虚基表。虚基表中存的是偏移量。通过偏移量可以找到下面的A

以上是关于C++继承的主要内容，如果未能解决你的问题，请参考以下文章