本文以Microsoft Visual Studio为例,简述C/C++程序断点调试的基本方法和过程。其它的IDE环境,大同小异。

1. 简介

在程序有BUG/缺陷,需要修复时,断点调试是发现缺陷的重要方法。对于初学者而言,断点调试还有另外一个用途:帮助理解程序背后的逻辑。

本文以Microsoft Visual Studio为例,简述C/C++程序断点调试的基本方法和过程。其它的IDE环境,大同小异。

版权声明

本文可以在互联网上自由转载,但必须:注明出处(作者:海洋饼干叔叔)并包含指向本页面的链接。

本文不可以以纸质出版为目的进行改编、摘抄。


在进行后续调试试验前,需要先对Microsoft Visual Studio的C/C++编译开发环境进行安装和配置。详细过程请参见下述链接:http://codelearn.club/2022/11/vs/

2. 程序代码

在Microsoft Visual Studio中创建一个Windows控制台应用项目,项目名称为DebugExample,然后将DebugExample.cpp中代码修改如下(复制粘接):

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
//Project - DebugExample
#include <stdio.h>
#include <stdbool.h>

bool isPrime(int n) { //函数的定义
if (n<=1)
return false;
for (int i=2;i<n;i++)
if (n % i == 0)
return false;

return true;
}

int main(){
printf("Try to find all prime number(<=10):\n");

int iFound = 0; //发现的质数个数
for (int i=2;
i<=10;
i++)
{
if (!isPrime(i))
continue;
iFound++;
printf("%d, ",i);
}

printf("\n%d prime numbers been found.",iFound);
return 0;
}

image-20221212170946254

上述程序的用途在于找出2 ~ 10之间的全部质数并打印出来。请读者注意第19 ~ 21行,for循环的初始化语句,测试表达式,更新表达式故意分作了三行,以便于观察。

3. 断点

image-20221212171344842

在第18行代码的行号左边单击鼠标,便会出现如图所示的红色断点(break point),在相同位置再次单击,断点便会消失。可以给同一段程序添加多个断点。

4.调试

image-20221212171431094
在打好断点后,选择菜单调试-开始调试。

image-20221212171541740

与正常的程序运行不动,程序并没有“一口气”从头执行到尾,而是暂停在了第18行的断点处。图中的黄色箭头表明程序的当前执行点,准确地说,箭头所指的行是接下来准备执行的代码行。

在窗口的左下角,自动窗口中可以看到程序在当前执行阶段的局部变量的名称及当前值。可以看到,此时有iFound变量存在,其值为0。
注意:此时iFound的0值是不确定的,事实上,0到iFound的赋值尚未执行。

image-20221212171859952

在调试菜单中,可以看到诸多调试选项,其中常用的有:逐语句,逐过程,跳出。在调试过程中,读者既可以使用菜单项,也可以使用快捷键,或者工具条中的工具按钮来发出调试命令。

image-20221212172203052

点击逐语句(F11),可以看到第18行被执行,黄色箭头指向第19行。此时,for循环内的局部变量i出现在下方列表中。请读者注意此时i的当前值为690,而不是2,因为for循环的初始化语句尚未执行。

注意:在变量没有被初始化前,其值是不确定的,所以读者真实调试时,得到的值很可能不是690。

image-20221212172639207

再次点击逐语句(F11),第19行被执行,可见变量列表中的i值变成了2。黄色箭头来到了第20行,这是for循环的条件判断表达式。

image-20221212172751272

继续按下F11,for循环在进行了条件判断后,准备执行循环体,黄色箭头来到第23行。

第23行涉及一次函数调用,如果操作者希望观察isPrime( )函数内部的执行过程,应按F11。如果操作者不关心isPrime( )内部的执行过程,只关心23行的总体执行结果,则按逐过程(F10)。本次,我们按逐语句(F11)。

image-20221212173403590

image-20221212173432559

连按两次F11后,我们进入到了isPrime( )函数内部,黄色箭头指向第6行。对于isPrime( )函数而言,当前其局部变量仅有1个,即函数的形式参数n。该参数的值应由调用者传递进来。在下方的列表中,我们看到该值为2。

image-20221212173603382

一直按F11,直到isPrime()返回,由于2是质数,所以isPrime()函数返回真(见下方列表)。

image-20221212173731880

再次按下F11, 由于第23行不是质数的条件不成立,第24行不会被执行,黄色箭头略过了第24行,指向了第25行。

image-20221212173823331

再次按下F11,黄色箭头来到第26行,可见由于第25的执行,iFound由0变1.

image-20221212174013672

一直按逐过程(F10)进行循环,直到i = 4且黄色箭头指向第23行。

image-20221212174303774

本次我们选择不进入isPrime()函数,再次按下逐过程(F10)。由于i=4不是质数,因此第23行的条件成立,黄色箭头跳转到第24行的continue语句。

根据continue的语义,其将略过本轮循环的剩余语句(第25 ~ 26行),直接尝试下一轮循环。

image-20221212174350856

按下逐语句(F11),可以看到,continue直接略过了第25 ~ 26行的剩余循环代码,直接跳到了for循环的更新表达式,如图中红色箭头所示。

image-20221212174533161

再次按下F11,可见for循环在更新表达式执行后再次来到了循环测试表达式(第20行),如果测试通过,将执行循环体,否则循环结束。

5.观察输出

image-20221212174658206

在程序调试过程中,可以随时通过Alt+Tab组合键或者点击Windows任务栏图标切换至TERMINAL(终端),该终端中展示了程序当前执行阶段的全部输出。如果程序在执行过程中需要读取输入,也应在其中录入。

可以看到,2,3两个质数已被找出,4是合数被略过,正准备考察整数5。

6. 去除断点

如果调试的目的已达成,准备放弃调试,可以再次单击红色断点将其取消,如下图(第18行左侧红框处):

image-20221212175011973

image-20221212175055420

此时,可以选择调试-继续(F5),在没有断点的情况下将程序执行完;也可以选停止调试,强行中止程序的执行。

7. 继续执行

取消断点后,我们选择了继续执行。程序执行完成后,IDE中与调试相关的箭头,局部变量列表等均消失不见,恢复至常规编辑界面。

image-20221212175338296

在终端里,我们看到程序的全部执行结果。