Внутреннее представление конструтора и деструктора

@Skirmisher · Регистрация: 23.05.2009

Студворк — интернет-сервис помощи студентам

Я знаю, что конструктор и деструктор в явном виде ничего не возвращает.
Однако на уровне ассемблерных команд он восстанавливает содержимое вершины стека(в регистр, ячейку памяти или сегментый регистр).
Какой тип в теории может возвращать конструктор и деструктор?

@Patch · 03.08.2009, 08:00

Сообщение от Skirmisher

Однако на уровне ассемблерных команд он восстанавливает содержимое вершины стека(в регистр, ячейку памяти или сегментый регистр).

он инициализирует переменные.
в вершине стека всего лишь значения "по-умолчанию".
и, насколько я знаю, ничего конструктор не возвращает, даже на внутреннем уровне.

@Skirmisher · 03.08.2009, 08:53 **[ТС]**

Сообщение от Patch

он инициализирует переменные.
в вершине стека всего лишь значения "по-умолчанию".
и, насколько я знаю, ничего конструктор не возвращает, даже на внутреннем уровне.

Значит в теории он void.

@Lolcht0 · 03.08.2009, 10:13

можно считать, что он возвращает ссылку на созданный объект. хорошо это видно, например, на таком примере

C++
1
myclass * e = new myclass(params);

@CheshireCat · 03.08.2009, 10:17

Неверно. Здесь возвращает значение operator new, а вовсе не конструктор.

@odip · 03.08.2009, 10:30

2CheshireCat: Оператор new и конструктор тесно связаны. Оператор new выделяет память, а конструктор заполняет выделенную память.

oxotnik · 03.08.2009, 10:40

Сообщение от odip

2CheshireCat: Оператор new и конструктор тесно связаны. Оператор new выделяет память, а конструктор заполняет выделенную память.

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

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
struct CSomeStruct
{
// реализация
};
 
class CSomeClass
{
public:
    CSomeClass()
    {
        SomeStruct; // уже создана, 
        //т.е. this уже существует и под него уже выделена память
        pSomeStruct = new CSomeStruct;
     }
private:
    CSomeStruct SomeStruct;
    CSomeStruct *pSomeStruct;
};

@odip · 03.08.2009, 10:44

C++
1
2
3
4
5
6
class ExampleClass {
public:
int value1;
 
ExampleClass() { value1= 5; }
};

Вот тебе конструктор, который заполняет память объекта - поле value1.

Добавлено через 57 секунд

Это метод, который вызывается уже после создания объекта

Что значит после создания объекта ?
А это как раз и значит, что память была выделена оператом new или компилятором.

oxotnik · 03.08.2009, 10:49

Сообщение от odip

Вот тебе конструктор, который заполняет память объекта - поле value1.

он не заполняет память, он устанавливает значение, переменной. Память была выделена оператором new (либо на стеке) а только после этого вызван контруктор.
Добавлено через 57 секунд

Сообщение от odip

Что значит после создания объекта ?
А это как раз и значит, что память была выделена оператом new или компилятором.

выделяется кусок памяти поз объект оператом new и ничего больше, а дальше вызывается конструктор объекта.
поставь в моем примере брейкпоинты и пройди по шагам, и сразу поймешь в какой последовательности что вызывается.

@IT_Exp · 03.08.2009, 10:52

odip,
Оператор new и конструктор тесно связаны.
struct Foo {};
Foo* foo = (Foo*) ::operator new (sizeof(Foo));
обозначь здесь связь, а то что-то не могу найти ...

а конструктор заполняет выделенную память.
Чем именно? То есть конструктор можно использовать как замену memset?

@zim22 · 03.08.2009, 12:11

Сообщение от Rififi

Foo* foo = (Foo*) ::operator new (sizeof(Foo));
обозначь здесь связь, а то что-то не могу найти ...

Rififi, odip имел ввиду оператор new, а не функцию operator new
***
Рассмотрим на простом примере что происходит:

C++
1
2
// оператор new
string *sp = new string("hello");

Когда используется оператор new, выполняется 3 действия:
1) Выражение вызывает библиотечную функцию operator new(), резервирующую нетипизированную область памяти, достаточно большую, чтобы содержать объект указанного типа.
2) Чтобы создать объект на основании переданного инициализирующего значения, запускается конструктор соответствующего класса
3) Возвращается указатель на вновь созданный объект.

И для симметрии рассмотрим, что делает оператор delete

C++
1
delete sp;

1) Выполняется деструктор, соответствующий классу объекта, на который указывает указатель sp
2) Используемая объектом память освобождается при помощи библиотечной функции operator delete()

@IT_Exp · 03.08.2009, 12:15

zim22,
Rififi, odip имел ввиду оператор new, а не функцию operator new
Собстна, это я и желал выяснить (Ж

oxotnik · 03.08.2009, 13:27

2 zim22
если для объекта перегружен оператор, то он будет работать так как реализовано в перегрузке, иначе создается объект а потом вызывается конструктор (нет смысла вызывать конструктор (или любой другой нестатический метод), если this невалидный).

@zim22 · 03.08.2009, 13:30

Сообщение от oxotnik

2 zim22

что вы хотели этим сказать? что я где-то ошибся? укажите на ошибку. я не понимаю смысл вашего сообщения.

oxotnik · 03.08.2009, 13:46

Сообщение от zim22

что вы хотели этим сказать? что я где-то ошибся? укажите на ошибку. я не понимаю смысл вашего сообщения.

то что (я не лазил в исходники stl) если есть
string::operator new(...)
то вызовется он с заложенной в нем логикой выделения и распределения памяти и вызовется конструктор там где он вызывается в теле string::operator new(...)
если нет, тогда выделится память под объект а потом вызовется конструктор

@zim22 · 03.08.2009, 14:17

Сообщение от oxotnik

если есть string::operator new(...), то вызовется он с заложенной в нем логикой выделения и распределения памяти

логично

Новые блоги и статьи Все статьи Все блоги /
Первый деплой lagorue 16.01.2026 Не спеша развернул своё 1ое приложение в kubernetes. А дальше мне интересно создать 1фронтэнд приложения и 2 бэкэнд приложения развернуть 2 деплоя в кубере получится 2 сервиса и что-бы они. . .	Расчёт переходных процессов в цепи постоянного тока igorrr37 16.01.2026 / * Дана цепь постоянного тока с R, L, C, k(ключ), U, E, J. Программа составляет систему уравнений по 1 и 2 законам Кирхгофа, решает её и находит токи на L и напряжения на C в установ. режимах до и. . .	Восстановить юзерскрипты Greasemonkey из бэкапа браузера damix 15.01.2026 Если восстановить из бэкапа профиль Firefox после переустановки винды, то список юзерскриптов в Greasemonkey будет пустым. Но восстановить их можно так. Для этого понадобится консольная утилита. . .	Изучаю kubernetes lagorue 13.01.2026 А пригодятся-ли мне знания kubernetes в России?
Сукцессия микоризы: основная теория в виде двух уравнений. anaschu 11.01.2026 https:/ / rutube. ru/ video/ 7a537f578d808e67a3c6fd818a44a5c4/	WordPad для Windows 11 Jel 10.01.2026 WordPad для Windows 11 — это приложение, которое восстанавливает классический текстовый редактор WordPad в операционной системе Windows 11. После того как Microsoft исключила WordPad из. . .	Classic Notepad for Windows 11 Jel 10.01.2026 Old Classic Notepad for Windows 11 Приложение для Windows 11, позволяющее пользователям вернуть классическую версию текстового редактора «Блокнот» из Windows 10. Программа предоставляет более. . .	Почему дизайн решает? Neotwalker 09.01.2026 В современном мире, где конкуренция за внимание потребителя достигла пика, дизайн становится мощным инструментом для успеха бренда. Это не просто красивый внешний вид продукта или сайта — это. . .

@Skirmisher 45 / 45 / 1 Регистрация: 23.05.2009 Сообщений: 92

	Внутреннее представление конструтора и деструктора 03.08.2009, 07:07. Показов 1768. Ответов 15 Метки нет (Все метки) Я знаю, что конструктор и деструктор в явном виде ничего не возвращает. Однако на уровне ассемблерных команд он восстанавливает содержимое вершины стека(в регистр, ячейку памяти или сегментый регистр). Какой тип в теории может возвращать конструктор и деструктор? 0

@CheshireCat 2924 / 1274 / 114 Регистрация: 27.05.2008 Сообщений: 3,465
	03.08.2009, 10:17
	Неверно. Здесь возвращает значение operator new, а вовсе не конструктор. 1

@odip 7176 / 3234 / 82 Регистрация: 17.06.2009 Сообщений: 14,164
	03.08.2009, 10:30
	2CheshireCat: Оператор new и конструктор тесно связаны. Оператор new выделяет память, а конструктор заполняет выделенную память. 0

@IT_Exp MCSD: APP BUILDER 8795 / 1074 / 104 Регистрация: 17.06.2006 Сообщений: 32,602
	03.08.2009, 10:52
	odip, Оператор new и конструктор тесно связаны. struct Foo {}; Foo* foo = (Foo) ::operator new (sizeof(Foo)); обозначь здесь связь, а то что-то не могу найти ... а конструктор заполняет выделенную память.* Чем именно? То есть конструктор можно использовать как замену memset? 1

@IT_Exp MCSD: APP BUILDER 8795 / 1074 / 104 Регистрация: 17.06.2006 Сообщений: 32,602
	03.08.2009, 12:15
	zim22, Rififi, odip имел ввиду оператор new, а не функцию operator new Собстна, это я и желал выяснить (Ж 0

oxotnik 1665 / 1134 / 80 Регистрация: 21.08.2008 Сообщений: 4,734 Записей в блоге: 1
	03.08.2009, 13:27
	2 zim22 если для объекта перегружен оператор, то он будет работать так как реализовано в перегрузке, иначе создается объект а потом вызывается конструктор (нет смысла вызывать конструктор (или любой другой нестатический метод), если this невалидный). 0