C++面经（六）

欢迎关注 0voice · GitHub

36 、内存泄漏的定义，如何检测与避免？

定义 ：内存泄漏简单的说就是申请了⼀块内存空间，使⽤完毕后没有释放掉。 它的⼀般表现⽅式是程序运⾏时间越

⻓，占⽤内存越多，最终⽤尽全部内存，整个系统崩溃。由程序申请的⼀块内存，且没有任何⼀个指针指向它，那

么这块内存就泄漏了。

如何检测内存泄漏

⾸先可以通过观察猜测是否可能发⽣内存泄漏， Linux 中使⽤ swap 命令观察还有多少可⽤的交换空间，在⼀

两分钟内键⼊该命令三到四次，看看可⽤的交换区是否在减少。

还可以使⽤ 其他⼀些 /usr/bin/stat ⼯具如 netstat 、 vmstat 等。如发现波段有内存被分配且从不释放，⼀个

可能的解释就是有个进程出现了内存泄漏。

当然也有⽤于内存调试，内存泄漏检测以及性能分析的软件开发⼯具 valgrind 这样的⼯具来进⾏内存泄漏的

检测。

37 、说⼀下平衡⼆叉树、⾼度平衡⼆叉树（ AVL ）

⼆叉树：任何节点最多只允许有两个⼦节点，称为左⼦节点和右⼦节点，以

递归的⽅式定义⼆叉树为，⼀个⼆叉树如果不为空，便是由⼀个根节点和左右两个⼦树构成，左右⼦树都可能为

空。

⼆叉搜索树：⼆叉搜索树可以 提供对数时间的元素插⼊和访问 。节点的放置规则是：任何节点的键值⼀定⼤于其左

⼦树的每⼀个节点的键值，并⼩于其右⼦树中的每⼀个节点的键值。因此⼀直向左⾛可以取得最⼩值，⼀直向右⾛

可以得到最⼤值。插⼊：从根节点开始，遇键值较⼤则向左，遇键值较⼩则向右，直到尾端，即插⼊点。删除：如

果删除点只有⼀个⼦节点，则直接将其⼦节点连⾄⽗节点。如果删除点有两个⼦节点，以右⼦树中的最⼩值代替要

删除的位置。

平衡⼆叉树：其实对于树的平衡与否没有⼀个绝对的标准， “ 平衡 ” 的⼤致意 思是：没有任何⼀个节点过深，不同的

平衡条件会造就出不同的效率表现。以及不同的实现复杂度。有数种特殊结构例如 AVL-tree, RB-tree, AA-tree ，均

可以实现平衡⼆叉树。

AVL-tree ：⾼度平衡的平衡⼆叉树（严格的平衡⼆叉树） AVL-tree 是要求任何节点的左右⼦树⾼度相差最多为 1

的平衡⼆叉树。 当插⼊新的节点破坏平衡性的时候，从下往上找到第⼀个不平衡点，需要进⾏单旋转，或者双旋转

进⾏调整。 38 、说⼀下红⿊树（ RB-tree ）

红⿊树的定义：

性质 1 ：每个节点要么是⿊⾊，要么是红⾊。

性质 2 ：根节点是⿊⾊。

性质 3 ：每个叶⼦节点（ NIL ）是⿊⾊。

性质 4 ：每个红⾊结点的两个⼦结点⼀定都是⿊⾊。

性质 5 ：任意⼀结点到每个叶⼦结点的路径都包含数ᰁ相同的⿊结点。

39 、说⼀下 define 、 const 、 typedef 、 inline 使⽤⽅法？

1 、 const 与 #define 的区别

const 定义的常ᰁ是变ᰁ带类型，⽽ #define 定义的只是个常数不带类型；

define 只在预处理阶段起作⽤，简单的⽂本替换，⽽ const 在编译、链接过程中起作⽤；

define 只是简单的字符串替换没有类型检查。⽽ const 是有数据类型的，是要进⾏判断的，可以避免⼀些低级错

误；

define 预处理后，占⽤代码段空间， const 占⽤数据段空间；

const 不能᯿定义，⽽ define 可以通过 #undef 取消某个符号的定义，进⾏᯿定义；

define 独特功能，⽐如可以⽤来防⽌⽂件᯿复引⽤。

2 、 #define 和别名 typedef 的区别

执⾏时间不同， typedef 在编译阶段有效， typedef 有类型检查的功能； #define 是宏定义，发⽣在预处理阶段，

不进⾏类型检查；

功能差异， typedef ⽤来定义类型的别名，定义与平台⽆关的数据类型，与 struct 的结合使⽤等。

#define 不只是可以为类型取别名，还可以定义常ᰁ、变ᰁ、编译开关等。

作⽤域不同， #define 没有作⽤域的限制，只要是之前预定义过的宏，在以后的程序中都可以使⽤。

⽽ typedef 有⾃⼰的作⽤域。

3 、 define 与 inline 的区别

#define 是关键字， inline 是函数；

宏定义在预处理阶段进⾏⽂本替换， inline 函数在编译阶段进⾏替换；

inline 函数有类型检查，相⽐宏定义⽐较安全；

40 、预处理，编译，汇编，链接程序的区别

⼀段⾼级语⾔代码经过四个阶段的处理形成可执⾏的⽬标⼆进制代码。

预处理器 → 编译器 → 汇编器 → 链接器：最难理解的是编译与汇编的区别。

这⾥采⽤《深⼊理解计算机系统》的说法。

预处理阶段： 写好的⾼级语⾔的程序⽂本⽐如 hello.c ，预处理器根据 # 开头的命令，修改原始的程序，如

#include<stdio.h> 将把系统中的头⽂件插⼊到程序⽂本中，通常是以 .i 结尾的⽂件。

编译阶段： 编译器将 hello.i ⽂件翻译成⽂本⽂件 hello.s ，这个是汇编语⾔程序。⾼级语⾔是源程序。所以注意概

念之间的区别。汇编语⾔程序是⼲嘛的？每条语句都以标准的⽂本格式确切描述⼀条低级机器语⾔指令。 不同的⾼

级语⾔翻译的汇编语⾔相同。

汇编阶段： 汇编器将 hello.s 翻译成机器语⾔指令。把这些指令打包成可᯿定位⽬标程序，即 .o ⽂件。 hello.o 是⼀

个⼆进制⽂件，它的字节码是机器语⾔指令，不再是字符。前⾯两个阶段都还有字符。

链接阶段： ⽐如 hello 程序调⽤ printf 程序，它是每个 C 编译器都会提供的标准库 C 的函数。这个函数存在于⼀个

名叫 printf.o 的单独编译好的⽬标⽂件中，这个⽂件将以某种⽅式合并到 hello.o 中。链接器就负责这种合并。得

到的是可执⾏⽬标⽂件。

41 、说⼀下 fork ， wait ， exec 函数

⽗进程产⽣⼦进程使⽤ fork 拷⻉出来⼀个⽗进程的副本，此时只拷⻉了⽗进程的⻚表，两个进程都读同⼀块内

存。

当有进程写的时候使⽤写实拷⻉机制分配内存， exec 函数可以加载⼀个 elf ⽂件去替换⽗进程，从此⽗进程和⼦进

程就可以运⾏不同的程序了。

fork 从⽗进程返回⼦进程的 pid ，从⼦进程返回 0 ，调⽤了 wait 的⽗进程将会发⽣阻塞，直到有⼦进程状态改变，

执⾏成功返回 0 ，错误返回 -1 。

exec 执⾏成功则⼦进程从新的程序开始运⾏，⽆返回值，执⾏失败返回 -1 。

42 、动态编译与静态编译

静态编译，编译器在编译可执⾏⽂件时，把需要⽤到的对应动态链接库中的部分提取出来，连接到可执⾏⽂件中

去，使可执⾏⽂件在运⾏时不需要依赖于动态链接库；

动态编译，可执⾏⽂件需要附带⼀个动态链接库，在执⾏时，需要调⽤其对应动态链接库的命令。所以其优点⼀⽅

⾯是缩⼩了执⾏⽂件本身的体积，另⼀⽅⾯是加快了编译速度，节省了系统资源。缺点是哪怕是很简单的程序，只

⽤到了链接库的⼀两条命令，也需要附带⼀个相对庞⼤的链接库；⼆是如果其他计算机上没有安装对应的运⾏库，

则⽤动态编译的可执⾏⽂件就不能运⾏。

43 、动态链接和静态链接区别

静态连接库就是把 (lib) ⽂件中⽤到的函数代码直接链接进⽬标程序，程序运⾏的时候不再需要其它的库⽂件；动态

链接就是把调⽤的函数所在⽂件模块（ DLL ）和调⽤函数在⽂件中的位置等信息链接进⽬标程序，程序运⾏的时候

再从 DLL 中寻找相应函数代码，因此需要相应 DLL ⽂件的⽀持。 静态链接库与动态链接库都是共享代码的⽅式，如果采⽤静态链接库，则⽆论你愿不愿意， lib 中的指令都全部被

直接包含在最终⽣成的 EXE ⽂件中了。但是若使⽤ DLL ，该 DLL 不必被包含在最终 EXE ⽂件中， EXE ⽂件执⾏时

可以 “ 动态 ” 地引⽤和卸载这个与 EXE 独⽴的 DLL ⽂件。

静态链接库和动态链接库的另外⼀个区别在于静态链接库中不能再包含其他的动态链接库或者静态库，⽽在动态链

接库中还可以再包含其他的动态或静态链接库。

动态库就是在需要调⽤其中的函数时，根据函数映射表找到该函数然后调⼊堆栈执⾏。如果在当前⼯程中有多处对

dll ⽂件中同⼀个函数的调⽤，那么执⾏时，这个函数只会留下⼀份拷⻉。但如果有多处对 lib ⽂件中同⼀个函数的

调⽤，那么执⾏时该函数将在当前程序的执⾏空间⾥留下多份拷⻉，⽽且是⼀处调⽤就产⽣⼀份拷⻉。