7.2 Директивы компилятора GNU Fortran

Стандарт Fortran описывает поведение конформной программы; однако точное её выполнение не стандартизировано. Для того, чтобы позволить пользователю выбрать определённые детали реализации, могут использоваться директивы компилятора для задания атрибутов переменных и процедур, которые не являются частью стандарта. Поддержка данного атрибута и его точное воздействие зависят как от операционной системы, так и от процессора; см. Расширения языка C в документации по GNU Compiler Collection (GCC) для получения подробной информации.

Для процедур и указателей на процедуры можно использовать следующие атрибуты для изменения соглашения о вызове:

• CDECL – стандартное соглашение о вызове C
• STDCALL – соглашение, где вызываемая процедура удаляет стек
• FASTCALL – часть аргументов передаётся через регистры вместо стека

Помимо изменения соглашения о вызове, атрибуты также влияют на оформление имени символа, например, с помощью ведущего подчёркивания или заключительного знака «@» с последующим количеством байтов в стеке. При назначении процедуры указателю на процедуру обе должны использовать одинаковое соглашение о вызове.

В некоторых системах процедурам и глобальным переменным (переменным модуля и COMMON блокам) требуется специальное обращение, чтобы они были доступны, когда они находятся в общей библиотеке. Доступны следующие атрибуты:

• DLLEXPORT – предоставление глобального указателя на указатель в DLL
• DLLIMPORT – ссылка на функцию или переменную с использованием глобального указателя

Для фиктивных аргументов можно использовать атрибут NO_ARG_CHECK; в других компиляторах он также известен как IGNORE_TKR. Для фиктивных аргументов с этим атрибутом принимаются фактические аргументы любого типа и рода (аналогично TYPE(*)), скаляры и массивы любого ранга (нет эквивалента в стандарте Fortran). Как и в случае с TYPE(*), аргумент является неограниченно полиморфным, и информация о типе недоступна. Кроме того, аргумент может передаваться только фиктивным аргументам с атрибутом NO_ARG_CHECK и в качестве аргумента встроенной функции PRESENT и C_LOC модуля ISO_C_BINDING.

Переменные с атрибутом NO_ARG_CHECK должны быть с типом «предполагаемый тип» (TYPE(*); рекомендуется) или типа INTEGER, LOGICAL, REAL или COMPLEX. У них не должно быть атрибутов ALLOCATE, CODIMENSION, INTENT(OUT), POINTER или VALUE; кроме того, они должны быть скалярными или с предполагаемым размером (dimension(*)). Как и TYPE(*), атрибут NO_ARG_CHECK требует явного интерфейса.

• NO_ARG_CHECK – отключение проверки типа, рода и ранга

Атрибуты задаются с помощью синтаксиса

!GCC$ ATTRIBUTES список_атрибутов :: список_переменных

где в исходном коде в свободном формате перед !GCC$ допускаются только пробелы, а в исходном коде с фиксированной формой !GCC$, cGCC$ или *GCC$ должны начинаться с первой колонки.

Для процедур директивы компилятора должны быть размещены в теле процедуры; для переменных и указателей на процедуры — в той же части объявления, что и переменная или указатель на процедуру.

Далее: Основная программа не на Fortran, Предыдущее: Взаимодействие с C, Вверх: Смешанное программирование на разных языках [Оглавление][Индекс]