this и конструктор

@Holsteng · Регистрация: 26.03.2012

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

Всем привет! Столкнулся с задачей:

У класса есть статический указатель, который инициализируется

C++
1
CableTV* CableTV :: ptr = new CableTV;

Есть также два указателя в привате

C++
1
2
PaketAndChannels * paketandchannel;
Clients *client;

Они инициализируются в конструкторе

C++
1
2
3
4
5
CableTV :: CableTV( void ):paketandchannel(0), client(0)
{   
    paketandchannel = new PaketAndChannels( this );
    client = new Clients( this,paketandchannel );
}

Мне не понятно когда создается this, после выполнения конструктора? Неужели на момент входа в конструктор уже создан this , что его можно передавать в другие классы? Я читал, что this создается при вызове метода и идет первым неявным параметром в метод, чтобы метод знал с данными какого объекта работать (Дейтел)

Заранее спасибо!

@soon · 03.09.2012, 11:14

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
#include <iostream>
 
class Foo
{
    Foo* ptr;
 
public:
    Foo(): ptr(this)
    {
        std::cout << this << ' ' << ptr << std::endl;
    }
};
 
int main()
{
    Foo f;
    return 0;
}

@castaway · 03.09.2012, 11:17

Не по теме:

А зачем ты два раза инициализируешь частные данные в конструкторе?

@Holsteng · 03.09.2012, 11:22 **[ТС]**

Получается что this создается до окончания работы конструктора и он равен NULL?

Добавлено через 1 минуту

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

А зачем ты два раза инициализируешь частные данные в конструкторе?

В одном из тем на этом форуме мне сказали, что необходимо либо сразу инициализировать указатель адресом, либо NULL

Статический указатель класса и конструктор в private

@castaway · 03.09.2012, 11:25

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

В одном из тем на этом форуме мне сказали, что необходимо либо сразу инициализировать указатель адресом, либо NULL

Они не это имели в виду. Ты его явно инициализируешь при помощи new.
К тому же я не согласен с мнением Герц. Нет необходимости беспричинно проверять указатели на NULL.

@Holsteng · 03.09.2012, 11:30 **[ТС]**

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

К тому же я не согласен с мнением Герц.

Я неопытный, поэтому доверяю опытным

@soon · 03.09.2012, 11:30

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

В одном из тем на этом форуме мне сказали, что необходимо либо сразу инициализировать указатель адресом, либо NULL

+ nullptr. Не обязательно, но хуже явно не будет.

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

Получается что this создается до окончания работы конструктора и он равен NULL?

Почему вы так решили?

@Holsteng · 03.09.2012, 11:31 **[ТС]**

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

Почему вы так решили?

Я предполагаю!

@Toshkarik · 03.09.2012, 11:46

this не создается, он неявно передается каждому методу класса как параметр, и содержит собственно адрес объекта. А конструктор, хоть и с особенностями, но все же является методом.

@Holsteng · 03.09.2012, 11:48 **[ТС]**

Toshkarik, спасибо Вам! Однако мне интересна ситуация с конструктором, а не с методом

@Toshkarik · 03.09.2012, 11:48

Конструктор и есть метод.

@Holsteng · 03.09.2012, 11:50 **[ТС]**

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

this не создается

А откуда он берется до конструктора?

Добавлено через 1 минуту
Toshkarik, согласен! Получается что this создается до инициализации конструктором полей?

@novi4ok · 03.09.2012, 11:52

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

В одном из тем на этом форуме мне сказали, что необходимо либо сразу инициализировать указатель адресом, либо NULL

это если в конструкторе этим указателям никаких значений не присваивается. иначе это как

C++
1
2
int variable = 0;
variable = 5;

, только потому, что рекомендуется инициализировать переменные.

@Toshkarik · 03.09.2012, 11:56

Holsteng, он создается при каждом вызове любого нестатического метода класса, и передается как неявный параметр.

@soon · 03.09.2012, 11:57

Сообщение от Staindard 9.3.2

In the body of non-static member function, the keyword this is a prvalue expression, whose value is the address of the object for which the function is called

Конструтор - special member function, разумеется, non-static. Однако, я не нашел упоминания о том, что инициализация входит в тело конструтора(да и нелогично это), следовательно пример, который я привел, может быть(а может и нет, если об этом явно указано в стандарте) потенциальным UB.

@Holsteng · 03.09.2012, 12:00 **[ТС]**

Toshkarik, спасибо, извините, только сейчас въехал в суть Ваших слов!

@Toshkarik · 03.09.2012, 12:00

soon, почему же UB, как я понял, память под элемент-данные выделяется до вызова конструктора, и, соответственно, при вызове конструктора уже известен адрес объекта.

@novi4ok · 03.09.2012, 12:00

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

А откуда он берется до конструктора?

Добавлено через 1 минуту
Toshkarik, согласен! Получается что this создается до инициализации конструктором полей?

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

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
class ClassTestThis {
public: 
int foo () { return 1; };
};
...
...main(){
  ClassTestThis *pCl = new ClassTestThis();
  int value = pCl->foo();
  delete pCl;
  pCl = NULL;
  value = pCl->foo(); // здесь вывалится, в дибаггере если ты посмотришь внутри этой ф-ии на значение this, ты увидишь нуль
 
...
  pCl = 22;
  value = pCl->foo(); // так тоже вывалится, в дибаггере если ты посмотришь внутри этой ф-ии на значение this, ты увидишь 22

@Holsteng · 03.09.2012, 12:01 **[ТС]**

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

UB

это что?

@Toshkarik · 03.09.2012, 12:02

Holsteng, undefined behavior - неопределенное поведение. Неопределенное имеется ввиду не определенно стандартом.

Новые блоги и статьи Все статьи Все блоги /
Знаешь почему 90% людей редко бывают счастливыми? kumehtar 14.04.2026 Потому что они ждут. Ждут выходных, ждут отпуска, ждут удачного момента. . . а удачный момент так и не приходит.	Фиксация колонок в отчете СКД Maks 14.04.2026 Фиксация колонок в СКД отчета типа Таблица. Задача: зафиксировать три левых колонки в отчете. Процедура ПриКомпоновкеРезультата(ДокументРезультат, ДанныеРасшифровки, СтандартнаяОбработка) / / . . .	Настройки VS Code Loafer 13.04.2026 { "cmake. configureOnOpen": false, "diffEditor. ignoreTrimWhitespace": true, "editor. guides. bracketPairs": "active", "extensions. ignoreRecommendations": true, . . .	Оптимизация кода на разграничение прав доступа к элементам формы Maks 13.04.2026 Алгоритм из решения ниже реализован на нетиповом документе, разработанного в конфигурации КА2. Задачи, как таковой, поставлено не было, проделанное ниже исключительно моя инициатива. Было так:. . .
Контроль заполнения и очистка дат в зависимости от значения перечислений Maks 12.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "ПланированиеПерсонала", разработанного в конфигурации КА2. Задача: реализовать контроль корректности заполнения дат назначения. . .	Архитектура слоя интернета для сервера-слоя. Hrethgir 11.04.2026 В продолжение https:/ / www. cyberforum. ru/ blogs/ 223907/ 10860. html Знаешь что я подумал? Раз мы все источники пишем в голове ветки, то ничего не мешает добавить в голову такой источник, который сам. . .	Подстановка значения реквизита справочника в табличную часть документа Maks 10.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "ПланированиеПерсонала", разработанного в конфигурации КА2. Задача: при выборе сотрудника (справочник Сотрудники) в ТЧ документа. . .	Очистка реквизитов документа при копировании Maks 09.04.2026 Алгоритм из решения ниже применим как для типовых, так и для нетиповых документов на самых различных конфигурациях. Задача: при копировании документа очищать определенные реквизиты и табличную. . .

@castaway
	03.09.2012, 11:17
	Не по теме: А зачем ты два раза инициализируешь частные данные в конструкторе? 1

@Toshkarik 1181 / 894 / 94 Регистрация: 03.08.2011 Сообщений: 2,461
	03.09.2012, 11:46
	this не создается, он неявно передается каждому методу класса как параметр, и содержит собственно адрес объекта. А конструктор, хоть и с особенностями, но все же является методом. 1

@Holsteng 48 / 11 / 2 Регистрация: 26.03.2012 Сообщений: 246
	03.09.2012, 11:48 [ТС]
	Toshkarik, спасибо Вам! Однако мне интересна ситуация с конструктором, а не с методом 0

@Toshkarik 1181 / 894 / 94 Регистрация: 03.08.2011 Сообщений: 2,461
	03.09.2012, 11:48
	Конструктор и есть метод. 1

@Toshkarik 1181 / 894 / 94 Регистрация: 03.08.2011 Сообщений: 2,461
	03.09.2012, 11:56
	Holsteng, он создается при каждом вызове любого нестатического метода класса, и передается как неявный параметр. 1

@Holsteng 48 / 11 / 2 Регистрация: 26.03.2012 Сообщений: 246
	03.09.2012, 12:00 [ТС]
	Toshkarik, спасибо, извините, только сейчас въехал в суть Ваших слов! 0

@Toshkarik 1181 / 894 / 94 Регистрация: 03.08.2011 Сообщений: 2,461
	03.09.2012, 12:00
	soon, почему же UB, как я понял, память под элемент-данные выделяется до вызова конструктора, и, соответственно, при вызове конструктора уже известен адрес объекта. 0

@Toshkarik 1181 / 894 / 94 Регистрация: 03.08.2011 Сообщений: 2,461
	03.09.2012, 12:02
	Holsteng, undefined behavior - неопределенное поведение. Неопределенное имеется ввиду не определенно стандартом. 1