传递给 A::operator new() 的大小是否总是等于 sizeof(A)？

Question

struct A final
{
    int a;

    void* operator new(size_t size)
    {
        //
        // Is size always equal to sizeof(A) here?
        //
        return ::operator new(size); 
    }

    void operator delete(void* ptr)
    {
        ::operator delete(ptr);
    }
};

int main()
{
    for (auto i = 0; i < 100; i++)
    {
        delete new A;
    }
}

我的问题也嵌入在代码中。

C++ 标准是否保证传入 A::operator new() 的大小始终相同？

更新： 在这里，只考虑 A 只是一个 final 类。

Answer 1

引自 C++11 标准，第 5.3.4 节第 10 点：

new-expression 将请求的空间量传递给 分配函数作为 std::size_t 类型的第一个参数。那 参数不得小于被创建对象的大小； 它可能大于正在创建的对象的大小，仅当 对象是一个数组。

所以，是的，它保证与对象的大小相同。但是请注意，不同的编译器或不同的编译器选项可能会在编译时改变特定对象的实际大小。

Answer 2

没有。

试试：

struct B: public A
{
    double a;
}

现在，当您创建 B 时，新运算符将获得不同的大小

int main()
{
    for (auto i = 0; i < 100; i++)
    {
        delete new A;
        delete new B;
    }
}

PS 加个打印看看：

void* operator new(size_t size)
{
    std::cout << "S(" << size << ")\n";
    //
    // Is size always equal to sizeof(A) here?
    //
    return ::operator new(size); 
}

输出：

> ./a.out
S(4)
S(12)
S(4)
S(12)
S(4)