не только, в том числе и в приплюснутых компиляторах для вычислениях this'а в сложных случаях множественного наследования.
А можно объяснить чуточку по подробнее или дать ссылку где можно прочитать про это?

есть хорошая книга "Дизайн и эволюция языка Си++" от Страустрапа, глава 12.4: множественное наследование - модель размещения объекта в памяти. у объекта может быть несколько таблиц виртуальных функций и при вызове f1() для объекта X нужно чтобы указатель this был направлен на подобъект x объекта X, тогда как при вызове f2() для объекта X нужно, чтобы this указывал на весь объект C.
для этого применяются различные техники: коррекция this через дельту указателей на X и x, самодифицирующийся код и шлюзование (think) - передача управления на код, корректирующий this.

kaspersky
коррекция this через дельту указателей на X и x, самодифицирующийся код и шлюзование (think) - передача управления на код, корректирующий this

Хотелось бы увидеть пример такого самомодифицируещегося кода.

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

для этого применяются различные техники: ...
Я видел "генерирование" кода на лету (в некотором буфере), но не его самомодификацию. Или это одно и тоже? Imho, нет, т.к. генерирование на лету не требует никаких издержек при выполнении (код сначала целиком генерируется, а потом целиком исполняется). А пример именно самомодификации хотелось бы увидеть...

а че там смотреть...
есть у тебя например jmp relofs на процедуру, которая считает нечто через fpu инструкции.
а если проц поддерживает sse, ты впариваешь туда адрес процедуры, которая делает то-же самое, только через sse инструкции, предварительно установив атрибуты защиты страниц в секции кода.
вот и вся "самомодификация"

З.Ы. во всяких жутко оптимизированных мат. либах это нормальное явление

> Я видел "генерирование" кода на лету (в некотором
> буфере), но не его самомодификацию.
> Или это одно и тоже? Imho, нет,
нет конечно, это разновидность шлюза (часто он генерируется динамически и забрасывается на стек, но это тоже издежки).
подлинно самомодифицирующийся код модифицирует именно машинный код. в живых программах мне такое попадалось лишь несколько раз, да и то под дос, но знающие люди мне говорили, что такой прием на самом деле не редкость. кто-то с ним сталикается чаще, кто-то реже, но он есть ;)

kaspersky

- видишь волк?
- нет.
- но он есть ;)

вообще-то в оригинале там про сурка было ;)

> в живых программах мне такое попадалось лишь несколько раз, да и то под дос

Чем дальше смотреть в сторону прошлого - тем больше будет таких примеров imho.
На Z80 это было совершенно обычным делом. Ведь там не было кеша :)

да, но на Z80 не было Си++ ;)
а мы про него говорим ;)

Причём здесь С++? Тем более без примеров.
Топик про самомодифицирующийся код.

Самый примитивный пример для зилога:

foo:	CALL  bar
.......

bar:	LD  HL, bar2
	LD  (foo+1), HL
.......
	RET

bar2:	LD  HL, bar
	LD  (foo+1), HL
.......
	RET

Конечный автомат, если я не ошибаюсь.
Кто так будет делать сейчас? И почему - не будет ??


ЗЫ
Суслик может и есть, но я его не вижу.

> Конечный автомат, если я не ошибаюсь.
> Кто так будет делать сейчас? И почему - не будет ??
не будет потом, что модифицировать аргумент call [xxx] намного проще, тем более что это можно реализовать на ЯВУ без извратов

> Причём здесь С++? Тем более без примеров.
потому что разговор защел о Си++ и технике вызова виртуальных функций со сложным наследованием, чего на Z80 машнах никогда не было и уже не будет ;)

> модифицировать аргумент call [xxx] намного проще

Какая разница какую ячейку менять? Мой пример - простая экономия памяти :).
Но так не будут делать т.к. это отрицательно скажется на производительности.

Пример Max с MMX / SSE - другое дело. Изменения происходят один раз во время инициализации программы.
Но во время выполнения нет постоянной модификации кода.


> разговор защел о Си++ и технике вызова виртуальных функций со сложным наследованием

Раз уж разговор зашёл, то хотелось бы увидеть реальный пример кода.
А то у меня с фантазией проблемы :(