实用调试技巧

  • 什么是bug？
  • 调试是什么？有多重要？
    • 什么是调试
    • 调试的基本步骤
  • Debug和Release的介绍
  • Windows环境调试介绍
    • 调试环境的准备
    • 快捷键的使用
    • 调试的时候查看程序当前信息
        • 查看断点信息
        • 查看临时变量的值
        • 查看局部变量的值
        • 查看内存信息
        • 查看汇编信息
        • 查看寄存器信息
        • 查看调用堆栈
  • 一些调试的实例
  • 如何写出好（易于调试）的代码
    • const的作用
  • 编程常见的错误

什么是bug？

第一次被发现的导致计算机错误的飞蛾，也是第一个计算机程序错误。

计算机程序或者硬件里面存在的这种缺陷—bug（程序错误或程序缺陷）

调试是什么？有多重要？

找bug的过程—调试

所有发生的事情都一定有迹可循，如果问心无愧，就不需要掩盖也就没有迹象了，如果问心有愧，就必然需要掩盖，那就一定会有迹象，迹象越多就越容易顺藤而上，这就是推理的途径。顺着这条途径顺流而下就是犯罪，逆流而上，就是真相。

一名优秀的程序员是一名出色的侦探。每一次调试都是尝试破案的过程。

什么是调试

迷信式调试


这种迷信式调试是错误的，要拒绝迷信式调试。

调试（英语：Debugging / Debug），又称除错，是发现和减少计算机程序或电子仪器设备中程序错误的一个过程

调试的基本步骤

  • 发现程序错误的存在
  • 以隔离、消除等方式对错误进行定位
  • 确定错误产生的原因
  • 提出纠正错误的解决办法
  • 对程序错误予以改正，重新测试

Debug和Release的介绍

Debug 通常称为调试版本，它包含调试信息，并且不作任何优化，便于程序员调试程序。

Release 称为发布版本，它往往是进行了各种优化，使得程序在代码大小和运行速度上都是最优的，以便用户很好地使用。

VS编译器中的Debug和Release版本：

实例一：

#include int main(){int arr[10] = { 0 };int sz = sizeof(arr) / sizeof(arr[0]);int i = 0;for (i = 0; i < sz; i++){arr[i] = i + 1;}return 0;}

在Debug环境中生成的可执行程序：

在Release环境中生成的可执行程序：

注：

  • Release版本是不能进行调试的
  • Release版本和Debug版本会有一些运行的差异，因为Release版本会自主的对代码进行各种优化，而优化了之后可能会产生结果跟Debug版本是不相同的
  • Release版本要比Debug版本生成的可执行程序的大小要小得多，因为Release版本进行了各种优化而Debug版本包含调试信息并且不作任何优化。

Windows环境调试介绍

注：linux开发环境调试工具是gdb，详情了解Linux环境基础开发工具使用

调试环境的准备

注：在环境中选择 debug 选项，才能使代码正常调试。

快捷键的使用

最常使用的几个快捷键：

  • F5：启动调试，经常用来直接调到下一个断点处。（F5跳转到程序执行过程中的逻辑上的下一个断点）
  • F9：创建断点和取消断点 断点的重要作用是可以在程序的任意位置设置断点。这样就可以使得程序在想要的位置随意停止执行，继而一步步执行下去。


注：F9和F5是配合使用的，这样可以提高调试的效率

  • F10：逐过程，通常用来处理一个过程，一个过程可以是一次函数调用，或者是一条语句。

  • F11：逐语句，就是每次都执行一条语句，但是这个快捷键可以使得执行逻辑可以进入到函数内部（这是最常用的）。

  • CTRL + F5：开始执行不调试，如果想让程序直接运行起来而不调试就可以直接使用

注：开始执行不调试即使剩了断点也可以不调试

调试的时候查看程序当前信息

查看断点信息

在调试开始之后，用于观察断点信息。

查看临时变量的值

在调试开始之后，用于观察变量的值。

在写代码的过程中监视窗口里面其实就是观察程序里面的相关信息。监视窗口里想观察什么把合理的合法的表达式放到监视窗口里就可以了。


自动监视窗口会监视谁要看谁的信息这都是编译器自动加进去的，自动窗口会自动的把某一些变量的值放进去监视不要了去掉。自动窗口中的数据的变化和监视窗口是一样的效果，但是监视窗口中的内容想看一直是存在的不会自动删除掉，不想要时可以删除。而自动窗口会根据自己的情况自动添加和删除信息。

一般情况下，程序员用的是监视窗口

查看局部变量的值

在调试开始之后，用于观察局部变量的值。

局部变量窗口监视的是程序执行到当前位置时的上下文环境中的局部变量，它会自主放到这个地方进行相关的监视

查看内存信息

在调试开始之后，用于观察内存信息。

查看汇编信息

在调试开始之后，有两种方式转到汇编： （1）第一种方式：右击鼠标，选择【转到反汇编】：

（2）第二种方式：

可以切换到汇编代码。

查看寄存器信息

在调试开始之后，用于观察寄存器信息。


可以查看当前运行环境的寄存器的使用信息。

程序在运行的过程中寄存器的值随时发生变化

查看调用堆栈

在调试开始之后，用于查看函数调用的相关信息。

通过调用堆栈，可以清晰的反应函数的调用关系以及当前调用所处的位置。

函数调用堆栈反馈的是函数调用逻辑

补充条件断点的使用：

注意：

  • 上面所提到的都是一些简单的调试。 以后可能会出现很复杂调试场景，例如：多线程程序的调试等。
  • 多多使用快捷键，提升效率。

一些调试的实例

实例一：

实现代码：求 1！+2！+3！ …+ n! ；不考虑溢出。

int main(){ int i = 0; int sum = 0;//保存最终结果 int n = 0; int ret = 1;//保存n的阶乘 scanf("%d", &n); for(i=1; i<=n; i++) { int j = 0; for(j=1; j<=i; j++) { ret *= j; } sum += ret; } printf("%d\n", sum); return 0;}

这时候如果输入3，期待输出9，但实际输出的是15。因为每次循环时（累加阶乘时）ret未置成1。

解决问题时要注意：

  1. 首先推测问题出现的原因。初步确定问题可能的原因最好。
  2. 实际上手调试很有必要。
  3. 调试的时候我们要心里有数（预期）。

调试解决的就是运行时错误

实例二：（经典笔试题）

#include int main(){int i = 0;int arr[10] = { 0 };for (i = 0; i <= 12; i++){arr[i] = 0;printf("hehe\n");}return 0;}

运行结果是死循环。因为i和arr是两个局部变量，先创建i再创建arr，局部变量是存放在栈区上的，栈区的使用习惯是先使用高地址空间再使用低地址空间，所以内存的布局就是下图这样的。因为数组随着下标的增长地址是由低到高变化的，所以数组如果用下标来进行访问的时候只要适当的往后越界就有可能覆盖上i，就有可能导致程序的死循环 。

代码调试过程：


局部变量在栈区中的分布：

注：

  • 当程序出现死循环时，它在死循环的一直运行没有机会报错
  • 局部变量是放在栈区上的
  • 栈区内存的使用习惯是:先使用高地址空间，再使用低地址空间
  • 数组随着下标的增长地址是由低到高变化的
  • 上面i和arr的分布在VC6.0编译器下是存在0个整形的；在GCC编译器下是存在1个整型的；在VS编译器下是存在2个整型的
  • 栈的存储结构以及写代码的顺序完全有机会有可能导致程序死循环

补充：

release版本可能会优化代码

运行结果是在release版本中没有死循环，release版本是做过优化的


变量在内存中开辟的顺序发生了变化，影响到了程序执行的结果（编译器在release版本进行了优化）。

如何写出好（易于调试）的代码

优秀的代码：

  1. 代码运行正常
  2. bug很少
  3. 效率高
  4. 可读性高
  5. 可维护性高
  6. 注释清晰
  7. 文档齐全

常见的coding技巧：

  • 使用assert
  • 尽量使用const
  • 养成良好的编码风格
  • 添加必要的注释
  • 避免编码的陷阱

注：作为一名合格的程序员要预防发生错误，通过编码的技巧减少程序中错误的可能性。

实例一：

模拟实现库函数：strcpy

strcpy函数的使用：

#include int main(){char arr1[20] = "xxxxxxxxxx";char arr2[] = "hello";strcpy(arr1, arr2); //hello\0xxxx\0\0\0\0\0\0\0\0\0\0printf("%s\n", arr1);//helloreturn 0;}

strcpy()函数：是将一个字符串复制到另一块空间地址中的函数，‘\0’是停止拷贝的终止条件，同时也会将 ‘\0’ 复制到目标空间。

strcpy函数的模拟实现：

#include //strcpy函数：把src指向的内容拷贝放进dest指向的空间中//从本质上讲，希望dest指向的内容被修改，src指向的内容不应该被修改//strcpy 这个库函数 其实返回的是目标空间的起始地址char* my_strcpy(char* dest, const char * src){assert(src != NULL);//断言assert(dest != NULL);//断言char* ret = dest;while (*dest++ = *src++){;//hello的拷贝}return ret;//返回目标空间的起始地址}int main(){char arr1[20] = "xxxxxxxxxxx";char arr2[] = "hello";//1. 目标空间的起始地址，2. 源空间的起始地址printf("%s\n", my_strcpy(arr1, arr2));//链式访问return 0;}

实例二：

模拟实现库函数：strlen

strlen函数用于求字符串长度

#include size_t my_strlen(const char* str){//assert(str != NULL);assert(str);size_t count = 0;while (*str != '\0'){count++;str++;}return count;}int main(){char arr[] = "abc";int len = my_strlen(arr);printf("%d\n", len);return 0;}

注：

  • 空指针不能解引用操作的，不能直接进行内存访问的
  • assert（）—断言（如果满足某个条件时不允许发生某些事情时断言就会报错）
  • 当assert（）断言时不期望某一些事情发生，当这些事情发生时assert（）就会把这些错误信息报给程序员，让程序员明确知道这个错误在哪个文件的哪一行，从而很快的定位问题所在
  • assert（）函数如果函数传递过来的参数使得assert函数中的条件为真什么事情都不发生，如果这个条件为假断言就会报错
  • assert函数使代码很容易可以发现问题并且把问题抛出来确定问题所在
  • assert（）是一个宏，使用时引入头文件assert.h

总结：

  1. 分析参数的设计（命名，类型），返回值类型的设计
  2. 野指针的危害。
  3. assert的使用。
  4. 参数部分 const 的使用以及const修饰指针的作用
  5. 注释的添加

const的作用

实例一：

int main(){//const 修饰变量，这个变量就被称为常变量,不能被修改，但是本质上还是变量const int num = 10;//num = 20;//errconst int* p = &num; //等价于int const * p = &num;int n = 100;//const 如果放在*的左边，修饰的是*p,表示指针指向的内容，是不能通过指针来改变的，但是指针变量本身是可以修改的//*p = 20;errp = &n;printf("%d\n", num);return 0;}

注：const 如果放在*的左边，修饰的是指针指向的内容，是不能通过指针来改变的，但是指针变量本身是可以修改的。

实例二：

int main(){//const 修饰变量，这个变量就被称为常变量,不能被修改，但是本质上还是变量const int num = 10;//num = 20;//errint* const p = &num;int n = 100;//const 如果放在*的右边，修饰的是指针变量p,表示指针变量不能被改变,但是指针z指向的内容是可以被改变的*p = 20;//p = &n;//errprintf("%d\n", num);return 0;}

注：const 如果放在*的右边，修饰的是指针变量,表示指针变量不能被改变,但是指针指针的内容是可以被改变的。

const修饰指针变量总结：

  1. const如果放在*的左边，修饰的是指针指向的内容，保证指针指向的内容不能通过指针来改变。但是指针变量本身的内容可变。
  2. const如果放在*的右边，修饰的是指针变量本身，保证了指针变量的内容不能修改，但是指针指向的内容，可以通过指针改变

补充：

  • int const * const * const p 第一个const修饰的是**p 第二个const修饰的是*p 第三个const修饰的是p
  • 鲁棒性和健壮性是一个意思
  • VS编译器中__cdecl—函数调用约定（函数调用传参时传参顺序由函数调用约定决定的，函数调用约定决定了函数调用里面的一些细节的一些规则）

编程常见的错误

常见的错误分类：

  • 编译型错误
    直接看错误提示信息（双击），解决问题。或者凭借经验就可以搞定。相对来说简单。

注：编译型错误一般指的是语法错误

  • 链接型错误
    看错误提示信息，主要在代码中找到错误信息中的标识符，然后定位问题所在。一般是标识符名不存在或者拼写错误。

注：链接型错误出现的可能要么这个符号就不存在，要么符号写错了

  • 运行时错误
    借助调试，逐步定位问题。最难搞。

补充：extern用于声明外部符号