Почему VMT внизу?

[vitya007]

В общем по сабжу

Код: Выделить всё

program test;

type
  generic TTestType<T> = class
   v: T;
  public
   procedure Proc; virtual; abstract;
  end;
 
  TTestTypeSpec = specialize TTestType<Single>;

procedure Test(v: TTestTypeSpec);
begin
   v.v := 123;
   v.Proc;
end;

exports
   Test;
   
begin

end.


Код: Выделить всё

| mov edx,dword ptr ds:[409000]
| mov dword ptr ds:[eax],edx
| mov edx,dword ptr ds:[eax+4]
| call dword ptr ds:[edx+30]
| ret


[zub]

В смысле почему не слева?
Краткость конечно сестра таланта, но не до такой же степени))

[vitya007]

В смысле почему не слева?
Краткость конечно сестра таланта, но не до такой же степени))

что слева? название тем прочти. знающие люди поймут о чем речь. Прошу не писать, если не знаешь.

[zub]

Ок. тебе конечно видней))

[Дож]

VMT может быть в любом месте, у этого нет какой-то необходимости.

Скорее всего для того, чтобы было похоже на object'ы. Если у object'а нет виртуальных методов, у него нет и VMT, и потому он совместим в памяти с аналогичным record'ом. Если в нём в будущем появляется VMT, оно появится в конце и данные продолжат быть совместимы.

что слева?

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

[vitya007]

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

В данном контексте рассматривалась как структура, ее можно рассматривать как таблицу.

VMT может быть в любом месте, у этого нет какой-то необходимости.

Не может, особенно если есть virtual методы.
Не учитываешь наследование. Там могут быть еще переменные, тем самым расширить класс.

[zub]

Дож
Как у класса может не быть виртуальных методов если у TObject`а их куча?

[Дож]

Дож
Как у класса может не быть виртуальных методов если у TObject`а их куча?

Да, я тупанул, забыл, что все классы являются неявными наследниками TObject'ов. Похоже, что VMT у класса всегда хранится где-то в начале инстанса.

Интересный тред по теме:
viewtopic.php?f=14&t=3628

В данном контексте рассматривалась как структура, ее можно рассматривать как таблицу.

«Данный контекст» — это вопрос «Почему VMT внизу?» и кусок ассемблерного кода. В нём не рассматриваются ни структуры, ни таблицы.

[zub]

У всех классов ссылка на vmt хранится по одному смещению, подробностей непомню, но думаю ТС нам сейчас всё раскажет

[vitya007]

У всех классов ссылка на vmt хранится по одному смещению, подробностей непомню, но думаю ТС нам сейчас всё раскажет

VMT всегда находятся в 0x00 смещении, их кстати может быть несколько если это интерфейсы и используют несколько классов.

Тема еще акутальна

[sts]

замените на

Код: Выделить всё

type
  generic TTestType<T> = class
  private <<<<<<<<<<
   v: T;
  public
   procedure Proc; virtual; abstract;
  end;
 

каков результат будет?

[zub]

Асм получен с включеными оптимизациями?

[vitya007]

Асм получен с включеными оптимизациями?

Без разницы какие оптимизации.

Но если интересно O4