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

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

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

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

@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++

struct CSomeStruct
{
// реализация
};
 
class CSomeClass
{
public:
    CSomeClass()
    {
        SomeStruct; // уже создана, 
        //т.е. this уже существует и под него уже выделена память
        pSomeStruct = new CSomeStruct;
     }
private:
    CSomeStruct SomeStruct;
    CSomeStruct *pSomeStruct;
};

@odip · 03.08.2009, 10:44

C++

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(...), то вызовется он с заложенной в нем логикой выделения и распределения памяти

логично

@zim22 depict1 281 / 146 / 4 Регистрация: 11.07.2009 Сообщений: 606
	03.08.2009, 14:17	16
	Сообщение от oxotnik если есть string::operator new(...), то вызовется он с заложенной в нем логикой выделения и распределения памяти логично 0

@Skirmisher 45 / 45 / 1 Регистрация: 23.05.2009 Сообщений: 92
		1
	Внутреннее представление конструтора и деструктора 03.08.2009, 07:07. Показов 1512. Ответов 15 Метки нет (Все метки) Я знаю, что конструктор и деструктор в явном виде ничего не возвращает. Однако на уровне ассемблерных команд он восстанавливает содержимое вершины стека(в регистр, ячейку памяти или сегментый регистр). Какой тип в теории может возвращать конструктор и деструктор? 0

@Patch 2343 / 499 / 22 Регистрация: 01.04.2009 Сообщений: 2,200
	03.08.2009, 08:00	2
	Сообщение от Skirmisher Однако на уровне ассемблерных команд он восстанавливает содержимое вершины стека(в регистр, ячейку памяти или сегментый регистр). он инициализирует переменные. в вершине стека всего лишь значения "по-умолчанию". и, насколько я знаю, ничего конструктор не возвращает, даже на внутреннем уровне. 0

@Skirmisher 45 / 45 / 1 Регистрация: 23.05.2009 Сообщений: 92
	03.08.2009, 08:53 [ТС]	3
	Сообщение от Patch он инициализирует переменные. в вершине стека всего лишь значения "по-умолчанию". и, насколько я знаю, ничего конструктор не возвращает, даже на внутреннем уровне. Значит в теории он void. 0

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

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

oxotnik 1665 / 1134 / 80 Регистрация: 21.08.2008 Сообщений: 4,734 Записей в блоге: 1
	03.08.2009, 10:49	9
	Сообщение от odip Вот тебе конструктор, который заполняет память объекта - поле value1. он не заполняет память, он устанавливает значение, переменной. Память была выделена оператором new (либо на стеке) а только после этого вызван контруктор. Добавлено через 57 секунд Сообщение от odip Что значит после создания объекта ? А это как раз и значит, что память была выделена оператом new или компилятором. выделяется кусок памяти поз объект оператом new и ничего больше, а дальше вызывается конструктор объекта. поставь в моем примере брейкпоинты и пройди по шагам, и сразу поймешь в какой последовательности что вызывается. 0

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

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

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

@zim22 depict1 281 / 146 / 4 Регистрация: 11.07.2009 Сообщений: 606
	03.08.2009, 13:30	14
	Сообщение от oxotnik 2 zim22 что вы хотели этим сказать? что я где-то ошибся? укажите на ошибку. я не понимаю смысл вашего сообщения. 0

oxotnik 1665 / 1134 / 80 Регистрация: 21.08.2008 Сообщений: 4,734 Записей в блоге: 1
	03.08.2009, 13:46	15
	Сообщение от zim22 что вы хотели этим сказать? что я где-то ошибся? укажите на ошибку. я не понимаю смысл вашего сообщения. то что (я не лазил в исходники stl) если есть string::operator new(...) то вызовется он с заложенной в нем логикой выделения и распределения памяти и вызовется конструктор там где он вызывается в теле string::operator new(...) если нет, тогда выделится память под объект а потом вызовется конструктор 0