在某些情况下,分解器会将不同的输入分解为相同的输出。这有时可能会有点令人困惑,但我认为已经完成了,因为在其他情况下它不那么令人困惑;例如,gdb 使用了 demangler,这种方法可以让构造函数上的断点做正确的事情,而无需用户额外的努力。通过一些思考和工作,也许可以在这里进行一些改进。
无论如何,这是一个简单的例子:
class K
{
K ();
virtual ~K();
};
K::K() { }
K::~K() { }
编译-g
然后运行nm -C
显示与您类似的结果:
$ nm -C q.o
U operator delete(void*)
0000000000000000 T K::K()
0000000000000000 T K::K()
0000000000000048 T K::~K()
0000000000000018 T K::~K()
0000000000000018 T K::~K()
0000000000000000 V typeinfo for K
0000000000000000 V typeinfo name for K
0000000000000000 V vtable for K
U vtable for __cxxabiv1::__class_type_info
但是让我们看看如果我们运行 plain 会发生什么nm
:
$ nm q.o
U _ZdlPv
0000000000000000 T _ZN1KC1Ev
0000000000000000 T _ZN1KC2Ev
0000000000000048 T _ZN1KD0Ev
0000000000000018 T _ZN1KD1Ev
0000000000000018 T _ZN1KD2Ev
0000000000000000 V _ZTI1K
0000000000000000 V _ZTS1K
0000000000000000 V _ZTV1K
U _ZTVN10__cxxabiv117__class_type_infoE
在这里我们可以更清楚地看到底层符号是不同的。
从这里我们可以转到GCC 遵循的 C++ ABI;特别是关于修改构造函数和析构函数的部分。由于历史原因,这被称为“安腾”ABI,但实际上它在所有平台上都被使用(可能有一些小的变体)。
本节解释了名称的含义,但您必须深入研究文档才能完全理解。基本思想是,在 C++ 的实现中,构造函数和析构函数需要不同的入口点;这是通过为不同的入口点提供不同的符号来完成的。