C 语言复习总结记录八
一 调试
bug 计算机程序错误
调试(英语:Debugging / Debug),又称除错,是发现和减少计算机程序错误的一个过程
Debug 通常称为调试版本,它包含调试信息,并且不作任何优化,便于程序员调试程序
调试通常指在 Debug 版本环境中,找代码中潜伏问题的一个过程
Release 称为发布版本,它往往是进行了各种优化,使得程序在代码大小和运行速度上都是最优的,以便用户很好地使用
#include <stdio.h>
int main()
{
char* p = "Hello World";
printf("%s\n", p);
return 0;
}
右键项目,在文件夹里找到 release 和 debug 的可执行程序 .exe 文件,即可看到 release 占用的内存大小比 debug 版要小
Debug 版本
#include <stdio.h>
int main()
{
00007FF680D31E00 push rbp
00007FF680D31E02 push rdi
00007FF680D31E03 sub rsp,108h
00007FF680D31E0A lea rbp,[rsp+20h]
00007FF680D31E0F lea rcx,[__C788C0A1_test7@c (07FF680D4306Fh)]
00007FF680D31E16 call __CheckForDebuggerJustMyCode (07FF680D31384h)
00007FF680D31E1B nop
char* p = "Hello World";
00007FF680D31E1C lea rax,[string "Hello World" (07FF680D3AD78h)]
00007FF680D31E23 mov qword ptr [p],rax
printf("%s\n", p);
00007FF680D31E27 mov rdx,qword ptr [p]
00007FF680D31E2B lea rcx,[string "%s\n" (07FF680D3AD88h)]
00007FF680D31E32 call printf (07FF680D3119Fh)
00007FF680D31E37 nop
return 0;
00007FF680D31E38 xor eax,eax
}
00007FF680D31E3A lea rsp,[rbp+0E8h]
00007FF680D31E41 pop rdi
00007FF680D31E42 pop rbp
00007FF680D31E43 ret
release 版本
#include <stdio.h>
int main()
{
00007FF6D1F11070 sub rsp,28h
char* p = "Hello World";
printf("%s\n", p);
00007FF6D1F11074 lea rdx,[string "Hello World" (07FF6D1F12250h)]
00007FF6D1F1107B lea rcx,[string "%s\n" (07FF6D1F1225Ch)]
00007FF6D1F11082 call printf (07FF6D1F11010h)
return 0;
00007FF6D1F11087 xor eax,eax
}
00007FF6D1F11089 add rsp,28h
00007FF6D1F1108D ret
二 Windows 环境调试
选择 DEBUG 开发环境
2.1 快捷键
常用快捷键
F5 启动调试,直接跳到下一个断点处
F9 创建断点和取消断点(在程序的任意位置设置断点,使程序在想要的位置停止执行,继而一步步执行下去)
F10 逐过程,通常用来处理一个过程,一个过程可以是一次函数调用,或者是一条语句
F11 逐语句,就是每次都执行一条语句,使执行逻辑进入函数内部
CTRL + F5 开始执行不调试,让程序直接运行起来而不调试就可以直接使用
2.2 调试查看程序当前信息
#include <stdio.h>
int main()
{
int arr[10];
for (int i = 0;i < 10; ++i)
{
arr[i] = i;
}
return 0;
}
查看临时变量
在调试开始之后,用于观察变量的值
查看内存信息
在调试开始之后,用于观察内存信息
查看调用堆栈
通过调用堆栈,可以清晰的反应函数调用关系以及当前调用所处的位置
#include <stdio.h>
void test3()
{
printf("Hello World");
}
void test2()
{
test3();
}
void test1()
{
test2();
}
void test()
{
test1();
}
int main()
{
test();
return 0;
}
查看汇编信息
在调试开始之后,有两种方式转到汇编:
1、右击鼠标,选择【转到反汇编】
2、调试 -> 窗口 -> 反汇编
查看寄存器信息
三 调试实例
实例一
实现代码:求 1! + 2! + 3! … + n! 不考虑溢出
以下代码的问题是什么,熟练掌握调试流程
//个人实现
//int factorial(int n)
//{
// int curr = 1, res = 0;
// for (int i = 1; i <= n; ++i)
// {
// curr = curr * i;
// res += curr;
// }
// return res;
//}
int main()
{
int i = 0;
int sum = 0;//保存最终结果
int n = 0;
int ret = 1;//保存n的阶乘
scanf("%d", &n);
for(i=1; i<=n; i++)
{
int j = 0;
for(j=1; j<=i; j++)
{
ret *= j; //ret 没有重置为 1
}
sum += ret;
}
printf("%d\n", sum);
return 0;
}
实例二
研究程序死循环的原因
在 VS 2013 版本 debug 模式,执行下面代码会死循环
#include <stdio.h>
int main()
{
int i = 0;
int arr[10] = {0};
for(i=0; i<=12; i++)
{
arr[i] = 0;
printf("Hello World \n");
}
return 0;
}
高版本已经修复了该问题,i 的内存地址在数组首元素地址的下方
debug 版本运行时,程序正常中断
低版本会导致死循环的原因,首先需要知道两个小知识
① 局部变量是存储在栈空间的,且对于内存的使用习惯是先试用高地址空间,再使用低地址
② 数组随着下标的增长,地址是由低到高变化的
如果在 VS 2013 debug 过程中重复上面内存调试操作,可以看到变量 i 的内存地址和 arr[12] 是相同,也就导致了 当 i = 12
时 arr[12] = 0;
这个操作,直接把 i 的值也同步更改成了 0,因此导致死循环
那为什么低版本死循环就不会数组越界错误 ?
通过上述调试可以看到,报错是在循环结束后发生的,也就是只有当 for 的代码执行完毕后,才会触发 debug 异常机制,在 return 0 前抛出异常,数组遍历的下标越界。
类似的环境 VS 2013 — 2019 2 个整型, gcc 一个整型, VC6.0 h — 0 个整型
release 版本运行时,正常结束
release 版本会将一些代码进行优化,导致无法调试(正常结束是因为没有异常机制)
四 如何写好 (易于调试) 代码
4.1 好代码
-
代码运行正常
-
bug很少
-
效率高
-
可读性高
-
可维护性高
-
注释清晰
-
文档齐全
常见 coding 技巧:
-
使用 assert
-
尽量使用 const
-
养成良好的编码风格
-
添加必要的注释
-
避免编码的陷阱
4.2 示范
模拟实现库函数:strcpy
/***
*char *strcpy(dst, src) - copy one string over another
*
*Purpose:
* Copies the string src into the spot specified by
* dest; assumes enough room.
*
*Entry:
* char * dst - string over which "src" is to be copied
* const char * src - string to be copied over "dst"
*
*Exit:
* The address of "dst"
*
*Exceptions:
*******************************************************************************/
char * strcpy(char * dst, const char * src)
{
char * cp = dst;
assert(dst && src);
while( *cp++ = *src++ ) //注意 ;
; /* Copy src over dst */
return( dst ); //返回指针的起始地址
}
理解源码为什么可以被称为好代码
① 注释清晰:交代清楚函数功能,入参,返回值,及异常
② const char * src 在不能被更改的内容前加上 const
③ 返回值 char *,支持函数的链式调用,扩大该函数使用场景
④ assert 提前校验入参,防止空指针
⑤ *cp++ = *src++
妙用,把循环体和循环条件统一,干净简洁
4.3 const 作用
#include <stdio.h>
//代码1
void test1()
{
int n = 10;
int m = 20;
int *p = &n;
*p = 20; // yes
p = &m; // yes
}
void test2()
{
//代码2
int n = 10;
int m = 20;
const int* p = &n;
*p = 20; // no
p = &m; // yes
}
void test3()
{
int n = 10;
int m = 20;
int *const p = &n;
*p = 20; // yes
p = &m; // no
}
int main()
{
//测试无 cosnt 的
test1();
//测试 const 放在 * 的左边
test2();
//测试 const 放在 * 的右边
test3();
return 0;
}
const 修饰指针变量时:
-
const如果放在 * 的左边,修饰的是指针指向的内容,保证指针指向的内容不能通过指针来改变。但是指针变量本身的内容可变
-
const 如果放在 * 的右边,修饰的是指针变量本身,保证了指针变量的内容不能修改,但是指针指向的内容,可以通过指针改变
4.4 练习
模拟实现一个 strlen 函数
int my_strlen(const char* src)
{
assert(src);
int count = 0;
while (*src)
++src, ++count;
return count;
}
五 编程常见错误
5.1 编译型错误
直接看错误提示信息(双击),解决问题。或凭借经验可以搞定
5.2 链接型错误
看错误提示信息,主要在代码中找到错误信息中的标识符,然后定位问题所在。一般是标识符名不存在或者拼写错误
5.3 运行时错误
借助调试,逐步定位问题
提示:积累排错经验