ディレクティブ（プログラミング）

コンピュータ プログラミングにおいて、ディレクティブまたはプラグマ(「実用的な」から来ている) は、コンパイラ(または他のトランスレータ) が入力を処理する方法を指定する言語構造です。プログラミング言語によっては、ディレクティブが言語の文法の一部である場合とそうでない場合があり、コンパイラごとに異なる場合があります。ディレクティブは、コンパイラの動作を指定するためにプリプロセッサによって処理されるか、またはインバンド パラメータ化の形式として機能します。

ディレクティブはグローバルな動作を指定する場合もあれば、プログラミング コードのブロックなどのローカル セクションにのみ影響する場合もあります。一部の C プログラムなどでは、ディレクティブはオプションのコンパイラ ヒントであり、無視できますが、通常は規範的なものであり、従う必要があります。ただし、ディレクティブは言語自体でアクションを実行するのではなく、コンパイラの動作を変更するだけです。

この用語は、開発環境に存在する既存のコンパイラ、アセンブラ、および言語構造を拡張する追加の実行可能処理をもたらす、コードに埋め込まれた独自のサードパーティのタグとコマンド (またはマークアップ) を指すために使用される場合があります。「ディレクティブ」という用語は、コマンドという用語に似たさまざまな方法でも使用されます。

CおよびC++では、言語は単純なマクロ プリプロセッサをサポートしています。 や などのプリプロセッサで処理する必要があるソース行は、#defineプリプロセッサディレクティブ#includeと呼ばれます。

C#のなど、C のプリプロセッサ ディレクティブに類似した構文構造#ifも通常は「ディレクティブ」と呼ばれますが、これらの場合には実際のプリプロセス フェーズは含まれない場合があります。

C++のimportおよびmoduleディレクティブを除き、すべてのプリプロセッサコマンドはハッシュ記号（#）で始まります。^[1]

指令はJOVIALに遡る。^[2]

COBOL には COPY 指令がありました。

ALGOL 68では 、ディレクティブはプラグマット(「pragmatic」から)と呼ばれ、pragmatまたはprで表されます。新しい言語、特に C では、これは「pragma」(「t」なし) と省略されています。

ALGOL 68 でのプラグマットの一般的な使用法は、キーワードの指定方法を意味するストロッピング方式を指定することです。さまざまなディレクティブが続き、POINT、UPPER、RES (予約済み)、または引用符方式を指定します。POINTまたは引用符方式のいずれかで、 プラグマットキーワード自体 (省略形はpr ) にストロッピングが使用されていることに注意してください。

.PR ポイント .PR
.PR アッパー .PR
.PR RES .PR
'pr' 引用符 'pr'

今日、ディレクティブは 1970 年代初頭の C 言語で最もよく知られており、現在のC99標準に引き継がれています。C 言語では、ディレクティブはC プリプロセッサへの命令、または の形式で#pragmaコンパイラ自体へのディレクティブのいずれかです。ディレクティブは、より現代的な言語でもある程度使用されています。以下を参照してください。

• Adaでは、コンパイラ ディレクティブはプラグマ(「実用的な情報」の略) と呼ばれます。
• Common Lispでは、ディレクティブは宣言と呼ばれ、declare構文（またはproclaim）を使用して指定されますdeclaim。^[3] 1つの例外を除いて、宣言はオプションであり、プログラムの意味には影響しません。唯一の例外は でありspecial、これは適切な場所で指定する必要があります。
• Turbo Pascalでは、ディレクティブは、言語文法ではコメントと同じ構文に従うため、重要なコメントと呼ばれます。Turbo Pascal では、重要なコメントとは、最初の文字がドル記号で、2 番目の文字が文字であるコメントです。たとえば、C のディレクティブに相当するのは重要なコメントです。#include "file"{$I "file"}
• Perlでは、モジュールをインポートするキーワード" use" を使用して、 や などのディレクティブを指定することもできuse strict;ますuse utf8;。
• Haskellのプラグマは特殊なコメント構文を使用して指定されます{-# INLINE foo #-}。例： ^[4]
• PHP はディレクティブ を使用しますdeclare(strict_types=1)。
• Pythonには、言語機能を変更するディレクティブfrom __future__ import feature(PEP 236 -- Back to the __future__ で定義) と、ソース コード ファイルcodingのエンコーディングを指定するディレクティブ (コメント内) (PEP 263 -- Defining Python Source Code Encodings で定義) の 2 つのディレクティブがあります。より一般的なディレクティブ ステートメントが PEP 244 -- The `directive' statement で提案され、却下されました。これらはすべて 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 として型指定されます。
    • Object として静的に型指定された値に対する遅延バインディング (つまり、CLR、DLR、および COM オブジェクトへの動的ディスパッチ)。
    • 暗黙的な縮小変換 - より狭い型へのすべての変換 (例: Long から Integer、Object から String、Control から TextBox) を、変換演算子 (例: CInt、DirectCast、CType) を使用してコード内で明示的に行う必要があります。
  • Option Infer On|Off- オンにすると、コンパイラは初期化子からローカル変数の型を推測できるようになります。
• Rubyでは、インタープリタ ディレクティブはプラグマと呼ばれ、表記法に続くファイル先頭のコメントによって指定されますkey: value。たとえば、はcoding: UTF-8ファイルがUTF-8 文字エンコーディングでエンコードされていることを示します。
• C#では、コンパイラディレクティブはプリプロセスディレクティブと呼ばれます。コンパイラの警告やデバッガーのチェックサムを制御するために特に使用される#pragmaを含む、さまざまなコンパイラディレクティブがあります。<sup>[5] [6]</sup>
• SQLite DBMSには、他 のDBMSと互換性のないコマンドを導入するために使用されるPRAGMAディレクティブが含まれています。<sup>[7]</sup>
• Solidityでは、コンパイラディレクティブはプラグマと呼ばれ、`pragma`キーワードを使用して指定されます。^[8]

• アセンブリ言語では、ディレクティブ (疑似操作または「疑似命令」とも呼ばれる) は、通常、ターゲット マシンなどの情報を指定し、コード セクション間の区切りをマークし、アセンブリ時の変数を定義および変更し、マクロを定義し、条件付きコードと繰り返しコードを指定し、予約済みメモリ領域を定義します。すべてではありませんが、一部のアセンブラでは、疑似命令と命令ニーモニックを区別するために特定の構文を使用します。たとえば、疑似命令の前にピリオドを付けて (疑似命令 など)、.ENDアセンブラにコードのアセンブルを停止するように指示する場合があります。

• オラクル社のPL/SQL手続き型言語には、「プラグマ」と呼ばれる一連のコンパイラ指令が含まれています。^[9]

• #pragma once  – C および C++ のプリプロセッサ ディレクティブ

• OpenMP ウェブサイト
• OpenACC ウェブサイト
• OpenHMPP ウェブサイト