В чем основная разница в создании объектов между Java и C++?

В дополнение к другим отличным ответам, одна вещь очень важна и обычно игнорируется/забывается или неправильно понимается (что объясняет, почему я подробно описываю процесс ниже):

• В Java методы являются виртуальными, даже если они вызываются из конструктора (что может привести к ошибкам)
• В C++ виртуальные методы не являются виртуальными при вызове из конструктора (что может привести к неправильному пониманию)

Какие?

• Давайте представим базовый класс с виртуальным методом foo().
• Давайте представим класс Derived, наследующий от Base, который переопределяет метод foo().

Разница между С++ и Java:

• В Java вызов foo() из конструктора базового класса вызовет Derived.foo()
• В C++ вызов foo() из конструктора базового класса вызовет Base.foo()

Почему?

Ошибки для каждого языка разные:

• В Java вызов любого метода в конструкторе может привести к тонким ошибкам, поскольку переопределенный виртуальный метод может попытаться получить доступ к переменной, которая была объявлена/инициализирована в классе Derived.

Концептуально работа конструктора состоит в том, чтобы создать объект (что вряд ли можно назвать обычным подвигом). Внутри любого конструктора весь объект может быть сформирован лишь частично — вы можете знать только, что объекты базового класса были инициализированы, но вы не можете знать, какие классы унаследованы от вас. Однако вызов метода с динамической привязкой достигает «вперед» или «вне» в иерархию наследования. Он вызывает метод в производном классе. Если вы делаете это внутри конструктора, вы вызываете метод, который может манипулировать еще не инициализированными членами — верный путь к катастрофе.

Брюс Экель, http://www.codeguru.com/java/tij/tij0082.shtml< /а>

При построении базового класса виртуальные функции никогда не переходят в производные классы. Вместо этого объект ведет себя так, как если бы он был базового типа. Неформально говоря, при построении базового класса виртуальные функции не являются.

Скотт Мейерс, http://www.artima.com/cppsource/nevercall.html

В чем основная разница в создании объектов между Java и C++?

В отличие от Java, в C++ объекты также можно создавать в стеке.

Например, на C++ вы можете написать

Class obj; //object created on the stack

В Java вы можете написать

Class obj; //obj is just a reference(not an object)
obj = new Class();// obj refers to the object

Помимо проблем с кучей/стеком, я бы сказал: конструкторы С++ имеют списки инициализации, а Java использует присваивание. См. http://www.parashift.com/c++-faq-lite/ctors.html#faq-10.6 для получения подробной информации.

Я бы ответил: C++ позволяет создавать объект везде: в куче, стеке, члене. Java заставляет вас размещать объекты в куче, всегда.

В Java виртуальная машина Java (JVM), которая выполняет код Java, должна может¹ регистрировать все создаваемые объекты (или, если быть точным, ссылки на них), чтобы память выделенные для них, могут быть позже автоматически освобождены сборщиком мусора, когда на объекты больше не ссылаются.

EDIT: я не уверен, можно ли это отнести к созданию объекта в строгом смысле, но это определенно происходит между созданием и присвоением переменной, даже без явного присваивания (когда вы создаете объект без его назначения JVM должна автоматически освободить его через некоторое время после этого, поскольку ссылок больше нет).

В C++ только объекты, созданные в стеке, освобождаются автоматически (когда они выходят за пределы области видимости), если вы не используете какой-либо механизм, который обрабатывает это за вас.

¹: в зависимости от реализации JVM.

Существует одно основное дизайн различие между конструкторами в C++ и Java. Из этого дизайнерского решения вытекают и другие отличия.

Основное отличие состоит в том, что JVM сначала инициализирует все элементы нулями, прежде чем начинать выполнение любого конструктора. В C++ инициализация члена является частью конструктора.

В результате во время выполнения конструктора базового класса в C++ члены производного класса еще не инициализированы! В Java они были инициализированы нулями.

Отсюда правило, которое объясняется в ответе Paercebal, согласно которому виртуальные вызовы, вызываемые из конструктора, не могут переходить в производный класс. В противном случае возможен доступ к неинициализированным членам.

Если предположить, что С++ использует alloc() при выполнении нового вызова, то это может быть то, что они ищут. (С++ не знаю, так что тут могу сильно ошибаться)

Модель памяти Java выделяет кусок памяти, когда он ей нужен, и для каждого нового использует эту предварительно выделенную область. Это означает, что new в java просто устанавливает указатель на сегмент памяти и перемещает свободный указатель, в то время как new в C++ (при условии, что он использует malloc в фоновом режиме) приведет к системному вызову.

Это делает создание объектов на Java дешевле, чем на языках, использующих malloc; по крайней мере, когда не происходит инициализация.

Короче говоря, создание объектов в Java дешево — не беспокойтесь об этом, если вы не создадите их множество.