C++ 继承从语法陷阱到内存底层的终极复习

 更新时间:2026年05月25日 10:29:53   作者:纽扣667  
本文深入解析C++继承,从基础语法到对象模型暗坑,涵盖访问控制、内存布局、菱形继承等难题,教你如何规避对象切片、名字隐藏、虚基表等常见陷阱,助你写出健壮高效代码,感兴趣的朋友一起看看吧

C++继承全解——从基础语法到对象模型暗坑全吃透

你以为继承只是简单的代码复用?
当你遇到对象切片、名字隐藏、菱形继承数据冗余、虚基表编译报错、多态析构内存泄漏时,才会明白:
C++ 继承的本质,是对对象模型、内存布局、访问控制的终极考验。

本文带你从零开始,吃透 C++ 继承的所有语法、底层原理与暗坑。

一、继承的本质 —— 从代码冗余到层次化复用

1.1 为什么需要继承?

描述 StudentTeacher 时,都会用到姓名、年龄等公共属性。不使用继承,会出现大量重复代码,维护成本极高。

无继承:代码冗余,难以维护

#include <iostream>
#include <string>
using namespace std;
class Student {
public:
    string name;
    int age;
    string studentId;
    void study() { cout << name << " 正在学习" << endl; }
};
class Teacher {
public:
    string name;
    int age;
    string course;
    void teach() { cout << name << " 正在授课" << endl; }
};

继承的解决方案
把公共成员抽取到基类(父类)Student/Teacher 作为**派生类(子类)**复用基类成员。

// 继承:代码复用 + 层次清晰
class Person {
public:
    string name;
    int age;
};
// 派生类 : 继承方式 基类
class Student : public Person {
public:
    string studentId;
    void study() { cout << name << " 正在学习" << endl; }
};
class Teacher : public Person {
public:
    string course;
    void teach() { cout << name << " 正在授课" << endl; }
};

1.2 继承基本语法

class 派生类名 : 继承方式 基类名 {
    // 派生类新增成员
};

二、访问控制 —— 权限的「木桶效应」

继承的核心难点:基类成员在派生类中的最终权限,不是继承方式说了算,也不是原权限说了算,而是取更小的那个。

2.1 核心公式(背会这一条就够)

最终权限 = min(基类成员权限, 继承方式)
权限强度:public > protected > private

继承方式基类 public基类 protected基类 private
publicpublicprotected不可访问
protectedprotectedprotected不可访问
privateprivateprivate不可访问
两个关键理解【面试高频】
  1. 不可访问 ≠ 不存在
    基类 private 成员依然会被派生类对象包含(占内存),只是语法上禁止直接访问。
  2. protected 是为继承而生
    • private:自己能用,子类不能用;
    • protected:自己能用,子类能用,外部不能用。

2.2 默认继承规则

  • class 派生:默认 private 继承
  • struct 派生:默认 public 继承

2.3 可运行代码示例

#include <iostream>
using namespace std;
class Base {
public:
    int pub = 1;
protected:
    int pro = 2;
private:
    int pri = 3; // 子类不可直接访问
};
// public 继承
class PubDerive : public Base {
public:
    void test() {
        cout << pub << endl;  // ok
        cout << pro << endl;  // ok
        // cout << pri << endl; // error
    }
};
// protected 继承
class ProDerive : protected Base {
public:
    void test() {
        cout << pub << endl;  // ok,内部可访问
        cout << pro << endl;  // ok
    }
};
// private 继承
class PriDerive : private Base {
public:
    void test() {
        cout << pub << endl;  // ok,内部可访问
        cout << pro << endl;  // ok
    }
};
int main() {
    PubDerive p;
    p.pub;        // ok
    // p.pro;    // error
    ProDerive pr;
    // pr.pub;   // error,外部无法访问
    PriDerive pv;
    // pv.pub;   // error,外部无法访问
    return 0;
}

三、内存视角:对象切片(最容易踩的暗坑)

3.1 向上转型

派生类对象可以赋值/初始化给:

  • 基类对象
  • 基类指针
  • 基类引用

这叫向上转型(安全、隐式)

#include <string>
using namespace std;
class Person {
public:
    int _age;
    string _name;
};
class Student : public Person {
public:
    string _studentId;
};
int main() {
    Student s;
    // 赋值给基类对象 → 发生切片
    Person p = s;
    // 指针/引用 → 不切片
    Person* pp = &s;
    Person& rp = s;
    return 0;
}

3.2 底层真相:切片是什么?

派生类对象内存布局:
基类子对象在前,派生类新增成员在后

Student:[ Person(_name, _age) ][ _studentId ]
  • Person p = s只拷贝基类部分,切掉子类独有成员 → 对象切片
  • 切片后,p 彻底变成 Person无法访问子类任何成员

【致命暗坑】
多态必须用指针/引用,绝对不能用对象赋值,否则切片会破坏多态。

四、作用域隐藏:同名就藏,不看参数

4.1 核心规则

基类和派生类是两个独立作用域
只要名字相同,派生类成员会隐藏基类所有同名成员。

⚠️ 不是重载!不是覆盖!是隐藏!

  • 重载要求:同一作用域 + 同名不同参;
  • 隐藏要求:不同作用域 + 同名即可。

4.2 变量隐藏

#include <iostream>
using namespace std;
class Base {
public:
    int num = 100;
};
class Derived : public Base {
public:
    int num = 200; // 隐藏基类 num
    void test() {
        cout << num << endl;         // 200(优先子类)
        cout << Base::num << endl;   // 100(指定作用域)
    }
};
int main() {
    Derived d;
    d.test();
    return 0;
}

4.3 函数隐藏

只要函数名相同,无论参数是否一致,基类所有重载函数都会被隐藏。

#include <iostream>
using namespace std;
class Base {
public:
    void func() { cout << "Base func" << endl; }
    void func(int x) { cout << "Base func(int)" << endl; }
};
class Derived : public Base {
public:
    // 隐藏基类两个 func
    void func() { cout << "Derived func" << endl; }
};
int main() {
    Derived d;
    d.func();          // ok
    // d.func(10);     // error!基类func(int)被隐藏
    d.Base::func(10);  // ok,指定作用域
    return 0;
}

【面试题】
基类有多个重载函数 fun(),子类只要定义一个同名函数,基类所有重载版本全部被隐藏。

4.4 隐藏 / 重写 / 重载 极简对比

特性重载隐藏重写(多态)
作用域同一作用域不同作用域不同作用域
函数名相同相同相同
参数不同可同可不同必须相同
virtual不需要不需要必须有
绑定类型静态绑定静态绑定动态绑定

五、派生类生命周期:构造 & 析构

5.1 构造函数规则

  1. 派生类必须初始化基类子对象
  2. 若不显示调用基类构造,编译器会隐式调用基类默认构造
  3. 基类无默认构造 → 直接编译报错
#include <string>
using namespace std;
class Person {
public:
    // 无默认构造函数
    Person(const string& name) : _name(name) {}
private:
    string _name;
};
class Student : public Person {
public:
    // 正确:必须显式调用基类构造
    Student(const string& name, const string& id)
        : Person(name), _id(id) {}
private:
    string _id;
};

【暗坑】
基类构造调用顺序 = 继承列表顺序,与初始化列表顺序无关。

5.2 析构函数:内存泄漏的重灾区

  1. 调用顺序:先析构子类 → 再析构父类
  2. 普通析构:不构成多态,基类指针删除子类对象 → 只调用基类析构 → 内存泄漏
错误示例
#include <iostream>
using namespace std;
class Base {
public:
    ~Base() { cout << "基类析构" << endl; }
};
class Derived : public Base {
public:
    ~Derived() { cout << "子类析构" << endl; }
};
int main() {
    Base* ptr = new Derived;
    delete ptr;
    // 输出:仅 基类析构 → 子类资源泄漏!
    return 0;
}
正确写法

基类析构函数必须加 virtual

class Base {
public:
    virtual ~Base() { cout << "基类析构" << endl; }
};

【铁律】
一个类只要可能被继承,析构函数就必须是 virtual。

六、多继承与菱形继承:底层灾难与虚继承

6.1 多继承语法

class Derived : public Base1, public Base2 {};

6.2 菱形继承的模型图

        Person
       /      \
   Student     Teacher
       \      /
     Assistant
#include <string>
using namespace std;
class Person { public: string _name; };
class Student : public Person {};
class Teacher : public Person {};
class Assistant : public Student, public Teacher {};
两大致命问题
  1. 数据冗余Assistant 包含两份 Person
  2. 访问二义性a._name 编译报错,不知道用哪一份

6.3 虚继承:解决菱形继承

中间派生类加上 virtual

class Student : virtual public Person {};
class Teacher : virtual public Person {};
class Assistant : public Student, public Teacher {};
底层原理
  • 增加 vbptr(虚基表指针)
  • 指向 vbtable(虚基表)
  • 表中存放:当前指针到唯一虚基类子对象的偏移

最终:整个继承体系中只有一份 Person

工程建议

尽量避免菱形继承,逻辑复杂、性能略低、可读性差。

七、类模板继承

7.1.类模板继承需要指定类域

我们以stack继承vector为例子
代码实现

#include<iostream>
#include<vector>
using namespace std;
template<class T>
class Mystack:pubilc vector<T>{
	void push(const T& data){
		//push_back(data) error:找不到push_back,因为编译器在没有实例化之前是不会进入到类模板中的,即访问不到vector内部的函数和成员,需要指定类域,要求编译器去vector里面寻找
		this->push_back(data);
		//或
		vector<T>::push_back(data)
	}
};

7.2.模板与虚函数

模板函数是不允许继承的,因为虚函数在继承之前就需要计算虚函数表的大小,而模板导致无法计算

八、继承 vs 组合

8.1.定义

  • 继承(is-a):Derived是一种Base,例如狗是一种动物
  • 组合(has-a):Class包含另一个类作为成员,例如车有引擎

8.2.优先使用组合

  1. 白箱 vs 黑箱:继承是一种白箱调用,派生类能够访问基类的public成员,甚至protected成员,导致基类的实现细节暴露,基类一变动,可能影响所有的派生类,而组合是一种黑箱调用,只能通过特点的函数接口访问成员变量,屏蔽了底层细节,耦合度较低
  2. 继承存在滥用:某些类的关系可能并不符合is-a的情况,比如stack和vector,stack并不支持insert等等接口,可能会破坏类的特点

九、如何终结继承

有些类可能并不期望被继承,那么应该怎么做呢?

9.1.C++11方案:final

在不期望被继承的类和函数后面加上final关键字

class Nonderived final{
	//
}
// class Bad : public NonDerived {};  // ❌ 编译错误

final也能修饰函数,让派生类无法重写
示例代码

class Base {
public:
    virtual void show() final {  // 虚函数 + final
        cout << "Base" << endl;
    }
};
class Derived : public Base {
public:
    // 错误!无法重写被 final 修饰的虚函数
    void show() override { 
        cout << "Derived" << endl;
    }
};

9.2.C++98方案:构造函数私有

原理:派生类在构造时必定要调用基类的构造函数,基类的构造函数私有化就导致派生类构造不了,这样也就没办法继承了,不如final直观,较为麻烦

class Base{
private:
	Base(){}
public:
	//让外面能够实例化
	static Base* create(){
		return new Base();
	}
}
// Base b; error
// Base d = Base::create();ok
// class D = Base(); error

结语:给读者的总结

继承不只是把代码抄一遍,它涉及到了:

  • 作用域屏蔽(隐藏规则)
  • 构造析构顺序(先父后子,相反析构)
  • 内存布局与切片(对象赋值丢失派生部分)
  • 多态与虚表(virtual 的神奇之处)
  • 菱形继承与虚基表(偏移量寻址)
  • 模板继承中的查找问题(依赖型名称)

掌握了这些底层原理,你才能在面对C++复杂的对象模型时游刃有余,写出健壮、高效、易维护的面向对象程序!

到此这篇关于C++ 继承从语法陷阱到内存底层的终极复习的文章就介绍到这了,更多相关C++ 继承语法内容请搜索脚本之家以前的文章或继续浏览下面的相关文章希望大家以后多多支持脚本之家!

相关文章

  • 浅谈C++中虚函数实现原理揭秘

    浅谈C++中虚函数实现原理揭秘

    下面小编就为大家带来一篇浅谈C++中虚函数实现原理揭秘。小编觉得挺不错的,现在就分享给大家,也给大家做个参考。一起跟随小编过来看看吧
    2016-06-06
  • c++临时对象导致的生命周期问题

    c++临时对象导致的生命周期问题

    对象的生命周期是c++中非常重要的概念,它直接决定了你的程序是否正确以及是否存在安全问题,这篇文章主要介绍了c++临时对象导致的生命周期问题 ,需要的朋友可以参考下
    2024-07-07
  • 用C/C++实现linux下检测网络接口状态

    用C/C++实现linux下检测网络接口状态

    这篇文章主要为大家详细介绍了用c/c++实现linux下检测网络接口状态,具有一定的参考价值,感兴趣的小伙伴们可以参考一下
    2018-06-06
  • 详解C语言之动态内存管理

    详解C语言之动态内存管理

    本文主要介绍了C语言动态内存管理的实现,文中通过示例代码介绍的非常详细,具有一定的参考价值,感兴趣的小伙伴们可以参考一下
    2021-11-11
  • C语言求向量和的两则问题解答分享

    C语言求向量和的两则问题解答分享

    这篇文章主要介绍了C语言求向量和的两则问题解答分享,分别是求连续子向量的最大和和任何连续最接近0的子向量的和的问题,需要的朋友可以参考下
    2016-04-04
  • C语言中system()执行cmd命令打开关闭程序的方法

    C语言中system()执行cmd命令打开关闭程序的方法

    今天小编就为大家分享一篇C语言中system()执行cmd命令打开关闭程序的方法。具有很好的参考价值,希望对大家有所帮助。一起跟随小编过来看看吧
    2018-05-05
  • 基于C/C++时间函数的使用详解

    基于C/C++时间函数的使用详解

    本篇文章是对C/C++时间函数的使用进行了详细的分析介绍,需要的朋友参考下
    2013-05-05
  • C++11新增的包装器详解

    C++11新增的包装器详解

    由于函数调用可以使用函数名、函数指针、函数对象或有名称的lambda表达式,可调用类型太丰富导致模板的效率极低。包装器用于解决效率低的问题
    2022-08-08
  • c语言中assert断言用法实例详解

    c语言中assert断言用法实例详解

    断言是C语言中一种用于检查程序中假设语句正确性的方法,通过使用断言,开发人员可以在程序中插入一些条件,以确保程序的执行满足特定的预期,这篇文章主要给大家介绍了关于c语言中assert断言用法的相关资料,需要的朋友可以参考下
    2024-02-02
  • 如何在C++中建立一个顺序表

    如何在C++中建立一个顺序表

    在使用顺序表之前,首先创建一个空的顺序表,也就是初始化顺序表。这里,在程序中只需设置顺序表的结点数量ListLen为0即可。这样,后面需要添加的数据元素将从顺序表的第一个位置存储
    2013-10-10

最新评论