Директива (программирование)

В компьютерном программировании директива или прагма (от слова «прагматический») — это языковая конструкция , которая определяет, как компилятор ( или другой транслятор ) должен обрабатывать вводимые данные. В зависимости от языка программирования директивы могут быть или не быть частью грамматики языка и могут различаться от компилятора к компилятору. Они могут обрабатываться препроцессором для указания поведения компилятора или функционировать как форма внутриполосной параметризации.

В некоторых случаях директивы определяют глобальное поведение, тогда как в других случаях они влияют только на локальный раздел, например блок программного кода. В некоторых случаях, например в некоторых программах на языке C, директивы являются необязательными подсказками компилятора и могут игнорироваться, но обычно они носят предписывающий характер и должны соблюдаться. Однако директива не выполняет никаких действий в самом языке, а лишь изменяет поведение компилятора.

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

Препроцессор C

В C и C++ язык поддерживает простой препроцессор макросов . Строки исходного кода, которые должны обрабатываться препроцессором, например и, называются директивами препроцессора .#define#include

Другая конструкция C, #pragmaдиректива, используется для указания компилятору использовать прагматические или зависящие от реализации функции. Двумя известными пользователями этой директивы являются OpenMP и OpenACC .

Синтаксические конструкции, подобные директивам препроцессора C, например C# , #ifтакже обычно называются «директивами», хотя в этих случаях может не быть какой-либо реальной фазы предварительной обработки.

Все команды препроцессора начинаются с символа решетки (#), за исключением директив импорта и модуля в C++ . ^[1]

История

Директивы датируются JOVIAL . ^[2]

COBOL Имел директиву COPY.

В АЛГОЛе 68 директивы известны как прагматы (от «прагматический») и обозначаются прагматами или pr ; в новых языках, особенно в C, это слово сокращается до «прагма» (без «т»).

Обычное использование прагматов в АЛГОЛе 68 заключается в указании режима ограничения , что означает «как обозначаются ключевые слова». Далее следуют различные подобные директивы, определяющие режимы POINT, UPPER, RES (зарезервировано) или котировки. Обратите внимание на использование ограничения для самого ключевого слова pragmat (сокращенно pr ) либо в режиме POINT, либо в режиме кавычки:

.PR ТОЧКА .PR.PR ВЕРХНИЙ .PR.PR РЕС .PR'пр' цитирую 'пр'

Сегодня директивы наиболее известны в языке C начала 1970-х годов и продолжаются до текущего стандарта C99 , где они представляют собой либо инструкции для препроцессора C , либо, в форме #pragmaдиректив для самого компилятора. Они также в некоторой степени используются в более современных языках; см. ниже.

Другие языки

В Ada директивы компилятора называются прагмами (сокращение от «прагматическая информация»).
В Common Lisp директивы называются объявлениями и указываются с помощью declareконструкции (также proclaimили declaim). ^[3] За одним исключением, объявления не являются обязательными и не влияют на семантику программы. Единственным исключением является special, который необходимо указать там, где это необходимо.
В Turbo Pascal директивы называются значимыми комментариями , поскольку в грамматике языка они следуют тому же синтаксису, что и комментарии . В Turbo Pascal важным комментарием является комментарий, первый символ которого — знак доллара , а второй символ — буква; например, эквивалентом #include "file"директивы C является значимый комментарий {$I "file"}.
В Perl ключевое слово " use", которое импортирует модули, также может использоваться для указания директив, таких как use strict;или use utf8;.
Прагмы Haskell указываются с использованием специального синтаксиса комментариев, например {-# INLINE foo #-}. ^[4]
PHP использует директиву declare(strict_types=1).
В Python есть две директивы from __future__ import feature(определенные в PEP 236 — «Назад в __future__»), которые изменяют функции языка (и используют существующий синтаксис импорта модулей, как в Perl), и директиву coding(в комментарии), определяющую кодировку файл исходного кода (определенный в PEP 263 — Определение кодировки исходного кода Python). Более общее заявление о директиве было предложено и отклонено в документе PEP 244 — «Директива»; все они датируются 2001 годом.
ECMAScript также использует useсинтаксис директив с той разницей, что прагмы объявляются как строковые литералы (например "use strict";, или "use asm";), а не как вызов функции.
В Visual Basic ключевое слово « Option» используется для директив:
- Option Explicit On|Off- При включении запрещается неявное объявление переменных при первом использовании, требующем явного объявления заранее.
- Option Compare Binary- Результаты сравнения строк на основе порядка сортировки, полученного из внутренних двоичных представлений символов - например, для английской/европейской кодовой страницы (ANSI 1252) A < B < E < Z < a < b < e < z < À < Ê < Ø < à < ê < ø. Влияет на встроенные операторы (например, =, <>, <, >), блок Select Case и строковые функции библиотеки времени выполнения VB (например, InStr).
- Option Compare Text- Результаты сравнения строк на основе порядка сортировки текста без учета регистра, определенного языковым стандартом вашей системы - например, для английской/европейской кодовой страницы (ANSI 1252) (A=a) < (À = à) < (B=b) < (E=e) < (Ê = ê) < (Z=z) < (Ø = ø). Влияет на встроенные операторы (например, =, <>, <, >), блок Select Case и строковые функции библиотеки времени выполнения VB (например, InStr).
- Option Strict On|Off- Когда включено запрещение:
  - бестиповое программирование - где объявления, у которых нет явного типа, неявно типизируются как Object.
  - позднее связывание (т. е. динамическая отправка объектам CLR, DLR и COM) для значений, статически типизированных как Object.
  - неявные сужающие преобразования — требование, чтобы все преобразования в более узкие типы (например, из Long в Integer, Object в String, Control в TextBox) были явными в коде с использованием операторов преобразования (например, CInt, DirectCast, CType).
- Option Infer On|Off- Когда включено, компилятор определяет тип локальных переменных на основе их инициализаторов.
В Ruby директивы интерпретатора называются прагмами и задаются комментариями в начале файла, которые следуют за key: valueнотацией. Например, coding: UTF-8указывает, что файл закодирован с помощью кодировки символов UTF-8 .
В C# директивы компилятора называются директивами предварительной обработки. Существует ряд различных директив компилятора, включая #pragma, которая специально используется для управления предупреждениями компилятора и контрольными суммами отладчика. ^[5]^[6]
В СУБД SQLite имеется директива PRAGMA, которая используется для введения команд, несовместимых с другими СУБД. ^[7]
В Solidity директивы компилятора называются прагмами.

язык ассемблера

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

ПЛ/SQL

Процедурный язык PL/SQL корпорации Oracle включает набор директив компилятора, известных как «прагмы». ^[8]

Смотрите также

#pragma Once — директива препроцессора в C и C++.

Сноски

^ "P1857R1 - Обнаружение зависимостей модулей" .
^ «Глава 17 — Директивы» (PDF) . Руководство по компьютерному программированию для языка JOVIAL (J73) (PDF) (Технический отчет). Июнь 1981. стр. 243–263. RADC-TR-81-143 . Проверено 28 мая 2023 г.
^ Стил 1990, Глава 9: Декларации, с. 215–237.
^ "7.20. Прагмы". GHC 7.8.3 Документация . Проверено 18 июля 2014 г.
^ дотнет-бот. «Лексическая структура — спецификация языка C#». docs.microsoft.com . Проверено 1 ноября 2019 г.
^ БиллВагнер. «#pragma — Справочник по C#». docs.microsoft.com . Проверено 1 ноября 2019 г.
^ «Операторы Pragma, поддерживаемые SQLite» . www.sqlite.org .
^ Фейерштейн, Стивен ; Прибыл, Билл (23 января 2014 г.). Программирование Oracle PL/SQL (6-е изд.). O'Reilly Media, Inc. (опубликовано в 2014 г.). ISBN 9781449324414. Проверено 16 июня 2016 г. В PL/SQL есть ключевое слово PRAGMA со следующим синтаксисом: PRAGMA Instruction_to_compiler ; [...] PL/SQL предлагает несколько прагм [...]

Внешние ссылки

Веб-сайт OpenMP
Веб-сайт OpenACC
Веб-сайт OpenHMPP