грабли

[Алексей++]

Код:

struct A
{
	int a1;
	int a2;

	void Fa()
	{
		a1=1;
		a2=2;
	}
};


struct B:public A
{
	int b1;
	int b2;
	B()
	{
		((A)(*this)).Fa();// 1) в Fa this другой
		((A*)this)->Fa();// 2) в Fa this такой же
		Fa();//3) тут нет извратов ))
	}

};

void F()
{
  B b;
  int iii=1;
}

почему в конструкции 1) внутрь функции передаётся указатель не this , а какое то другой значение?
в  2) и 3) всё как обычно

там объект что ли создаётся ? Не пойму только как )))

ибо присвоение

Код:

A aaa;
aaa=((A)(*this));

проходит нормально

[Джон]

Ничего не понял... Где указатель передаётся в ф-ю? Что значит "this-такой, this-другой"?

Давай-ка по-понятней.

[Алексей++]

Джон, вот тут:

Код:

//тут this == 0x01234567
((A)(*this)).Fa(); -> (когда зашли в функцию, смотрим там this -
 он уже не равен 0x01234567 , соответственно работа идёт не с
 тем объектом, каким хочется)

а тут

Код:

//тут this == 0x01234567
((A*)this)->Fa(); -> (когда зашли в функцию, смотрим там this - он
 по прежнему равен 0x01234567)

[Джон]

Всё правильно. Это не преобразование, а чёрт знает что. Я думаю, что это не вылетает только потому, что в дебуггере и никаких серьёзных операций с данными не происходит.

Код:

B()
	{
		printf("1 a1=%d;a2=%d\n", a1, a2);
		((A)(*this)).Fa();
		printf("2 a1=%d;a2=%d\n", a1, a2);
		((A*)this)->Fa();
		printf("3 a1=%d;a2=%d\n", a1, a2);
		Fa();
		printf("4 a1=%d;a2=%d\n", a1, a2);
	}

1 и 2 покажут мусор. Те это не поля этого объекта.

[Алексей++]

ну эт я понял, что поля не его...

а вот почему компилятор пропустил, либо что это за выражение получилось ?

[Джон]

А компилятору по барабану. Некий кусок памяти кастится под определённую схему. Посмотри, у тебя там всего два целых поля. Дебуггер всегда выделяет место с запасом плюс ещё обнуляет всё.
Те ничего страшного не происходило. В реальной ситуации это должно вылететь с ошибкой доступа к памяти.

А нафига тебе вобще такое понадобилось? Ну кастинг указателя это я ещё могу понять (не совсем правда - this в родительский класс - это изврат ИМХО). Но пытаться вытащить что-то что по указателю, ещё даже не создано до конца объекта...  представь что твоя ф-я Fa() вызывает некую чисто виртуальную ф-ю, которая будет переписана в В и работает с мемберами В, которые будут проинициаллизированы в конструкторе, после вызова Fa() (ну блин загнул)

[Алексей++]

Джон, прикинь, не вылетало...  Функция обнуляла кусок тела B , который (кусок) является A ) Только обнулялось нехристь что, но не вылетало , как не странно.
Написал так (вариант 1) не знаю почему )) Очень торопился, босс подгонял, вот и выдал шедевр ))) Потом я понял, что был пьян , переписал. А потом понял, что достаточно вообще просто вызвать функцию, привата там не было, доступ прямо из B есть

[Джон]

С невылетанием повезло. Может в этот момент и резервируется кусок памяти нужных размеров где-то, только ты его уже не достанешь. ХОтя можно попробовать.
А так конечно есть доступ, тем более что у тебя там всё паблик. Поэтому я и не въехал зачем тебе это всё надо было.

[Алексей++]

Джон, достать ту память элементарно - пусть Fa() вернёт  указатель:

Код:

void* Fa()
{
   return this;
}

мне больше интересен механизм - что же это было ? )))) Что именно создалось, по каким законам языка

[nop]

мне больше интересен механизм - что же это было ? )))) Что именно создалось, по каким законам языка

Был создан временный объект, инициализированный подобъектом A, время жизни которого ограничено полным выражением. Эквивалентно A(*this).Fa();

[Алексей++]

nop, (*this).Fa(); - это я понимаю, а имя класса перед выражением - это же синтаксическая ошибка вроде

или тут имеется в виду - создать экземпляр класса A , инициализировать его текущим (*this) экземпляром класса B (обрезав его до A) и вызвать у нового объекта A метод Fa ? Но тогда опять нестыковка - указано же преобразование типа - (A)

[Anchorite]

Алексей1153++, ради интереса добавь в конце структуры A следующие строки и попробуй скомпилировать.

Код:

    A() {}

    private:
       A(const A&);

Думаю вопросы отпадут сами собой.

[Алексей++]

да уж, я угадал. Только приват не срабатывает - конструктор вызывается (я протрассировал). И точно - адрес уже левый, то есть это временный безымянный объект.
А вообще - неприятно, почему такой конструктор есть по умолчанию ?

[Dimka]

Алексей1153++, он всегда был. В C++ есть 2 конструктора по умолчанию: "X()" - конструктор создания и "X(const X &)" - конструктор копирования.

[Антон (LogRus)]

Народ ну вы чего?

что делает этот код?

Код:

((A)(*this)).Fa();

1. разименование this
2. конструирование объекта A из объекта *this аналогично строчке A a(*this) только тут временный объкт
3. далее вызов функции


что делает этот код?

Код:

((A*)this)->Fa()

1. приводим указатель this к типу указателя на базовый класс
2. вызываем функцию

это эквивалентно строке A::Fa(); т.е. вызов функции не дочернего, а родительского класса

что касается конструкторов, дефолтовый конструктор и конструктор копирования создаются компилятором если их не задали явно.

[Алексей++]

LogRus, угу, я уже понял ошибку

[Антон (LogRus)]

Алексей1153++, а лень читать было, как-то всё пространно

[Алексей++]

LogRus, в смысле - лень читать ?

[Антон (LogRus)]

смысле буков много, пару постов почитал по диагонали и написал ответ

[Алексей++]

вот ещё грабли
залез в один свой старый код , и обнаружил там такое выражение

Код:

(BYTE*)&();

(в последних скобках была, видими, некая переменная, которую по неким причинам удалил   В общем, вопрос не в этом)

почему компилятор не ругается на эту конструкцию вообще никак ? Даже ворнинга нет

я бы ещё понял , если бы в конце пары скобок не было - это был бы просто тип. А со скобками ?

зы Собственно - какой нафик тип , вообще  непонятно что...

[Anchorite]

А у тебя в классе есть перегруженный operator  () ?

[Алексей++]

Anchorite, нет такого:)

А если бы и был , нельзя же взять адрес у возвращаемого параметра

[Джон]

Лёшка, дык ёлы-палы. Сам настройки поменял и сразу Косой.

Ща только что проверил. И VS6, и VS .NET 2003, и VS 2005 все показывают синтаксическую ошибку.

error C2059: syntax error : ')'

[Алексей++]

какие же я настройки поменял ?

-----------
блин, всё , я понял причину

кусок кода, оказывается был вырезан дефайнами , поэтому компилятор и не реагировал на косяк , щас попробовал в "живом" куске - и точно, обламывает ))

[Джон]

"Неее, эт таксист спёр. Мне его рожа сразу не понравилась." (с)