【VS实用调试技巧】

一、什么是bug?

bug本意是“昆虫”或“虫子”，现在⼀般是指在电脑系统或程序中，隐藏着的⼀些未被发现的缺陷或问题，简称程序漏洞。
“Bug”的创始⼈格蕾丝·赫柏（GraceMurrayHopper），她是⼀位为美国海军⼯作的电脑专家，1947年9月9日，格蕾丝·赫柏对HarvardMarkII设置好17000个继电器进行编程后，技术⼈员正在进行整机运行时，它突然停止了工作。于是他们爬上去找原因，发现这台巨⼤的计算机内部⼀组继电器的触点之间有⼀只飞蛾，这显然是由于飞蛾受光和热的吸引，飞到了触点上，然后被高电压击死。所以在报告中，赫柏⽤胶条贴上飞蛾，并把“bug”来表示“⼀个在电脑程序⾥的错误”，“Bug”这个说法⼀直沿用到今天。

                                        历史上的第⼀个bug（图⽚来⾃⽹络）

二、什么是调试(debug)?

当我们发现程序中存在的问题的时候，那下⼀步就是找到问题，并修复问题。 这个找问题的过程叫称为调试，英⽂叫debug（消灭bug）的意思。调试⼀个程序，⾸先是承认出现了问题，然后通过各种⼿段去定位问题的位置，可能是逐过程的调 试，也可能是隔离和屏蔽代码的⽅式，找到问题所的位置，然后确定错误产⽣的原因，再修复代码， 重新测试。

三、Debug和Release 

在VS上编写代码的时候，就能看到有 debug 和 release 两个选项，分别是什么意思呢？

Debug通常称为调试版本，它包含调试信息，并且不作任何优化，便于程序员调试程序；程序员在写代码的时候，需要经常性的调试代码，就将这⾥设置为 debug ，这样编译产⽣的是
debug 版本的可执⾏程序，其中包含调试信息，是可以直接调试的。

Release称为发布版本，它往往是进⾏了各种优化，使得程序在代码⼤⼩和运⾏速度上都是最优的，以便⽤⼾很好地使⽤。当程序员写完代码，测试再对程序进⾏测试，直到程序的质量符合交付给⽤户使⽤的标准，这个时候就会设置为 release ，编译产⽣的就是 release 版本的可执⾏程序，这个版本是⽤户使⽤的，⽆需包含调试信息等。
 

                                                release版本和debug版本的对比

对⽐可以看到从同⼀段代码，编译⽣成的可执⾏⽂件的大小，release版本明显要小，而debug版本明显⼤。

四、VS调试快捷键

4.1、环境准备

⾸先是环境的准备，需要⼀个⽀持调试的开发环境，我们上课使⽤VS，应该把VS上设置为Debug，如图：

4.2、调试快捷键

调试最常使⽤的几个快捷键：

F9：创建断点和取消断点

断点的作⽤是可以在程序的任意位置设置断点，打上断点就可以使得程序执⾏到想要的位置暂定执 ⾏，接下来我们就可以使⽤F10，F11这些快捷键，观察代码的执⾏细节。

条件断点：满⾜这个条件，才触发断点

F5：启动调试，经常⽤来直接跳到下⼀个断点处，⼀般是和F9配合使⽤。

F10：逐过程，通常⽤来处理⼀个过程，⼀个过程可以是⼀次函数调⽤，或者是⼀条语句。F11：逐语句，就是每次都执⾏⼀条语句，但是这个快捷键可以使我们的执行逻辑进⼊函数内部。在函数调⽤的地⽅，想进⼊函数观察细节，必须使⽤F11，如果使⽤F10，直接完成函数调⽤。

CTRL+F5：开始执⾏不调试，如果你想让程序直接运⾏起来⽽不调试就可以直接使用。

五、监视和内存观察

在调试的过程中我们，如果要观察代码执⾏过程中，上下文环境中的变量的值，有哪些方法呢？ 这些观察的前提条件⼀定是开始调试后观察，比如：

#include <stdio.h>
int main()
{
    int arr[10] = { 0 };
    int num = 100;
    char c = 'w';
    int i = 0;
    for (i = 0; i < 10; i++)
    {
        arr[i] = i;
    }
    return 0;
}

5.1、监视

开始调试后，在菜单栏中【调试】->【窗⼝】->【监视】，打开任意⼀个监视窗口，输⼊想要观察的对象就行。

打开监视窗口：

在监视窗口中观察：

5.2、内存

如果监视窗⼝看的不够仔细，也是可以观察变量在内存中的存储情况，还是在【调试】->【窗⼝】-> 【内存】

打开内存窗口：

在内存窗口中观察数据：

                                                                内存窗口怎么看

·                                                        内存窗口设置列

在打开内存窗⼝后，要在地址栏输⼊：arr，&num，&c，这类地址，就能观察到该地址处的数据。

                                                                调试内存窗口演示

除此之外，在调试的窗⼝中还有：⾃动窗口，局部变量，反汇编、寄存器等窗口，请大家自行验证使用一下。

六、调试举例

求1! + 2! + 3! + 4! + ... + 10!的和

我们先尝试一下简单的阶乘看看代码的功能是否正确:

大家从上面的代码运行结果来看,我们刚才写的代码有一些小问题,1! + 2! + 3!应该等于9,可我们却输出了15,这是什么原因呢?

此时我们就可以借助调试功能来查看错误原因:

我们通过监视窗口来观察各个变量在程序运行过程中的值的变化:上图为程序刚开始运行的时候

此时我们刚刚经过第一次循环,发现各个变量的值没有问题(上图).

经过验证我们发现:前两次的阶乘毫无问题,那由此可见在第三次计算阶乘相加时出现了问题

果然,结果和我们预料的一样:问题出在了ret这个变量身上,每次计算阶乘时它总是会保留上一次计算的结果,从而对程序的总体造成影响,从以上例子可知,调试有的时候还是比眼睛直勾勾去看来得简便!

以下为正确的程序和程序的优化:

int main()
{
	int i = 0;
	int n = 0;
	int ret = 1;
	int sum = 0;
	//1! + 2! + 3! = 1 + 2 + 6 = 9
	for (int n = 1; n <= 3; n++)
	{
		for (int i = 1; i <= n; i++)//求n的阶乘
		{
			ret *= i;
		}
		sum += ret;
		ret = 1;
	}
	printf("%d", sum);
	return 0;
}

//1! = 1
//2! = 1 x 2
//3! = 1 x 2 x 3
//4! = 1 x 2 x 3 x 4
int main()
{
	int i = 0;
	int n = 0;
	int ret = 1;
	int sum = 0;
	scanf("%d", &n);
	for (int i = 1; i <= n; i++)//求n的阶乘
	{
		ret *= i;
		sum += ret;
	}
	printf("%d", sum);
	return 0;
}

七、调试举例2

在VS2022、X86、Debug的环境下，编译器不做任何优化的话，下面代码执行的结果是啥？
 

int main()
{
	int i = 0;
	int arr[10] = { 1,2,3,4,5,6,7,8,9,10};
	for (i = 0; i <= 12; i++)
	{
		arr[i] = 0;//数组越界了
		printf("hehe\n");
	}
	return 0;
}

程序运行，死循环了，这时我们可以运用调试看看为什么？

从这张图我们可以看到数组arr[12]的地址居然和i的地址相同,那么我们可以知道将arr[12]修改成0则相应的i也变成0，故死循环产生。

接下来我们探究一下造成这种原因的计算机底层原因是什么?

1. 栈区内存的使⽤习惯是从高地址向低地址使用的，所以变量i的地址是较大的。arr数组的地址整体是小于i的地址。

2. 数组在内存中的存放是：随着下标的增⻓，地址是由低到高变化的。所以根据代码，就能理解为什么是左边的代码布局了。如果是左边的内存布局，那随着数组下标的增⻓，往后越界就有可能覆盖到i，这样就可能造成死循环的。
这里肯定有人有疑问啦：为什么i和arr数组之间恰好空出来2个整型的空间呢？这里确实是巧合，在不同的编译器下可能中间的空出的空间⼤小是不⼀样的，代码中这些变量内存的分配
和地址分配是编译器指定的，所以的不同的编译器之间就有差异了。所以这个题⽬是和环境相关的。

八、编译常见错误归类

8.1、编译型错误

编译型错误⼀般都是语法错误，这类错误⼀般看错误信息就能找到⼀些蛛丝马迹的，双击错误信息也能初步的跳转到代码错误的地⽅或者附近。编译错误，随着语⾔的熟练掌握，会越来越少，也容易解决。

8.2、链接型错误 

看错误提示信息，主要在代码中找到错误信息中的标识符，然后定位问题所在。⼀般是因为
• 标识符名不存在
• 拼写错误
• 头⽂件没包含
• 引⽤的库不存在
 

8.3、运行时错误 

运行时错误，是千变万化的，这时候就需要借助我们今天介绍的调试啦，逐步定位问题，而调试解决的是运⾏时问题。 

九、补充

9.1、release版本的优化观察

程序在X86环境下死循环

而在release环境下不报错也不出现死循环

我们比较一下在release和debug环境下i和数组arr的地址:

我们不难发现i的地址变得比arr要小,不在像原先那样先存放在高地址,后存放于低地址(自动优化)。

9.2、栈区空间,默认是先使用高地址,后使用低地址,具体看实现

int main()
{
	int a = 10;
	int b = 20;
	printf("%p\n", &a);
	printf("%p\n", &b);
	return 0;
}

上述代码在X86环境下的地址:

我们可以看到a变量先于b创建，则a的地址默认要大于b。

而在X64环境下地址会不同于X86:

故由此可以看出创建变量所分配的地址的高低是由编译器不同环境所决定的,具体看实现!