c++ - 破译 g++ vtable 转储所需的帮助

Question

源代码

class W
{
public:
 virtual void f() { cout << "W::f()" << endl; }
 virtual void g() { cout << "W::g()" << endl; }
};

class AW : public virtual W
{
public:
 void g() { cout << "AW::g()" << endl; }
};


class BW : public virtual W
{
public:
 void f() { cout << "BW::f()" << endl; }
};

class CW : public AW, public BW
{
};

g++ -fdump-class-hierarchy

Vtable for W  
W::_ZTV1W: 4u entries  
0     (int (*)(...))0  
4     (int (*)(...))(& _ZTI1W)  
8     W::f
12    W::g


Vtable for AW  
AW::_ZTV2AW: 7u entries  
0     0u  
4     0u  
8     0u  
12    (int (*)(...))0  
16    (int (*)(...))(& _ZTI2AW)  
20    W::f  
24    AW::g

VTT for AW  
AW::_ZTT2AW: 2u entries  
0     ((& AW::_ZTV2AW) + 20u)  
4     ((& AW::_ZTV2AW) + 20u)  


Vtable for BW  
BW::_ZTV2BW: 7u entries  
0     0u  
4     0u  
8     0u  
12    (int (*)(...))0  
16    (int (*)(...))(& _ZTI2BW)  
20    BW::f  
24    W::g  

VTT for BW  
BW::_ZTT2BW: 2u entries  
0     ((& BW::_ZTV2BW) + 20u)  
4     ((& BW::_ZTV2BW) + 20u)  

Vtable for CW  
CW::_ZTV2CW: 14u entries  
0     0u  
4     0u  
8     4u  
12    (int (*)(...))0  
16    (int (*)(...))(& _ZTI2CW)  
20    BW::_ZTv0_n12_N2BW1fEv  
24    AW::g  
28    4294967292u  
32    4294967292u  
36    0u  
40    (int (*)(...))-0x00000000000000004  
44    (int (*)(...))(& _ZTI2CW)  
48    BW::f  
52    0u  

Construction vtable for AW (0xb6dbf8c0 instance) in CW  
CW::_ZTC2CW0_2AW: 7u entries  
0     0u  
4     0u  
8     0u  
12    (int (*)(...))0  
16    (int (*)(...))(& _ZTI2AW)  
20    W::f  
24    AW::g  

Construction vtable for BW (0xb6dbf900 instance) in CW  
CW::_ZTC2CW4_2BW: 13u entries  
0     4294967292u  
4     4294967292u  
8     0u  
12    (int (*)(...))0  
16    (int (*)(...))(& _ZTI2BW)  
20    BW::f  
24    0u  
28    0u  
32    4u  
36    (int (*)(...))4  
40    (int (*)(...))(& _ZTI2BW)  
44    BW::_ZTv0_n12_N2BW1fEv  
48    W::g  

VTT for CW  
CW::_ZTT2CW: 7u entries  
0     ((& CW::_ZTV2CW) + 20u)  
4     ((& CW::_ZTC2CW0_2AW) + 20u)  
8     ((& CW::_ZTC2CW0_2AW) + 20u)  
12    ((& CW::_ZTC2CW4_2BW) + 20u)  
16    ((& CW::_ZTC2CW4_2BW) + 44u)  
20    ((& CW::_ZTV2CW) + 20u)  
24    ((& CW::_ZTV2CW) + 48u)  

问题

每个条目是什么:

Vtable for AW  
AW::_ZTV2AW: 7u entries  
0     0u          // whats this for???   
4     0u          // ?  
8     0u          // ?  


Vtable for CW  
CW::_ZTV2CW: 14u entries  
0     0u          // ? 
4     0u          // ?     
8     4u          // what is the significance of this ???    
12    (int (*)(...))0  
16    (int (*)(...))(& _ZTI2CW)  
20    BW::_ZTv0_n12_N2BW1fEv   // ?  
24    AW::g  
28    4294967292u   // ?  
32    4294967292u   // ?  
36    0u            // ?  
40    (int (*)(...))-0x00000000000000004  // some delta   
44    (int (*)(...))(& _ZTI2CW)  
48    BW::f  
52    0u  // ?  


CW *pcw = new CW;  
AW *paw = pcw;  
paw->f();  // Invokes B::f why not w::f

paw 指向 AW 的 vtable，它有一个条目 W::f。 B::f() 是如何被调用的？

类似地:

 BW* pbw = pcw;  
 pbw->g();  // invokes AW::g() why not w::g  ???

VTT有什么用，怎么用。 AW 的 VTT 包含指向 AW 的 vtable 的指针
AW::_ZTT2AW:2u 个条目
0 ((& AW::_ZTV2AW) + 20u)
4 ((& AW::_ZTV2AW) + 20u)
并且偏移量 0 和 4 处的两个条目都指向 vtable 基地址+20 u = W::f。为什么两个条目都指向基类的同一个函数？

Answer 1

首先，你所做的是菱形继承(钻石问题)，通常是一个坏主意(有些人甚至说邪恶)。

现在，名称以经过修饰的格式显示:您可以使用 c++filt 进行分解。

例如:BW::_ZTv0_n12_N2BW1fEv 表示 BW::virtual thunk to BW::f()

=> 这可能会帮助你理解

现在，关于你的例子paw 指向一个 CW 类。爪子->f()

将调用 CW::f，无论您使用兼容类以何种方式对其进行转换(这就是虚拟对象实现接口(interface)的目的)。

希望这对您有所帮助，目前无法提供更多信息。