7.4.2 Схемы передачи аргументов

Подпрограммы не возвращают значение (соответствующее C99’s void), в то время как функции либо возвращают значение, как указано в ABI платформы, либо переменная результата передается как скрытый аргумент функции, и результат не возвращается. Скрытая переменная результата используется, когда переменная результата является массивом или имеет тип CHARACTER.

Аргументы передаются в соответствии с ABI платформы. В частности, сложные аргументы могут не быть совместимы со структурой с двумя вещественными компонентами для вещественной и мнимой части. Передача аргументов соответствует схеме C99’s _Complex. Функции со скалярными комплексными переменными результата возвращают их значение и не используют аргумент по ссылке. Обратите внимание, что с опцией -ff2c передача аргументов изменяется и больше не полностью соответствует ABI платформы. Некоторые другие компиляторы Fortran используют f2c семантику по умолчанию; это может вызвать проблемы с межпрограммной совместимостью.

GNU Fortran передает большинство аргументов по ссылке, т. е. передавая указатель на данные. Обратите внимание, что компилятор может использовать временную переменную, в которую скопирован фактический аргумент, если это семантически необходимо (копирование при входе/копирование при выходе).

Для аргументов с атрибутами ALLOCATABLE и POINTER (включая указатели на процедуры) передается указатель на указатель, таким образом, адрес указателя может быть изменен в процедуре.

Для фиктивных аргументов с атрибутом VALUE: скалярные аргументы типа INTEGER, LOGICAL, REAL и COMPLEX передаются по значению в соответствии с ABI платформы. (В качестве расширения поставщика и не рекомендуется, использование %VAL() в вызове процедуры имеет тот же эффект.) Для TYPE(C_PTR) и указателей на процедуры передается сам указатель, чтобы его можно было изменить без влияния на вызывающую сторону.

Для логических (LOGICAL) аргументов обратите внимание, что GCC ожидает только целочисленные значения 0 и 1. Если переменная GNU Fortran LOGICAL содержит другое целое значение, результат неопределен. Поскольку некоторые другие компиляторы Fortran используют -1 для .TRUE., необходимо соблюдать особую осторожность — например, передавая значение как INTEGER. (Такое же ограничение на значения также применяется к другим фронт-энд системам GCC, например, к компилятору C99 GCC для _Bool или компилятору Ada GCC для Boolean.)

Для аргументов типа CHARACTER длина символьной строки передается как скрытый аргумент. Для строк с отложенной длиной значение передается по ссылке, в противном случае — по значению. Длина символьной строки имеет тип INTEGER(kind=4). Обратите внимание, что при связывании с C CHARACTER(len=1) переменные результата возвращаются в соответствии с ABI платформы, и скрытый аргумент длины не используется для фиктивных аргументов; при VALUE эти переменные передаются по значению.

Для фиктивных аргументов типа OPTIONAL отсутствующий аргумент обозначается нулевым указателем, за исключением скалярных фиктивных аргументов типа INTEGER, LOGICAL, REAL и COMPLEX, которые имеют атрибут VALUE. Для них используется скрытый логический аргумент (logical(kind=C_bool),value), указывающий, присутствует ли аргумент.

Аргументы, являющиеся массивами с заданной формой, рангом или отложенным рангом, или, с -fcoarray=lib, аллокабельными скалярными комассивами, используют описатель массива. Все остальные массивы передают адрес первого элемента массива. С -fcoarray=lib токен и смещение, относящиеся к фиктивным аргументам неаллокабельных комассивов, передаются в качестве скрытых аргументов вместе со скрытыми аргументами длины символьной строки. Токен — это опарный указатель, идентифицирующий комассив, а смещение — целое число, передаваемое по значению, вида C_PTRDIFF_T, обозначающее байтовое смещение между базовым адресом комассива и переданным скаляром или первым элементом переданного массива.

Аргументы передаются в следующем порядке:

• Переменная результата, когда результат функции передаётся по ссылке
• Длина символьной строки результата функции, если она имеет тип CHARACTER и не используется связывание с C
• Аргументы в том порядке, в котором они появляются в объявлении Fortran
• Статус присутствия для необязательных аргументов с атрибутом значения, которые внутренне передаются по значению
• Длина символьной строки и/или токен и смещение комассива для первого аргумента, являющегося CHARACTER или фиктивным аргументом неаллокабельного комассива, за которым следуют скрытые аргументы следующего фиктивного аргумента такого типа

Предыдущий: Правила именования, Верхний уровень: Правила именования и передачи аргументов [Содержание][Индекс]