程序员必备技能——调试技巧（二）

目录

一.前言

二.案例

2.1 例1

 ​编辑

 2.2 例2

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

3.1 优秀的代码

3.2 示范

3.3 const的作用

---

一.前言

上文我们提到了许多关于调试的小技巧，接下来我们来应用调试技巧对更多例子进行纠错修整。

二.案例

2.1 例1

 

这时候我们就需要用调试来查看各项数值是否正确。我们输入3：

可以看到求1的阶层各个数值是没问题的。

 2的阶层也没有问题。

 3的阶层反而出现问题了，ret应该是6但缺变成了12.那就可以推测ret原来是有数值2的，而凭空多出来的2是上一次2的阶层保留下来的结果，我们没能对ret及时初始化才照成错误。

 2.2 例2

 在有数组越界的问题中，程序无限循环地打印hehe。

下面我们先改变数组元素，然后来调试查看错误。

 当我们改到下标9时目前是正常的，刚好打印10个hehe。

 前2次越界的数组都是随机值，都可以改为0. 

当我们查看i=12时，情况发生了变化。如果我们尝试改为0，发现i与arr[12]都变成0了。

 

我们查看二者地址发现是一样的。正因为地址一样，所以i是没有限制的，每次一到12就又变成0.

我们最后发现这是一个巧合（i和arr之间因为编译器的原因刚好空2格），在vs2022的x86环境中（不同的编译器arr和i的空格不一样），i的内存刚好在12处，而数组越界又刚好能到12，所以不管i后续是13还是14等，只要到了12，因为地址一致的缘故都会重新跟着arr[12]变为0.

 我们切换到release版本来验证发现是正常的。 

打印地址发现i变小了，按照debug的话i的地址是要在arr后面的。它把i与arr在内存中的位置更改了，这样就不会发生越界现象。这就是release优化。

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

3.1 优秀的代码

 

 

3.2 示范

实现strcopy功能：

 改良后的代码：通过字符的阿斯马值来作为条件判断，只有遇到字符‘0’时才不进入循环。

当数组有一个是空指针时，我们可以加入一个空指针的阻拦条件（assert——断言），在函数中宏定义断言，这样当断言内容触发时就会显示有问题的地方。 

 小细节：创造一个字符变量存储dest,确保返回的是初始地址（因为原dest的地址已经指向数组某一处去了，不再是起始地址。）

 

3.3 const的作用

正常情况下Num的值是不会被修改的，但把Num的地址传输给指针变量反而修改了num。

 

const放*左边时限制*p，数值无法修改。 

 

const放*右边时限制p，地址无法接收。

 

 同理如果在*两边都加上const，那么*p不能改数值，p不能接收地址。

 不希望src里面的数值被修改，那么可以在接收的时候在*左边加上const.