程序员必备技能——调试技巧(二)

目录

一.前言

二.案例

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.

 

猜你喜欢

转载自blog.csdn.net/fax_player/article/details/132446146