GDB简介
GDB(GNU Debugger)是一个强大的命令行调试工具。一般的,在Windows下进行开发,很少操控命令行调试,调试器大多与编译器都集成在IDE里了。当然在Windows下也可以直接使用gcc、gdb来做编译调试我们的C程序,如MinGW( 一个可自由使用和自由发布的Windows特定头文件和使用GNU工具集导入库的集合 )中就同时包含有gcc与gdb工具:
使用gdb -v
命令可查看gdb的版本:
但是,在Linux下进行开发,gdb工具是必知必会的工具之一。小编最近也转战Linux了,自然也要掌握一些必知必会的基础工具及知识。小编也是用到哪学到哪,本篇笔记我们先来分享gdb的使用:
实例演示GDB的使用
老读者们都知道,本公众号文章的特点之一就是实例比较多、可操作性比较强,跟着文章一步一步做应该可以学到一些东西。同样的,本篇笔记我们也以实例来做分析。
示例代码gdb_test.c:
// 公众号:嵌入式大杂烩
// 作者:ZhengN
#include <stdio.h>
// 测试函数1
void test0(void)
{
int i = -1;
if (i = 0)
printf("i = %d\n", i);
else if (i = 1)
printf("i = %d\n", i);
else
printf("i = %d\n", i);
}
// 测试函数2
void test1(void)
{
int a[10] = {0,1,2,3,4,5,6,7,8,9};
int *p = &a[1];
int *p1 = (int*)(&a + 1);
printf("p[6] = %d\n", p[6]);
printf("*(p1 - 1) = %d\n", *(p1 - 1));
}
// 主函数
int main(int argc, char *argv[])
{
test0();
test1();
return 0;
}
这个示例代码中有两个测试函数,其实也是两道经典易错的面试笔试题。大家可以先思考一下结果是什么。下面我们使用gdb来一步一步调试及分析,在Windows下做实验,Linux下的操作类似。
一般的,我们使用如下命令来编译:
gcc gdb_test.c -o gdb_test.exe
这样编译出来的gdb_test.exe是不带调试信息的。我们必须编译出带有调试信息(如行号等信息)的可执行文件才能使用gdb进行调试。在以上基础上加个-g
参数即可生成调试信息。
除此之外,我们编译时应不使用优化选项,若使用优化,则编译器会对程序进行一些优化,有可能会更改语句的顺序及优化一些变量,从而可能会导致程序执行流程与源码流程不匹配的情况。进一步,可以使用-Wall
参数打开所有警告,所以我们的编译命令变为:
gcc -g -Wall gdb_test.c -o gdb_test.exe
1、GDB常用命令
下面粗略地列出一些常用的命令:
2、demo调试分析
使用上面的编译命令编译得到带调试信息的可执行程序gdb_test.exe,有两种方法启动调试。
一种方法是先输入gdb命令进入gdb环境,再输入file+可执行程序
装入调试文件,即:
另一种方法是直接输入gdb+可执行程序
对该程序进行调试,即:
(1)调试测试函数1
上面的测试函数1大家思考得出结果了吗?我们单步调试看看结果是怎么样的:
① 在test1函数入口打个断点:
② 运行到断点处:
③ 单步往下执行:
显然,单步运行到了这一句我们就得出了测试函数1的结果,即输出 i = 1
。大家分析得对了吗?这要是不注意还真的容易出错,这里的if判断条件里用的是=
号,而不是==
号,这个小陷阱可能会迷惑一些初学C语言的朋友。
if语句的通用形式为:
if (expression)
statement
可以明确的是:如果对expression为真(非0),则执行statement。本题中,如if (i = 0)
其实就等价于
i = 0;
if (i)
显然这里的if语句的expression为假,不会执行statement。
类似的if (i = 1)
等价于
i = 1;
if (i)
显然这里的if语句的expression为真,执行statement。
平时在发现自己写的代码执行的流程异常时,不妨debug调试一下,一步一步地走,看程序是否按照自己设计的流程走,看是不是我们的执行逻辑设计错了。
(2)调试测试函数2
测试函数2也是一道极其经典的面试题目。不能一眼看出结果?没关系,我们一起调试分析一下。接着上面的流程,我们输出quit命令推出gdb环境,再重新进入调试test2。
① 在test2函数入口打个断点:
② 运行到断点处:
此时,我们不妨看一下a[1]元素的地址
及a数组里面的内容
是什么:
可见,在数组初始化之前,整个数组空间里的值是一些随机值。这里反映一个问题,局部变量在初始化之前的值是无规律的,所以不妨在定义局部变量的时候初始化一个确定的值,防止出错。
③ 单步往下执行:
此时,我们来看一下,指针变量p的值、a数组里的值:
因为此时第23行这条语句还未执行,所以p指向的地址还不是a[1]元素的地址。
再单步往下执行,然后我们看一下,指针变量p的值,及以指针变量p的值为首地址、往后偏移10个内存单元为结束地址,这一段空间内的值是什么:
至此,我们通过调试清晰地得到了p[6]的值。
继续单步往下执行,我们看一下,&a[0]的值、&a的值、(&a+1)的值、p1的值:
从gdb输出的信息我们知道&a的类型是(int (*) [10] ),即是一个指向含有10个元素的整形数组的指针,所以(&a+1)的意义是往后偏移10 * sizeof(int)。进一步,再利用一下其它输出的信息:
&a的值为0x61fee0
&a+1的值为0x61ff08
两个值相减得到40,正好是整个数组所占的字节数。
而p1是一个整形指针,所以p1-1指向的就是往前偏移sizeof(int)个字节的地址,即a[9]的地址(0x61ff04),所以*(p1 - 1)的值也就是a[9]的值。最后我们再看一下&a往后的40个地址里的值都是些什么:
以上就是本次的实例演示,只是用到了一小部分gdb的命令,还有更多命令大家可以自己练习使用,基本的会了,不懂的地方遇到的时候再查也来得及。
可能写得有些乱,但也希望能对大家有帮助。总之,对于一些不确定的知识点或者程序的执行与预期不相符时,不妨调试一下,一步一步看数据有没有异常。