Видимо для оптимизации, методы для всех объектов одного класса создаются в единственном экземпляре. А как при множественном наследовании? Методы всех наследуемых классов компилятор организовывает в один последовательный блок памяти или нет?
Например, псевдокод:


В памяти будет вроде:
?
И вариант, когда в коде создаем не только объект-наследник, но и объекты классов А и В. 


Это сообщение отредактировал(а) Gunslinger - 11.1.2010, 17:29

С точки зрения расположения в памяти методы класса ничем не отличаются от обычных функций. И в памяти они будут лежать как обычные функции. С переменными класса эта память никак не пересекается.

нет, методы (функции члены) описываются  внутри класса фактически только для задания области видимости в отличие от дата-членов.


фактически :



Это сообщение отредактировал(а) mes - 11.1.2010, 18:56

Здесь неплохо расписано, как выглядит наследование C++ на низком уровне.

EnergoHokum, ок.
Из статьи:
"При наследовании в результирующем классе объединяются только члены с данными! Все методы существуют в единственном экземпляре."
Я так понял, что компилятор для кода

создаст не

а... "распылит", что ли, по памяти.

Есть ли вообще прикладной смысл в этом знании? Какая-то мысль с приведениями указателей крутится.

почитай Lippman. Inside the C++ Object Model
я думаю там будет ответ на твой вопрос 

по какой памяти ? 

и

размещаются в памяти одинаково, только не в той памяти которую Вы судя по всему, имели ввиду.





Это сообщение отредактировал(а) mes - 13.1.2010, 12:29

Нашел Липпмана, которого ты в прошлой теме советовал, но по отзывам в переводе неточности, а в коде встречаются ошибки. Так что я не рискнул. Эту книгу только на торрентсе нашел, пока не скачал.


Тогда в адресном пространстве? Друг за другом, вроде: по адресу 1 - метод класса А, по адресу 2 - метод класса В, по адресу 3 - метод класса С (в каждом по одному методу). Если так, тогда понятно, почему можно сделать так:

ps. Возможны синтаксические неточности.

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

Ваш пример не понял.. можете объяснить, как создание объекта связано с расположением функций(-членов)?

то другая книга


перевод очень хорош. в коде есть пара ошибок, но они легко обнаруживаются

Тогда сегодня скачаю, заодно и по объектной модели.


Попробую... Вот мои мысли:
1. Приведение указателя -- адрес остается тем же, только меняется тип. Т.е. указывал на участок памяти одного размера (начиная с какого-то адреса), теперь указывает на участок памяти другого размера (при этом, начиная с того же самого адреса). 
2. Наследование С: public A, pubic B, ... . Методы классов родителей и наследника объединяются и располагаются в памяти друг за другом, в порядке списка наследования -- сначала А, затем В и С. Таким образом с помощью указателя можно получать доступ к методам не только наследника, но и всех его родителей, перемещаясь по этой области памяти. То есть тот же самый код:

Странные у вас мысли   Кажется у вас путанница в некоторых базовых понятиях - методы объектов НЕ ЛЕЖАТ вместе с их данными. Они вообще никак не привязанны к конкретным экземплярам этих объектов. При наследовании объектов методы родителя остаются как были, никто никаких новых экземпляров этих методов не создает.
Методы - это ОБЫЧНЫЕ функции с неявным дополнительным формальным параметром.

Я не писал о данных. При чем здесь они? Я уже знаю, что они лежат отдельно, а у методов есть this на них. 


Вот это я и хочу понять. Получается, например, так: есть 2 класса и есть класс 3 - их наследник. Копию родителей не создает, понятно. А как располагает в адресном пространстве? Друг за другом или нет?

зря Вы перешли к множественному наследованию не разобравшись с классическим.




При множественном наследовании это не так. Адрес меняется.



Какое отношение расположение методов имеет к указателю this ? какой бы ни был this методы всегда продолжают лежать на своем месте, и



Кажись я понял в чем дело.. Вас сбила терминология. 

Есть два разных добирания... Когда речь идет о добирании до методов, роль играет не значение указателя (оно может бытэ любым хоть NULL), а его тип.
И второе добирание, когда функция-член посредством this хочет добраться до данных. 
В примере ниже мы не используем ни виртуальных ни данных объекта, поэтому смело можем передавать NULL в качестве аргумента.
(но не забываем что пример тестовый и в реале подобный подход не рекомендуется)
И в зависимости от приведения у нас выберется нужная функция.

данные друг за другом с учетом выравнивания, а функции(-члены) где вздумается.
Более того на самом деле генерируется на много больше функций, чем Вы видете в коде.