Привет. Интересует вопрос, как компилятор понимает тип обьекта (по каким именно критериям)? Как происходит приведения типов. Почему любой указатель можно привести к *void.  Как в иерархии наследования компилятор знает родителей и т.д. Заранее спасибо 

по стандарту языка. Указатель это всего лишь адрес в памяти. Типы указателей существуют только на этапе компиляции (для адресации по указателю используется знания о типе указателя).


на многие вопросы можно найти ответы тут: http://www.rsdn.ru/article/cpp/fastdelegate.xml

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



Так договорились, для удобства   



так же как и в первом случае, потому что программист указал это : class Derived: public Base {};

Посмотрел на название темы RTTI, значит интересует dynamic_cast ?
один из вариантов реализации, для сравнения типов объектов, сравнивать указатель на виртуальную таблицу.



Это сообщение отредактировал(а) mes - 25.9.2009, 11:48

Я понимаю что программист описывает тип. Давайте покажу на примере:



Выдаст ошибк.Интересует вопрос, как именно это знает компилятор?? 



А если нету виртуальных методов, соответственно виртуальная таблица не создастся, правильно??

В принципе вообще можно обойтись только функцией memcpy, ведь в исполняемом файле нету такого понятия, там просто набор байтов. 

Вот провел небольшой тест:



результаты:
1 2
11 21
1 2

Зачем нам тогда static_cast dynamic_cast и т.д.


Это сообщение отредактировал(а) Graf_h - 25.9.2009, 14:25

Graf_h, копирование с помощью memcpy допустимо только для POD объектов. Сложные объекты (например, конструкторы которых выделяют память, а деструкторы ее освобождают) копировать так НЕЛЬЗЯ!

2bsa
Я правильно понимаю сказанное? Например:

Static,  bsa правду говорит. Скопировать то можно, но тогда неизбежны утечки памяти. Хотелось бы все же узнать как  компилятор знает тип обьекта(имеется ввиду dynamic_cast)??

Это сообщение отредактировал(а) Graf_h - 25.9.2009, 16:58

да, по этой самой причине нельзя примянять к объектам таких классов динамик_каст.





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


компилятору не нужно знать реальный тип объекта в реале, главное может ли произойти нужное преобразование,
т.е. (для динамик_каста) можно ли привести имеющийся указатель к тому который запросил программист.
В виртуальной таблице (ВMТ) наследника, хранится указатель на ВMТ предка, и этим  образуют "список наследования"
осталось только проверить находится ли указатель на ВMТ в нужном списке наследования и если нет, то вернуть ноль, это и делает dynamic_cast.

Это сообщение отредактировал(а) mes - 26.9.2009, 13:43

mes большое спасибо +1. Еще хотелось бы уточнить насчет в-табл. 


Это по сути 2 разные функции, 2 разных адресса. Как компилятор знает что это переопределенная функция?? 


каким образом здесь вызывактся нужная функция(класса В). Ведь по сути класс А совсем ничего не знает о своем потомке. Хотя, с другой стороны, это адресс обьекта B. Почему тогда я не могу вызвать функции которые не описаны в родителе?

Это сообщение отредактировал(а) Graf_h - 25.9.2009, 22:50

вызов виртуальной функции pa->f() грубо говоря представлен как (pa-> pa->vmt->  f)(); где  pVMT указатель на виртуальную таблицу (устанавливается в конструкторе)
который для каждого класса другой.


Это сообщение отредактировал(а) mes - 25.9.2009, 23:43

mes, я видимо что то не доганяю. Если у нас есть виртуальная функция func() в родителе, то в потомке такая же функция будет совсем по другому адресу(другая функция с тем же именем). Вопрос собсно в том как компилятор знает что это именно та функция которую нужно переопределить?

можете, надо явно указать тогда чей метод хотите вызвать.

Судя по Вашим постам, основное заблуждение в том, что Выт думаете что компилятор при разборе видит только ту строчку которую он разбирает, и что вся нужная информация содержится в ней.
На самом деле очень много "грязной" информации программист не видит, и это упрощает написание кода, однако затрудняет понимание самого процесса происходящего, в случае если программист не знает как все это на самом деле работает. 
/*
В частности поэтому многие недолюбливают Си++:
 одни из них (обычно сишники  с опытом)  прекрастно представляют как это работает и могут легко получать это обычными си-средствами, а так как привыкли все и вся контролировать сами, помощь компилятора им просто излишна.
 другие  не понимают что творится, но видят что на других языках, в том числе и на Си таких замудреностей нет, поэтому  боятся  Си++ и избегают его.
*/

Так вот когда метод указан как виртуальный, вместо вызова встраивается дополнительный код, который вызывает нужную функцию (опираясь на VMT)

Добавлено @ 00:13

Да но эта функция при виртуальном вызове не будет вызвана напрямую. Адрес каждой из них хранится в своей VMT,
а объект при конструировании всегда получает указатель на "свою" VMT, относительно которой и происходит вызов.

Добавлено @ 00:17
Вот здесь был приведен пример по иллюстрации работы виртуального механизма : http://forum.vingrad.ru/index.php?showtopi...t&p=1524278

Это сообщение отредактировал(а) mes - 26.9.2009, 13:44

Большое спасибо за ссылку, и за то, что вы есть на этом форуме . Буду разбиратся.

Ну хотя бы вкратце показали бы где