C++特殊情况下的父/子类内存布局及BUG踩坑

概述

一般情况下的内存布局可以参考下面这篇：

C++类的内存布局

本文讨论的是父类没有虚函数表的特殊情况。

开发环境

win11，VS2022，x64

构造特殊场景

测试代码

#include <iostream>
using namespace std;

class C1
{
public:
    int m_iData1 = 1;
    int Test() { return 1; };
};

class C2 : public C1
{
public:
    int m_iData2 = 2;
    virtual int Test() { return 2; };
};

int main()
{
    C1 cl1;
    C2 cl2;

    cout << sizeof(C1) << endl;
    cout << sizeof(C2) << endl;

    cout << "1: " << &cl1 << endl;
    cout << &cl1.m_iData1 << endl;

    cout << "2: " << &cl2 << endl;
    cout << &cl2.m_iData1 << endl;

    C1* p1 = (C1*)&cl2;
    cout << "p1: " << p1 << " " << p1->m_iData1 << endl;

    void* p = &cl2;
    C1* p2  = (C1*)p;
    cout << "p2: " << p2 << " " << p2->m_iData1 << endl;
    cout << "end" << endl;
}

程序输出

4
16
1: 000000754931FAA4
000000754931FAA4
2: 000000754931FAC8
000000754931FAD0
p1: 000000754931FAD0 1
p2: 000000754931FAC8 2068098224
end

可以看出p1和p2的指针值不同，但它们都是从&cl2强制转换而来。

使用p1可以正确输出父类成员，p2不行。

布局分析

1、父类没有虚函数表，子类有，并且在所有成员之前。

2、将子类指针强制转换为父类类型时，编译器做了额外的运算，以保证父类指针可以正常使用。

3、如果将子类指针强制转换为void*，再转换为父类类型，则没有额外的运算，三个指针值相同，父类指针无法正常访问其成员。

4、Cygwin+GCC测试结果相同，应属于语言特BUG性。Linux下的表现尚不明确。

如何避免BUG

1、所有父/子类都定义虚析构函数，都有虚函数表就没有这个问题。

2、指针强制转换为void*（或句柄）时要特别留意，确保转回来的时候类型相同。

3、不要将子类的指针转换为 除父类和句柄之外的任何类型，这样做没有任何意义（除非你和我一样在研究内存布局）。如果需要高性能，使用struct和C风格的函数。