Нужно ли мне помещать implicit none в каждую функцию и подпрограмму?
Или достаточно поставить его в начале модуля, содержащего эти функции и подпрограммы?
Или достаточно поставить его в начале программы, использующей эти модули?
По наблюдениям за другим рабочим кодом, implicit none включен во все эти места. Я не уверен, что это делается избыточно, потому что удаление implicit none из подпрограмм по-прежнему скомпилировано и дает тот же результат.
Кстати, я использую gfortran fortran 90 .
4 ответа
Оператор implicit (включая implicit none ) применяется к единице объема . Такая вещь определяется как
Конструкция BLOCK, определение производного типа, тело интерфейса, программный модуль или подпрограмма, за исключением всех вложенных в него модулей области видимости.
Это «исключение всех вложенных единиц области видимости в нем» предполагает, что может быть необходимо / желательно иметь implicit none в каждой функции и подпрограмме (в совокупности, процедурах), определенных в модуле. Однако внутри процедур, содержащихся в модуле, существует отображение по умолчанию на основе единицы области видимости хоста . Таким образом, с implicit none в модуле нет необходимости иметь это в содержащихся процедурах.
Это правило единицы области видимости хоста в равной степени применяется к внутренним программам. Это означает, что implicit none в основной программе охватывает все содержащиеся в ней процедуры; и то же самое относится к внутренним программам модульных процедур. Блочные конструкции также видят это, и оператор implicit даже не разрешен в одном из них.
Однако внешние функции / подпрограммы не будут наследовать неявное поведение от программы или модуля, а модули не наследуют его от программ / других модулей, которые use их. Это явно имеет смысл, поскольку неявная типизация должна быть известна во время компиляции и четко определена независимо от их конечного использования.
Кроме того, нельзя применять неявные правила из одного программного модуля к модулю, который он использует, например:
Оператор implicit должен следовать за всеми операторами use .
Точно так же подмодуль представляет собой программную единицу, отличную от своих предков. Модуль или подмодуль является родительским , а не хостом подмодуля, который его расширяет: правило единицы области видимости узла не применяется, и подмодуль не наследует правила сопоставления от своего родителя. Без оператора implicit в области действия подмодуля будут применяться правила по умолчанию.
В частности, правило единицы области видимости хоста не применяется к телам интерфейса. Ответ IanH мотивирует это исключение, но это достаточно важный момент, чтобы еще раз подчеркнуть. Это вызвало большую путаницу.
Что касается теста удаления implicit none из подпрограммы: если код действителен с implicit none , то он должен быть действительным и идентичным без этого оператора. Все сущности должны быть явно объявлены в первом случае, поэтому во втором не будут применяться неявные правила.
Нет, да (вроде) и нет.
Достаточно одного раза на программный блок (что не то же самое, что один раз на программу) и в каждом теле интерфейса.
Программный модуль — это либо основная программа, либо модуль, либо внешняя подпрограмма (функция или подпрограмма, которая не появляется после оператора CONTAINS другого типа программного модуля), программный модуль данных блока или подмодуль. Если иное не указано в инструкции IMPLICIT, значение по умолчанию в каждом программном модуле — это сопоставление по умолчанию вещей, начинающихся с I-N как целое число по умолчанию, а все остальное как действительное по умолчанию.
Тот же принцип применяется к телам интерфейса — поскольку они должны быть моментальным снимком части спецификации процедуры, определенной в другом программном модуле. Этот другой программный модуль будет иметь сопоставление по умолчанию, если иное не указано иначе, поэтому тело интерфейса имеет сопоставление по умолчанию, если иное не указано иначе.
Внутри программного модуля внутренние подпрограммы или подпрограммы модуля наследуют любую неявную типизацию, указанную в их хосте, в отсутствие «локального» оператора IMPLICIT внутри самой подпрограммы.
Избыточная спецификация IMPLICIT NONE безвредна. Вы часто видите это там, где подпрограммы, которые раньше были внешними подпрограммами, были помещены в модуль.
Вот неофициальный ответ, основанный на том, что мне подходит.
Мой код Fortran находится в файлах двух типов: файлы, содержащие основную программу, и файлы, содержащие один модуль. В файлах каждого типа IMPLICIT NONE появляется сразу после операторов «program foo» или «module foo» и после операторов USE вверху. Он не появляется в подпрограммах или функциях, потому что это было бы избыточно.
Если вы используете gfortran , вы также можете просто добавить Параметр -fimplicit-none .
Обратите внимание, что это решение для конкретного компилятора. Другие распространенные компиляторы могут не поддерживать этот параметр. Например, Intel ifort игнорирует этот параметр как неизвестный.
Источник
IMPLICIT
The IMPLICIT statement confirms or changes the default type of names.
IMPLICIT type ( a [, a ]) [, type ( a [, a ])]
IMPLICIT UNDEFINED(A-Z) u
CHARACTER* n (where n must be greater than 0 )
COMPLEX*32 u ( SPARC only )
DOUBLE COMPLEX u
REAL*16 u ( SPARC only )
Either a single letter or a range of single letters in alphabetical order. A range of letters can be specified by the first and last letters of the range, separated by a minus sign.
Description
The different uses for implicit typing and no implicit typing are described here.
Implicit Typing
The IMPLICIT statement can also indicate that no implicit typing rules apply in a program unit.
An IMPLICIT statement specifies a type and size for all user-defined names that begin with any letter, either a single letter or in a range of letters, appearing in the specification.
An IMPLICIT statement does not change the type of the intrinsic functions.
An IMPLICIT statement applies only to the program unit that contains it.
A program unit can contain more than one IMPLICIT statement.
IMPLICIT types for particular user names are overridden by a type statement.
Compiling with any of the options -dbl , -i2 , — r8 , or -xtypemap can alter the assumed size of names typed with an IMPLICIT statement that does not specify a size: IMPLICIT REAL (A-Z) . See Chapter 2 and the Fortran User’s Guide for details.
No Implicit Typing
The second form of IMPLICIT specifies that no implicit typing should be done for user-defined names, and all user-defined names shall have their types declared explicitly.
If either IMPLICIT NONE or IMPLICIT UNDEFINED (A-Z) is specified, there cannot be any other IMPLICIT statement in the program unit.
Restrictions
IMPLICIT statements must precede all other specification statements.
The same letter can appear more than once as a single letter, or in a range of letters in all IMPLICIT statements of a program unit. @
The FORTRAN 77 Standard restricts this usage to only once. For f77 , if a letter is used twice, each usage is declared in order. See Example 4.
Examples
Example 1: IMPLICIT : everything is integer:
Example 2: Complex if it starts with U , V , or W ; character if it starts with C or S :
Example 3: All items must be declared:
In the above example, once IMPLICIT NONE is specified in the beginning. All the variables must be declared explicitly.
Example 4: A letter used twice: @
In the above example, D through Z implies INTEGER , and A through C implies REAL .
Источник
Implicit none что это значит
перевод Балуева А. Н.
Глава 2.Алфавитный справочник
Оператор GOTO
Функция HUGE
Функция IACHAR
Функция IAND
Функция IBCLR
Функция IBITS
i должно иметь тип INTEGER. pos должен иметь тип INTEGER. Он должен быть неотрицательным и pos+len должно быть меньше чем или равно количеству бит в i. len должен иметь тип INTEGER и быть неотрицательным.
Результат имеет тип INTEGER и ту же разновидность, что и i. Его значение есть значение последовательности из len бит, начинающейся с позиции pos, которая (последовательность) затем смещена до конца вправо и дополнена нулями слева. Напомним, что самая правая (младшая) позиция имеет номер 0.
Функция IBSET
i должно иметь тип INTEGER. pos должен иметь тип INTEGER. Он должен быть неотрицательным и меньше чем количество бит в i.
Результат имеет тип INTEGER и ту же разновидность, что и i. Его значение есть значение i за исключением того, что бит в позиции pos заменен на 1. Заметим, позиция наименьшего порядка имеет номер 0.
Функция ICHAR
Результат имеет тип default INTEGER. Его значение есть позиция c в упорядоченной последовательности процессора, связанная с разновидностью c и лежит в области 0 В начало страницы
Конструкт IF
Исполняется не более чем один блок, содержащийся в конструкте IF. Если в конструкте содержится оператор ELSE, то выполняется точно один из блоков, содержащихся в конструкте. Выражения expr вычисляются в порядке их расположения в конструкте, пока не будет получено значение true или достигнут оператор ELSE или END IF. Если обнаружено значение true или встретился оператор ELSE, то выполняется непосредственно следующий блок и на этом исполнение конструкта завершается. Выражения expr в оставшихся операторах ELSE IF или конструктах IF не вычисляются. Если никакое из вычисленных expr не дало значения true и не было операторов ELSE, выполнение конструкта завершается без выполнения каких-либо блоков в пределах конструкта.
Если в операторе IF указано construct name, то соответствующий оператор END IF должен содержать то же самое construct name. Если оператор IF не имеет construct name, соответствующий оператор END IF тоже не должен его содержать.
Оператор IF-THEN
Выполняется не более чем один из блоков, содержащихся в конструкте IF. Если в конструкте имеется оператор ELSE, то исполняется точно один из блоков, содержащихся в конструкте. Выражения expr вычисляются в порядке их расположения в конструкте, пока не будет получено значение true или достигнут один из операторов ELSE или END IF. Если обнаружено значение true или достигнут оператор ELSE, выполняется непосредственно следующий блок и на этом выполнение конструкта заканчивается. Выражения expr в оставшихся операторах ELSE IF конструкта IF не вычисляются. Если ни одно из вычисленных выражений expr не дало значения true и нет операторов ELSE, выполнение конструкта заканчивается без выполнения каких-то блоков в его пределах.
Оператор IF
Выполнение оператора IF требует вычисления expr. Если значение expr есть true, то выполняется action-statement. Если это значение есть false, то action-statement не выполняется.
Оператор IMPLICIT
Оператор IMPLICIT определяет, в пределах своей единицы видимости, тип и, возможно, разновидность длины CHARACTER для каждого имени, начинающегося с буквы, указанной в операторе IMPLICIT. Как альтернатива, он может указывать, что в пределах единицы видимости соглашения о начальных буквах не действуют.
length есть скалярное выражение типа INTEGER или * char-length есть скалярная литеральная константа типа INTEGER или (*) letter-specs есть список через запятую выражений формы буква[-буква]. буква есть одна из букв от A до Z.
letter-spec состоящий из двух букв, разделенных знаком минус, эквивалентен написанию списка, содержащего в алфавитном порядке все буквы от первой указанной буквы до второй. Одна и та же буква не может появиться как отдельная буква или в диапазоне букв более одного раза во всех операторах IMPLICIT в единице видимости.
При отсутствии оператора implicit программная единица рассматривается так, как будто она имеет хост с объявлением
implicit integer (i-n), real (a-h, o-z)
IMPLICIT NONE указывает отсутствие определенного предназначения (defolt mapping) для всех букв. Если предназначение буквы не определено в данной единице видимости, по умолчанию оно определяется хостом данной единицы.
Если IMPLICIT NONE имеется в единице видимости, он должен предшествовать всем операторам PARAMETER в этой единице и быть единственным оператором IMPLICIT в этой единице.
Всякий объект данных, который не объявлен явно в операторе объявления типа, не есть встроенная функция и не сделан доступным посредством use или хост-ассоциации, считается неявно объявленным с типом (и параметрами типа разновидностью и длиной ) по первой букве своего имени при условии, что ее предназначение ( mapping ) не пусто (not null).
Явная спецификация типа в операторе FUNCTION подавляет оператор IMPLICIT для имени этой функциональной подпрограммы.
Строка INCLUDE
Строка INCLUDE побуждает обрабатывать текст из другого файла так, как если бы этим текстом заменить строку INCLUDE. Строка INCLUDE не является оператором Fortran.
filename есть литеральная константа типа CHARACTER, которая соответствует файлу, содержащему входной текст для вставки на место строки INCLUDE.
Строка INCLUDE является единственным непустым (non-blank) текстом в этой входной строке (source line) кроме возможного конечного комментария. Метки оператора или дополнительные операторы недопустимы в этой строке.
Функция INDEX
Результат имеет тип default INTEGER. Если back отсутствует или имеет значение false, то значение результата есть номер позиции в string, где начинается первое вхождение или ноль, если нет такого значения или если string короче чем substring. Если substring имеет длину ноль, то значение результата есть один.
Если back присутствует и имеет значение true, то значение результата есть номер позиции в string, где начинается последнее вхождение substring. Если string короче чем substring или если substring не входит в string, возвращается значение ноль. Если substring имеет длину ноль, то выдается значение LEN(string)+1.
Оператор INQUIRE
Оператор INQUIRE побуждает программу справиться о существовании файла, о связях, о методе доступа и других свойствах.
external-file-unit есть скалярное выражение типа INTEGER, которое вычисляет для устройства ввода/вывода номер внешнего файла. file-name-expr есть скалярное выражение типа CHARACTER, которое определяет имя файла.
iostat есть скалярная переменная типа INTEGER, которой присваивается положительное значение при обнаружении ошибки, отрицательное значение при обнаружении конца файла или конца записи, и значение ноль в остальных случаях.
label есть метка оператора для перехода при ошибке. exist есть скалярная типа default LOGICAL переменная, которая получает значение true, если названный файл в FILE= specifier существует или устройство ввода/вывода, указанное в UNIT= specifier существует, и false в противных случаях.
opened есть скалярная переменная типа default LOGICAL, которая получает значение true, если файл или названное устройство ввода/вывода подсоединены, и false в противном случае.
number есть скалярная переменная типа INTEGER, которая получает значение номера устройства ввода/вывода внешнего файла или -1, если файл не присоединен или не существует.
named есть скалярная переменная типа default LOGICAL, которая получает значение true, если файл имеет имя, и false в противном случае. name есть скалярная переменная типа default CHARACTER, которая получает значением имя файла, если он имеет имя, и в противном случае остается неопределенной.
access есть скалярная переменная типа default CHARACTER, которая получает значение SEQUENTIAL, если файл предназначен для последовательного доступа, DIRECT, если файл предназначен для прямого доступа, TRANSPARENT, если файл подсоединен для доступа transparent , или UNDEFINED если файла нет.
sequential есть скалярная переменная типа default CHARACTER, которая получает значение YES, если последовательный доступ есть допустимый метод доступа к файлу, NO, если последовательный доступ недопустим, и UNKNOWN, если файл не подсоединен или не существует.
direct есть скалярная переменная типа default CHARACTER, которая получает значение YES, если прямой доступ возможен для файла, NO, если прямой доступ не разрешен, и UNKNOWN, если файл не подсоединен или не существует.
form есть скалярная переменная типа default CHARACTER, которой присваивается значение FORMATTED, если файл подсоединен для форматированного ввода/вывода, UNFORMATTED, если файл подсоединен для неформатированного ввода/вывода, и UNDEFINED, если связи нет.
formatted есть скалярная переменная типа default CHARACTER, которая получает значение YES, если formatted есть допустимая форма для файла, NO, если formatted недопустима, и UNKNOWN, если файл не присоединен или не существует.
unformatted есть скалярная переменная типа default CHARACTER, которая получает значение YES, если unformatted есть допустимая форма для файла, NO, если unformatted недопустима и UNKNOWN, если файл не присоединен или не существует.
recl есть скалярная переменная типа default INTEGER, которая вычисляется для определения длины записи в байтах для файла, присоединенного для прямого доступа, или для максимальной длины записи в байтах для файла, присоединенного для последовательного доступа, или ноль для файла не присоединенного или не существующего.
nextrec есть скалярная переменная типа default INTEGER, которая получает значение n+1, где n есть номер последней записи, прочтенной или записанной в файл, присоединенный для прямого доступа. Если в файл не писали или не читали из него с момента присоединения, переменная получает значение 1. Если файл не присоединен для прямого доступа, значение равно 0.
blank есть скалярная переменная типа default CHARACTER, в которую записывается NULL, если действует null blank control, ZERO, если действует zero blank control, и UNDEFINED, если файл не присоединен для форматированного ввода/вывода или не существует.
position есть скалярная переменная типа default CHARACTER, которая получает значение REWIND, если заново открытый файл последовательного доступа установлен в начальную позицию; APPEND, если он установлен перед записью
endfile, если такая существует, или на конечную позицию в противном случае; ASIS, если позиция есть после записи endfile; и UNDEFINED, если файл не присоединен или не существует.
action есть скалярная переменная типа default CHARACTER, которая устанавливается на READ, если файл предназначен только для чтения, на WRITE, если установленный файл предназначен для записи, или на READWRITE, если в файл можно и писать и читать, или на UNDEFINED, если файл не присоединен или не существует.
read есть скалярная переменная типа default CHARACTER, которой присваивается значение YES, если READ есть допустимое действие с файлом, NO, если READ есть недопустимое действие, и UNKNOWN, если файл не присоединен или не существует.
write есть скалярная переменная типа default CHARACTER, которой присваивается значение YES, если WRITE есть допустимое действие с файлом, NO, если WRITE есть недопустимое действие, и UNKNOWN, если файл не присоединен или не существует.
readwrite есть скалярная переменная типа default CHARACTER, которая получает значение YES, если READWRITE есть допустимое действие с файлом, NO, если READWRITE есть недопустимое действие с файлом, и UNKNOWN, если файл не присоединен или не существует.
delim есть скалярная переменная типа default CHARACTER, она получает значение APOSTROPHE, если апостроф будет использоваться для ограничения символьных констант, написанных с управляемым списком или с namelist-форматированием, QUOTE, если будут использоваться кавычки, NONE, если не будут использоваться ни кавычки ни апострофы, UNDEFINED, если файл не присоединен или не существует.
pad есть скалярная переменная типа default CHARACTER, которая получает значение YES, если форматированная входная запись дополняется пробелами, и NO, если файл не присоединен или не существует.
flen есть скалярная переменная типа default INTEGER, которая получает значение длины файла в байтах.
blocksize есть скалярная переменная типа default INTEGER, которая получает значение размера в байтах буфера ввода/вывода. Это значение может быть внутренним образом переделано в границу для длин записей, если устройство присоединено для прямого доступа и поэтому может оказаться не соответствующим спецификатору BLOCKSIZE, указанном в операторе OPEN. Значение есть ноль, если файл не присоединен или не существует.
file-format есть скалярная переменная типа default CHARACTER, которая получает значение BIG_ENDIAN, если действует конверсия big endian, LITTLE_ENDIAN, если действует конверсия little endian, IBM, если действунет конверсия в стиле IBM, и NATIVE, если никакая конверсия не действует.
carriagecontrol есть скалярная переменная типа default CHARACTER, которая получает значение FORTRAN, если первый символ форматированной последовательной записи должен использоваться для управления кареткой, и LIST в противном случае.
iolength есть скалярная переменная типа default INTEGER, которая получает значение от использования выходных объектов в операторе бесформатного вывода. Значение может быть использовано как RECL= specifier в операторе OPEN, который присоединяет файл для безформатного прямого доступа, когда имеются операторы ввода/вывода с тем же списком выходных объектов, которые представляют собой разделенный запятыми список элементов с iolength, как это объяснено чуть выше.
inquire-specs магут содержать один FILE= specifier или одно UNIT= specifier, только не оба, и не более одного спецификатора других видов.
В запросе по форме unit в операторе INQUIRE statement, если необязательные символы UNIT= отсутствуют в спецификации устройства, эта спецификация должна стоять на первом месте в inquire-specs.
Когда возвращаемое значение спецификатора, отличного от NAME = specifier, имеет тип CHARACTER и процесор может выдавать буквы обоих регистров, это значение выдается буквами верхнего регистра.
Если во время выполнения оператора INQUIRE происходит ошибка, все спецификационные переменные оператора становятся неопределенными, за исключением перeменной в IOSTAT= specifier (если такие есть).
Функция INT
Результат имеет тип INTEGER. Если kind присутствует, то он и определяет разновидность результата. Значение результата есть значение a без дробной части. Если a имеет тип COMPLEX, результат есть вещественная часть без дробной части.
Оператор INTEGER
Один и тот же атрибут не должен появляться в операторе INTEGER более одного раза.
function-name может быть именем external, встроенной или операторной функции, или функции фиктивной процедуры. Запись вида = initialization-expr может появиться, если оператор содержит атрибут PARAMETER.
Если = initialization-expr появилась, то удвоенное двоеточие должно стоять перед списком примитивов. Каждый примитив имеет атрибут SAVE, если не стоит в в именованном блоке common.
Форма = initialization-expr не должна употребляться, если entity-name есть фиктивный аргумент, результат функции, объект в именованном блоке common (в случае когда объявление типа не находится в программной единице block data), объект в безымянном блоке common, размещаемый массив, указатель, внешнее имя, встроенное имя или автоматический объект.
Массив, объявленный с атрибутом POINTER или ALLOCATABLE, должен специфицироваться с отложенной формой.
array-spec для function-name, которая не имеет атрибута POINTER или ALLOCATABLE, должен специфицироваться с явной формой.
array-spec для function-name которая имеет атрибут POINTER или атрибут ALLOCATABLE, должен специфицироваться с отложенной формой.
Если указан атрибут POINTER, то атрибуты TARGET, INTENT, EXTERNAL или INTRINSIC не должны специфицироваться.
Если указан атрибут TARGET, атрибуты POINTER, EXTERNAL, INTRINSIC или PARAMETER специфицироваться не должны.
Атрибут PARAMETER не должен быть специфицирован для фиктивных аргументов, указателей, размещаемых массивов, функций или объектов в блоке common.
Атрибуты INTENT и OPTIONAL могут указываться только для фиктивных аргументов. Примитив не должен иметь атрибут PUBLIC, если его тип имеет атрибут PRIVATE.
Атрибут SAVE не должен указываться для объекта, который находится в блоке common block, для фиктивного аргумента, процедуры, результата функции или автоматического объекта данных.
Примитив не может иметь атрибут EXTERNAL, если имеет атрибут INTRINSIC. Примитив в операторе INTEGER не должен иметь атрибуты EXTERNAL или INTRINSIC, если только он не является функцией.
Массив не может иметь вместе атрибуты ALLOCATABLE и POINTER. Примитиву нельзя давать явно какой-нибудь атрибут более одного раза в единице видимости.
