如果包含析构函数，则类的大小会增加

Question

class MyClass {
        int data;
        public:
        MyClass() : data(0) { /*cout << "Ctor" << endl;*/}
        void* operator new(size_t sz) { cout << "Size in new: " << sz << endl; void* s = malloc(sz); return s; }
        void* operator new[] (size_t sz) { cout << "Size: " << sz << endl; void* s = malloc(sz); return s; }

        void operator delete(void* p) { free(p); }
        void operator delete[](void* p) { free(p); }
        ~MyClass() {}
};
int main() {
        // your code goes here
        MyClass* p = new MyClass[1];
        delete[] p;
        cout << "Size of class: " << sizeof(MyClass) << endl;  
        return 0;
}

这里我重载了 new 和 delete 操作符。我在这里观察到的奇怪行为是，如果我包含传递给 new 运算符的析构函数大小增加了 4，而 MyClass 的大小仍然是 4，这很明显。

我得到的输出是析构函数：
尺寸：8
班级人数：4人

我得到的输出没有析构函数：
尺寸：4
班级人数：4人

为什么包含析构函数会增加大小？

Answer 1

想想delete[] 的工作原理。如果没有析构函数，很可能它需要做的就是将地址传递给free。但是如果有析构函数，它必须知道数组中有多少元素，这样它就知道调用析构函数的次数。所以需要一些额外的空间来保存数组的大小。