Когда компилятору необходимо знать размер объекта C (класса): например, при размещении C в стеке или в качестве непосредственно удерживаемого члена другого типа
Из Стандарты кодирования C++: 101 правило, рекомендации и рекомендации
Означает ли это, что для объекта, выделенного в куче, размер не нужен?
Class C;//just forward declaration
C * objc = new C();
Чтобы ответить на ваш конкретный вопрос:
Означает ли это, что для размера объекта, выделенного в куче, нет необходимости?
Class C;//just forward declaration C * objc = new C();
С++ не позволит вам сделать это.
Даже если бы вы могли выполнить 'new' для неполного типа, волшебным образом определив размер позже (я мог предположить, что это технически возможно при сотрудничестве с компоновщиком), попытка потерпит неудачу во время компиляции, по крайней мере, из-за 2 причины:
оператор new можно использовать только с полными типами. Из стандарта С++ 98 5.3.4 - «[выделенный] тип должен быть полным типом объекта, но не типом абстрактного класса или его массивом»
компилятор понятия не имеет, какие конструкторы существуют (и доступны), поэтому по этой причине он также должен потерпеть неудачу.
Нет, этот список приведен в качестве примера, а не исключения. Очевидно, что размер объекта должен быть известен при распределении кучи, чтобы можно было выделить правильный объем памяти.
Размер объекта вычисляется оператором new:
Object *o = new Object();
Вам не нужно явно указывать new размер объекта, но он вычисляет его (используя оператор sizeof), чтобы выделить правильное количество места в куче.
Вам, как программисту, почти никогда не нужно знать размер объекта в 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
}
Нет. Чтобы разместить объект в куче, вы должны знать его размер.
Foo *foo=(Foo *)malloc(sizeof(*foo));
Компилятор должен видеть объявление класса по двум причинам: он должен знать размер, который он должен выделить (как уже указывали другие), а также потому, что компилятор должен знать, как создать объект: есть ли у него конструктор по умолчанию, неявно определен конструктор по умолчанию, нет конструктора по умолчанию? Компилятор должен знать, даже если объект может быть создан с помощью конструктора без аргументов.
