Тайны карт файлов Delphi: двойные точки в идентификаторах и их назначение

Delphi , Программа и Интерфейс , Исследование программ

Tайны карт файлов Delphi: двойные точки в идентификаторах и их назначение

При разработке на Delphi, разработчики часто сталкиваются с различными аспектами компилятора, включая картовые файлы (.map), которые содержат информацию о загруженных модулях и символах. Одним из вопросов, вызывающих интерес, является использование двойных точек в идентификаторах, таких как MapFile..TFoo и SysInit..1.

Описание проблемы

Идентификаторы, разделенные двойными точками, обнаруженные в картовых файлах Delphi, могут вызвать у разработчиков недоумение. Примером может служить следующий код на Object Pascal:

program MapFile;
{$APPTYPE CONSOLE}
{$R *.res}
type
  TFoo = class(TObject)
  public
    function GetFoo: string;
  end;
function TFoo.GetFoo: string;
begin
  Result := 'foo';
end;
var
  foo: TFoo;
begin
  foo := TFoo.Create;
  writeln(foo.GetFoo);
  foo.Free;
end.

Картовый файл, сгенерированный для этой программы, может содержать записи вида:

Address             Publics by Name
0001:00005AC8       MapFile..TFoo
0001:00005BBC       MapFile.Finalization
0004:00002BA0       MapFile.foo
0002:000000BC       MapFile.MapFile
0001:00005B88       MapFile.TFoo.GetFoo
...
0001:000059D0       SysInit...
0001:000059C0       SysInit...
...
0004:00002B98       SysInit..1

Подтвержденный ответ

Использование двойных точек в идентификаторах связано с внутренними механизмами компилятора Delphi. В частности, MapFile..TFoo и SysInit..1 относятся к вirtual method tables (VMT) для класса TFoo и другим символам, которые не являются частью кода пользователя. Компилятор генерирует эти символы, чтобы обеспечить уникальность и избежать конфликтов, что важно для процесса линковки и работы с информацией о типе во время выполнения.

Альтернативный ответ и обсуждение

В сообществе разработчиков есть предположения, что двойные точки могут быть связаны с анонимными классами, но это не так. Вместо этого, они представляют собой ссылки на VMT классов или другие символы, сгенерированные компилятором. Отмечается, что разработчик IDE FixPack, Andreas Hausladen, может знать больше о таких символах, так как он работал над восстановлением строкового типа для LLVM Delphi и упоминал, что системные BPL содержат символы, которые не могут быть сгенерированы обычным Pascal без двоичного патчинга или "магии" компилятора.

Заключение

Двойные точки в идентификаторах картовых файлов Delphi - это часть механизма, который используется для идентификации типов символов, генерируемых компилятором, в частности, виртуальных методов таблиц (VMT) для классов. Эти символы необходимы для правильной работы линковки и информационного обмена о типе во время выполнения программы. Для более глубокого понимания этих механизмов можно обратиться к документации или форумам, где опытные разработчики делятся знаниями и опытом.

Создано по материалам из источника по ссылке.

Вопрос о назначении двойных точек в идентификаторах, обнаруженных в картовых файлах Delphi, связанных с внутренними механизмами компилятора и виртуальными таблицами методов классов.

Комментарии и вопросы

Получайте свежие новости и обновления по Object Pascal, Delphi и Lazarus прямо в свой смартфон. Подпишитесь на наш Telegram-канал delphi_kansoftware и будьте в курсе последних тенденций в разработке под Linux, Windows, Android и iOS

:: Главная :: Исследование программ ::