C++的内存问题时常令人十分困惑。总结起来C++的内存问题可以分为以下几类

对于一个严谨的程序员是绝不能让内存访问问题带到正式发布版本的。因此需要一些工具来帮助我们排查内存相关问题。本文的示例代码为内存泄漏。

CppCheck是一个C/C++代码缺陷静态检查工具。不同于C/C++编译器及其它分析工具，CppCheck只检查编译器检查不出来的bug，不检查语法错误。所谓静态代码检查就是使用一个工具检查我们写的代码是否安全和健壮，是否有隐藏的问题。

在Ubuntu下只需要运行sudo apt install cppcheck即可安装。安装成功后，通过cppcheck --version命令，可以检查是否安装成功，以及查看版本。作者安装的版本是1.82。

cppcheck的使用也十分简单对于项检查的文件只需要输入cppcheck ${filename}即可。 例如在内存泄漏示例中，对main.cpp进行静态代码检查，会发现如下问题：

会发现在main.cpp第13行，出现了数组越界的问题，同时会发现代码中没有回收在开始时分配的内存。对于源代码分散在多个目录下的项目，可以直接把根目录作为cppcheck命令的参数，这样cppcheck就可以递归的检查该目录下所有的文件。

但是仅仅是静态代码检测是不足够的，细心地读者应该发现了其他的内存使用问题。事实上确实有很多问题不运行是难以发现的，因此需要valgrind进行更加完备的内存访问检测。

Valgrind 是一个用于构建动态分析工具的仪器框架。 Valgrind 工具可以自动检测许多内存管理和线程错误，并详细分析您的程序。您还可以使用 Valgrind 构建新工具。

Valgrind 发行版目前包括七个生产质量工具：一个内存错误检测器、两个线程错误检测器、一个缓存和分支预测分析器、一个调用图生成缓存和分支预测分析器，以及两个不同的堆分析器。可见valgrind是一个非常强大的CPP分析工具，在本文中主要介绍如何用valgrind进行内存问题的排查。

在Ubuntu系统中只需运行sudo apt install valgrind即可开启内存检测之旅。同样可以使用valgrind --version来检查是否安装成功并检查版本。作者安装的版本是3.13.0。

在使用valgrind进行内存泄漏检测时一定要用debug模式编译项目，否则valgrind无法获取问题出现的文件行数。编译完之后运行valgrind ./${executablefile}就可以对生成的可执行文件进行检测了。valgrind将会执行该文件，并记录下内存使用问题的位置。在我们检测示例得到的可执行文件，可以得到以下报告（为了节省篇幅，只截取报告问题的部分）。

报告中主要发现了两个问题，，一个是位于main.cpp:9的内存访问越界，另一个是位于main.cpp:17的对空指针的成员函数调用。其中第一个错误是因为在分配内存时，错误的使用sizeof()，只分配了4字节的容量，却将其误用为大小为100个int大小的内存区域。第二个错误是因为使用了空指针的成员变量（member,printer.cpp:7）。修正这两个错误，继续检测该程序。

依然检测到异常信息，但是并没有定位到有效位置，只定位到了程序的最后一行。这时需要增加选项--leak-check=full --show-leak-kinds=all，展示更多信息。最终得到更多的信息：

原来是程序开始时(main.cpp:7)分配的内存，没有被回收，与cppcheck检测结果一致。

修正错误之后依然会发现下面的错误，这是因为访问数组b时出现了越界。然而valgrind没有定位到具体位置，只是报了一个异常退出的错误。这里就不得不提到valgrind自身的局限性：不能检测在栈上分配内存的使用正确性。因此对于这种情况，可以结合cppcheck来共同检查，确保内存使用的正确性。