GDB C 如何打印 VLA 条目(动态数组)

Question

我在堆栈溢出上快速搜索后发布了这个...

我无法从 GDB 打印 VLA 条目，这是我简化的 C 片段。

#include <stdio.h>
#include <stdlib.h>
typedef struct  
{ int i, j; 
} c_t;
int f(int l, int c, c_t a[l][c])
{ for(int i=0;i<l;i++)
{ for(int j=0;j<c;j++)
{ a[i][j].i=i; a[i][j].j=j; 
}
}
}
int main(int ac, char **av)
{ int l=(int)atoi(av[1]), c=(int)atoi(av[2]);
c_t a[l][c];
return(f(l,c,a));
}

我编译它

$ cc -o g g.c -g -O0

然后在它上运行 GDB，在 f(( 中迭代几次后，我尝试显示 a[i][j]

$ gdb  ./g
GNU gdb (Ubuntu 8.1-0ubuntu3) 8.1.0.20180409-git
...[snip]...
Reading symbols from ./g...done.
(gdb) r 2 3
Breakpoint 1 at 0x76b: file g.c, line 17.
Breakpoint 1, main (ac=3, av=0x7fffffffe608) at g.c:17
17      { int l=(int)atoi(av[1]), c=(int)atoi(av[2]);
(gdb) n
18        c_t a[l][c];
(gdb) 
19        return(f(l,c,a));
(gdb) s
f (l=2, c=3, a=0x7fffffffe440) at g.c:8
8       int f(int l, int c, c_t a[l][c])
(gdb) n
9       { for(int i=0;i<l;i++)
(gdb) 
10        { for(int j=0;j<c;j++)
(gdb) 
11          { a[i][j].i=i; a[i][j].j=j; 
(gdb) 
10        { for(int j=0;j<c;j++)
(gdb) 
11          { a[i][j].i=i; a[i][j].j=j; 
(gdb) 
10        { for(int j=0;j<c;j++)
(gdb) 
11          { a[i][j].i=i; a[i][j].j=j; 
(gdb) 
10        { for(int j=0;j<c;j++)
(gdb) 
9       { for(int i=0;i<l;i++)
(gdb) p a[0][0]
Cannot perform pointer math on incomplete types, try casting to a known type, or void *.
(gdb) 

从那里我被困住了，尝试了各种演员，但没有成功。

提前感谢任何指针(可能是指针比数组:)更好(

斐

Answer 1

应该始终有效的东西，它实际上是指针算法。

您可以使用类似以下命令的内容：

(gdb)  p *((c_t*)a+0*3+0)
$3 = {i = 0, j = 0}
(gdb)  p *((c_t*)a+0*3+1)
$4 = {i = 0, j = 1}
(gdb)  p *((c_t*)a+0*3+2)
$5 = {i = 0, j = 2}
(gdb)  p *((c_t*)a+1*3+0)
$6 = {i = 1, j = 0}
(gdb)  p *((c_t*)a+1*3+1)
$7 = {i = 1, j = 1}
(gdb)  p *((c_t*)a+1*3+2)
$8 = {i = 1, j = 2}

顺便说一句：与您的问题无关：f的函数签名指定了类型int的返回值，但不返回任何内容。

Answer 2

您可以检查变量中的维度，并创建一个指向已定义大小数组的指针。当然，这不是最佳的。但这样你甚至可以看到整个数组：

(gdb) p ((c_t (*)[3])a)[0][1]
$30 = {i = 0, j = 1}
(gdb) p ((c_t (*)[3])a)[1][1]
$31 = {i = 1, j = 1}
(gdb) p *((c_t (*)[2][3])a)
$29 = {{{i = 0, j = 0}, {i = 0, j = 1}, {i = 0, j = 2}}, {{i = 1, j = 0}
{i = 1, j = 1}, {i = 1, j = 2}}}

Answer 3

当你从调试器打印a时，你应该得到一个很大的提示：

...
Breakpoint 1, f (l=2, c=3, a=0x7fffffffe1b0) at x.c:8
8       int f(int l, int c, c_t a[l][c])
(gdb) p a
$1 = (c_t (*)[variable]) 0x7fffffffe1b0

调试器理解a是指向c_t的VLA的指针，但假装不知道该数组的实际长度。但是，您知道它是3(c的值(。所以你可以简单地这样投射它。

(gdb) p c
$2 = 3
(gdb) p (c_t (*)[3])a
$3 = (c_t (*)[3]) 0x7fffffffe1b0
(gdb) p $3[0][0]
$4 = {i = -7552, j = 32767}