Что бы почитать по С++?

У Криса Касперского была книжка.
Где все на низком уровне расписано.
В плоть дисассемблерного листинга

Если с вызовами функций все примерно ясно - кладем параметры в стек

Fail.

Можно с этого места подробней?

Можно с этого места подробней?

Способ передачи параметров зависит от ABI платформы/компилятора. gcc по-умолчанию для i386 первые три параметра передаёт через регистры (если параметр в регистр помещается), а для x86-64 целых 6.

gcc/i386 вычёркиваю, тут через стек :)

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

Но таки спасибо за замечания, обновил свои воспоминания.
http://unixwiz.net/techtips/win32-callconv-asm.html - вроде бы толковая статья. Вот нечто подобное бы, но раскладывающее класс по полочкам.

Ага. Я понимаю, мне и интересно, что получается в скомпилированном коде. Сижу сейчас смотрю в objdump, но понимаю мало.

На x64 вообще как-то дофига по-разному на разных системах:
http://www.agner.org/optimize/calling_conventions.pdf
не говоря уже о компиляторах

Это старая статья, и только про x86 и про Си.

Я выше подробную статью привел.

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

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

А как с множественным наследованием?

А как с множественным наследованием?

А в чём думаешь собственно разница?!

Если у нас класс C наследуется от A и B, то номер 0 в таблице виртуальных функций будет соответствовать переопределённой функции класса A или B? И что произойдёт, когда мы указатель на объект класса С передаём в функцию, ожидающую A или B?

> Если у нас класс C наследуется от A и B, то номер 0 в таблице виртуальных функций будет соответствовать переопределённой функции класса A или B?

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

И что произойдёт, когда мы указатель на объект класса С передаём в функцию, ожидающую A или B?

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

Зачем тебе все это знать? Детали реализации зависят от железа, операционной системы и желаний разработчиков.

Почему вопросы такого рода гораздо реже возникают у жабистов, шарпистов, лисперов и т.д.?

ТЫ не знаешь или меня проверяешь?!

Я знаю приблизительно и хочу уточнить)

Просто выходит, что здесь компилятор занимается чёрной магией...

При повышающем приведении никакой магии, вот при понижающем уже становиться интересно )