FPC Internals: Как узнать ожидаемый тип результата внутри handle_foo при создании intrinsic-функции в Delphi/Pascal?

Delphi , Компоненты и Классы , Процедуры и функции

В мире Delphi и Pascal, особенно при работе с Free Pascal Compiler (FPC), иногда возникает необходимость создания собственных intrinsic-функций. Это позволяет расширить возможности языка, оптимизировать код или реализовать специфические алгоритмы. Однако, при внедрении такой функциональности на уровне компилятора, как, например, в ninl.pas, возникают вопросы о том, как получить информацию об ожидаемом типе результата внутри обработчика intrinsic-функции (например, handle_foo).

Проблема:

Автор оригинального вопроса столкнулся с ситуацией, когда его handle_foo функция, вызываемая из tinlinenode в ninl.pas при обработке пользовательской intrinsic-функции, не знает, какой тип результата ожидается. Компилятор, как выяснилось, не проверяет соответствие возвращаемого типа функции и типа переменной, которой присваивается результат, на этапе обработки intrinsic-функции. Это приводит к тому, что код успешно компилируется даже в случаях, когда ожидается integer, а возвращается string.

Решение:

Как подсказал PascalDragon, ключевым моментом является метод pass_typecheck узла дерева разбора. Именно в этом методе определяется тип результата узла, и именно здесь необходимо установить поле resultdef в правильное определение типа.

Разъяснение:

pass_typecheck - это метод, который вызывается компилятором для проверки типов и определения типа результата выражения или узла дерева разбора. Внутри handle_foo (или аналогичной функции, обрабатывающей вашу intrinsic-функцию) вы не получаете информацию об ожидаемом типе результата "извне". Вместо этого, вы сами должны определить тип результата, основываясь на логике вашей intrinsic-функции, и установить соответствующее значение в поле resultdef узла, который представляет результат вашей функции.

Пример (псевдокод):

function tinlinenode.handle_foo: tnode;
var
  param, p: tnode;
  expectedType: tType; // Определяем ожидаемый тип результата

begin
  // ... обработка параметров ...

  // Определяем тип результата, основываясь на параметрах или логике функции
  if <условие, определяющее тип результата как Integer> then
    expectedType := s32inttype; // Пример: integer
  else if <условие, определяющее тип результата как String> then
    expectedType := shortstringtype; // Пример: string
  else
    expectedType := nil; // Или другой тип по умолчанию, или ошибка

  // Создаем узел результата
  if expectedType = s32inttype then
    result := cordconstnode.create(1337, s32inttype, true) // Integer
  else if expectedType = shortstringtype then
    result := cstringconstnode.createstr('string result') // String
  else
    result := nil; // Обработка ошибки

  // Устанавливаем тип результата узла (ВАЖНО!)
  result.resultdef := expectedType;

end;

Альтернативный подход (если ninl.pas не подходит):

Автор оригинального вопроса также упоминал statement_syssym в pexpr.pas. Этот подход может быть более подходящим, если вы хотите реализовать intrinsic-функцию, которая выглядит как обычная функция Pascal, а не как специальная конструкция, обрабатываемая в ninl.pas.

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

Пример (очень упрощенный):

Предположим, у вас есть функция MyIntrinsicFunction:

function MyIntrinsicFunction(param: Integer): Integer; [intrinsic];
begin
  // ...
end;

В pexpr.pas вы можете перехватить вызов этой функции и определить тип переменной, которой присваивается результат:

// Внутри statement_syssym (или другом подходящем месте)
if Symbol.Name = 'MyIntrinsicFunction' then
begin
  // ... Определяем тип переменной, которой присваивается результат вызова функции ...
  // ... Выполняем необходимую обработку и проверку типов ...
  // ... Создаем узел результата с правильным типом ...
end;

Вывод:

Для правильной работы intrinsic-функции в FPC необходимо самостоятельно определять тип результата и устанавливать его в поле resultdef узла дерева разбора в методе pass_typecheck. Альтернативный подход заключается в перехвате вызова функции в pexpr.pas, где можно получить информацию об ожидаемом типе результата из контекста вызова. Выбор подхода зависит от конкретной задачи и желаемого уровня интеграции intrinsic-функции в язык. Важно помнить, что работа с внутренностями компилятора требует глубокого понимания его архитектуры и процессов.

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

Чтобы intrinsic-функция правильно работала в FPC, необходимо в методе `pass_typecheck` самостоятельно определить и установить тип результата в поле `resultdef` узла дерева разбора, или перехватить вызов функции в `pexpr.pas` для получения информации об о

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

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

:: Главная :: Процедуры и функции ::