在堆上创建对象是否需要对象的大小？

Question

当编译器需要知道 C（类）的大小时 对象：例如，当分配一个 C 放在堆栈上或作为直接持有 另一种类型的成员

来自C++ 编码标准：101 条规则、指南和最佳实践

这是否意味着对于堆分配的对象，大小不是必需的？

Class C;//just forward declaration
C * objc = new C();

Answer 1

不，该列表仅作为示例，并不排除任何情况。 显然，在堆分配中必须知道对象大小，以便可以分配正确数量的内存。

Answer 2

回答您的具体问题：

这是否意味着堆分配
对象大小不是必需的？

Class C;//只是前向声明 
  C * objc = new C(); 
  

C++ 不会让你这么做。

即使它可以让您通过稍后神奇地解析大小来对不完整的类型执行“new”（我可以想象，通过链接器的合作，这在技术上是可能的），该尝试也会失败在编译时，至少有两个原因：

1. operator new 只能与完整类型一起使用。 根据 C++98 标准 5.3.4 - “[分配的]类型应是完整的对象类型，但不是抽象类类型或其数组”

2. 编译器不知道存在哪些构造函数（并且可以访问） ，所以它也必须因为这个原因失败。

Answer 3

对象大小由 new 运算符计算：

Object *o = new Object();

您不需要显式告诉 new 对象大小，但它会计算它（使用 sizeof ）运算符）以便在堆上分配正确的空间量。

Answer 4

作为一名程序员，您几乎不需要知道 C++ 中对象的大小。 例如：

class A {
    ...  // member data
};

void f() {
    A a;              // allocate on stack
    A * p = new A;    // allocate on heap
}

在这两种情况下，程序员都不需要知道大小 - 编译器当然需要知道它。

请注意，无论您如何创建对象，编译器在创建时都必须知道它的大小：

class B;     // forward declaration - no size:

void f() {
    B b;              // compilation error
    B * p = new B;    // compilation error
}

Answer 5

不可以。为了在堆上分配对象，您必须知道其大小。

Foo *foo=(Foo *)malloc(sizeof(*foo));

Answer 6

编译器必须查看类的声明有两个原因：它必须知道必须分配的大小（正如其他人已经指出的那样），而且还因为编译器必须知道如何构造对象：它是否有一个隐式的默认构造函数定义了默认构造函数，没有默认构造函数？ 即使可以使用无参数构造函数创建对象，编译器也必须知道。