一.前言
上文我们提到了许多关于调试的小技巧,接下来我们来应用调试技巧对更多例子进行纠错修整。
二.案例
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.