gdb 可以显示被破坏的变量吗？

Question

例子：

#include <assert.h>

int v = 0;

struct Foo {
    Foo() { ++v; }
    ~Foo()
    {
        --v;
        assert(v != 1); // artificially stop the debugger here
    }
};

int main()
{
    Foo a; // assert in destructor here?
    Foo b; // assert in destructor here?
    Foo c; // assert in destructor here?
    return 0;
} // main()

此代码断言。 我认为调试器应该能够告诉我 Foo 的哪一行/实例正在断言，但它只表明它正在退出main()的 scope ：

#6  0x00007ffff7d9ee96 in __GI___assert_fail (assertion=0x555555556019 "v != 1", file=0x555555556010 "main.cpp", line=8, 
    function=0x555555556004 "Foo::~Foo()") at ./assert/assert.c:101
#7  0x000055555555521c in Foo::~Foo (this=<optimized out>, __in_chrg=<optimized out>) at main.cpp:8
#8  0x00005555555551b6 in main () at main.cpp:17
(gdb) f 8
#8  0x00005555555551b6 in main () at main.cpp:17
17      } // main()

我知道罪魁祸首是b ，但我怎样才能让 gcc 告诉我呢？

这只是缺少的功能还是有更基本的东西阻止调试器显示此信息？

如果我为每个实例添加一个 scope，它就会变得清晰，但我认为我不必重新编译。

int main()
{
    Foo a;
    {
        Foo b;
        {
            Foo c;
        }
    } // <-- backtrace of the assert shows this line
    return 0;
}

class的成员也存在同样的问题：

class Bar {
    Foo a;
    Foo b;
    Foo c;
};

---

[编辑] 我真正想看到的是调试器返回到Foo c; 当它从 main() 返回时，然后是Foo b; 等等。就像在下面的示例中发生的情况一样，调试器在最终进入 func() 之前逐行执行 Baz() 行。

    func(Baz(),
         Baz(),
         Baz());

Answer 1

但是我怎样才能让 gcc 告诉我呢？

您不能（至少不能直接）——它不知道您对此感兴趣。 但是您可以给Foo的每个实例一个名称，以便在构造函数和析构函数中打印this的值和名称。

您还可以从 GDB 获取此信息：

Program received signal SIGABRT, Aborted.
__pthread_kill_implementation (threadid=<optimized out>, signo=6, no_tid=no_tid@entry=0) at ./nptl/pthread_kill.c:44
44      ./nptl/pthread_kill.c: No such file or directory.
(gdb) bt
#0  __pthread_kill_implementation (threadid=<optimized out>, signo=6, no_tid=no_tid@entry=0) at ./nptl/pthread_kill.c:44
#1  0x00007ffff7e55d2f in __pthread_kill_internal (signo=<optimized out>, threadid=<optimized out>) at ./nptl/pthread_kill.c:89
#2  __GI___pthread_kill (threadid=<optimized out>, signo=<optimized out>) at ./nptl/pthread_kill.c:89
#3  0x00007ffff7f9ee70 in ?? () from /lib/x86_64-linux-gnu/libc.so.6
#4  0x00007ffff7df1472 in __GI_abort () at ./stdlib/abort.c:79
#5  0x00007ffff7df1395 in __assert_fail_base (fmt=<optimized out>, assertion=<optimized out>, file=<optimized out>, line=<optimized out>, function=<optimized out>) at ./assert/assert.c:92
#6  0x00007ffff7dffdf2 in __GI___assert_fail (assertion=0x555555556015 "v != 1", file=0x555555556010 "t.cc", line=10, function=0x555555556004 "Foo::~Foo()") at ./assert/assert.c:101
#7  0x0000555555555200 in Foo::~Foo (this=0x7fffffffd81e, __in_chrg=<optimized out>) at t.cc:10
#8  0x0000555555555183 in main () at t.cc:20

(gdb) fr 8
#8  0x0000555555555183 in main () at t.cc:20
20      } // main()
(gdb) info locals
a = {<No data fields>}
b = {<No data fields>}
c = {<No data fields>}
(gdb) p &a
$1 = (Foo *) 0x7fffffffd81f
(gdb) p &b
$2 = (Foo *) 0x7fffffffd81e   <<=== match for this in frame 7

这当然要求this没有被优化（因为它在你的堆栈中），或者你在析构函数中打印this的值。

[编辑] 我真正想看到的是调试器返回到 Foo c 行； 当它从 main() 返回时，然后是 Foo b； 等等

编译器理论上可以做到这一点，但是（我怀疑）这会让大多数最终用户感到非常困惑：“为什么在我只是构造 Foo 时调用析构函数？”。