我正在调试gdb
中的示例代码#include <iostream>
#include <string.h>
using namespace std;
void c (char** q)
{
q = new char*[2];
if (q == NULL)
cout<<"NO OK";
else
cout<<"OK";
}
int main ()
{
char** d = NULL;
c(d);
return 1;
}
现在这个程序输出为“OK” 但在gdb中调试此代码时,我发现了以下行为 gdb -version GNU gdb(GDB)7.5.1
Breakpoint 1, c (q=0x0) at issue.cpp:8
warning: Source file is more recent than executable.
8 q = new char*[2];
(gdb) p q
$1 = (char **) 0x0
(gdb) n
9 if (q == NULL)
(gdb) p q
$2 = (char **) 0x0
(gdb) p q==0
$3 = true
(gdb) n
12 cout<<"OK";
(gdb) p q
$4 = (char **) 0x0
(gdb) p q==0
$5 = true
(gdb)
gdb显示q值为null但代码执行方式不同。
答案 0 :(得分:2)
嗯:warning: Source file is more recent than executable.
- 这可能是你的答案。尝试重新编译代码。
答案 1 :(得分:0)
肯定会发生一些与gdb逻辑混淆的事情。我遇到gcc
4.8.3在cygwin
(32位)中运行时所描述的行为。
我在我的gdb会话中为您的代码获取此输出:
Breakpoint 1, main () at test.cpp:21
21 char** d = NULL;
(gdb) s
22 c(d);
(gdb) s
c (q=0x0) at test.cpp:9
9 q = new char*[2];
(gdb) s
13 if (q == NULL)
(gdb) p q
$1 = (char **) 0x0
(gdb) p &q
$2 = (char ***) 0x22abd0
(gdb) x 0x22abd0
0x22abd0: 0x00000000
现在如果我只是改变你的功能:
void c (char** q)
{
cout << q << endl;
q = new char*[2];
if (q == NULL)
cout<<"NO OK";
else
cout<<"OK";
}
gdb现在似乎能够获得q参数的值:
Breakpoint 1, main () at test.cpp:21
21 char** d = NULL;
(gdb) s
22 c(d);
(gdb) s
c (q=0x0) at test.cpp:8
8 cout << q << endl;
(gdb) s
0
9 q = new char*[2];
(gdb) s
13 if (q == NULL)
(gdb) p q
$1 = (char **) 0x2004a0a8
(gdb) p &q
$2 = (char ***) 0x22abd0
(gdb) x 0x22abd0
0x22abd0: 0x2004a0a8
让我们改变代码:
void c (char** q)
{
q = new char*[2];
cout << q << endl;
if (q == NULL)
cout<<"NO OK";
else
cout<<"OK";
}
此函数的生成代码如下所示:(编译-g -ggdb -O0)
.cfi_startproc
pushl %ebp
.cfi_def_cfa_offset 8
.cfi_offset 5, -8
movl %esp, %ebp
.cfi_def_cfa_register 5
subl $40, %esp
movl $8, (%esp)
call __Znaj
movl %eax, -12(%ebp)
movl -12(%ebp), %eax
movl %eax, 4(%esp)
movl $__ZSt4cout, (%esp)
call __ZNSolsEPKv
movl $__ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_, 4(%esp)
movl %eax, (%esp)
call __ZNSolsEPFRSoS_E
cmpl $0, -12(%ebp)
jne L2
movl $LC0, 4(%esp)
movl $__ZSt4cout, (%esp)
call __ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc
jmp L1
现在,从这段代码看,编译器使用if (q == NULL)
$ebp - 12
处的值。让我们看一下gdb
会话期间的情况:
Breakpoint 1, main () at test.cpp:19
19 char** d = NULL;
(gdb) s
20 c(d);
(gdb) s
c (q=0x0) at test.cpp:8
8 q = new char*[2];
(gdb) s
9 cout << q << endl;
(gdb) s
0x2003a078
11 if (q == NULL)
(gdb) p q
$1 = (char **) 0x0
(gdb) p &q
$2 = (char ***) 0x22abd0
(gdb) p $ebp
$3 = (void *) 0x22abc8
(gdb) p $ebp - 12
$4 = (void *) 0x22abbc
(gdb) x 0x22abbc
0x22abbc: 0x2003a078
看起来gdb
在与实际位置不同的地址查找q。您可能只是陷入了一个微妙的gcc
- gdb
互动问题。
答案 2 :(得分:0)
通常,调试是在非优化的可执行文件上进行的(并测量性能 - 在优化的可执行文件上)。这是因为快速做事并按照他们希望的方式完成它是相互排斥的。
您的c
功能可以改写为
void c (char** q)
{
cout<<"OK";
}
这是因为您在函数参数上分配了new
ed数组,即局部变量。这意味着代码对世界其他地方没有副作用。此外,new
永远不会返回NULL
,因此q == 0
始终为false
。
编辑:好的,它实际上比简单的调试/发布差异更复杂。由于实际问题在于其他地方,为了使这个答案更有用,这就是它应该如何表现(用g++ 4.9.0
编译的代码,gdb
版本是7.7
)
非优化g++ -g
Breakpoint 1, c (q=0x0) at a.cpp:8
8 q = new char*[2];
(gdb) p q
$1 = (char **) 0x0
(gdb) n
9 if (q == NULL)
(gdb) p q
$2 = (char **) 0x611290
(gdb) p q==0
$3 = false
(gdb) n
12 cout<<"OK";
(gdb) p q
$4 = (char **) 0x611290
(gdb) p q==0
$5 = false
优化g++ -g -O2
Breakpoint 1, c (q=0x0) at a.cpp:8
8 q = new char*[2];
(gdb) p q
$1 = (char **) 0x0
(gdb) n
12 cout<<"OK";
(gdb) p q
$2 = <optimized out>
(gdb)