宣言（コンピュータプログラミング）

コンピュータプログラミングにおいて、宣言は識別子の特性を指定する言語構成要素であり、単語（識別子）の意味を宣言する。^[1]宣言は関数、変数、定数、クラスに最もよく使用されるが、列挙や型定義などの他のエンティティにも使用できる。^[1]名前（識別子自体）とエンティティの種類（関数、変数など）の他に、宣言は通常、データ型（変数と定数の場合）または型シグネチャ（関数の場合）を指定します。型には、配列などの次元が含まれる場合もあります。宣言は、エンティティの存在をコンパイラに通知するために使用されます。これは、関数、変数、定数、およびそれらの型を使用前に宣言で指定する必要がある強く型付けされた言語で重要であり、前方宣言で使用されます。^[2]「宣言」という用語は「定義」という用語と頻繁に対比されますが、^[1]意味と使用法は言語によって大きく異なります。以下を参照してください。

宣言は、 BCPLファミリー、最も有名なのはCとC++、そしてPascal を含むALGOL系の言語で特に顕著です。Javaでは「宣言」という用語が使用されますが、Java では宣言と定義を別々にする必要はありません。

基本的な二分法の 1 つは、宣言に定義が含まれているかどうかです。たとえば、変数または定数の宣言でその値が指定されているか、それともその型のみが指定されているか、同様に、関数の宣言で関数の本体 (実装) が指定されているか、それともその型シグネチャのみが指定されているかです。 ^[1]すべての言語でこの区別が行われているわけではありません。多くの言語では、宣言には常に定義が含まれており、言語に応じて「宣言」または「定義」と呼ばれることがあります。^[a]ただし、これらの概念は、使用前に宣言を必要とする言語 (前方宣言が使用される) と、インターフェイスと実装が分離されている言語で区別されます。インターフェイスには宣言が含まれ、実装には定義が含まれます。^[b]

非公式な用法では、「宣言」は純粋な宣言（型のみ、値や本体なし）のみを指し、「定義」は値または本体を含む宣言を指します。ただし、正式な用法（言語仕様）では、「宣言」にはこれら両方の意味が含まれ、言語によってより細かく区別されます。C および C++ では、本体を含まない関数の宣言は関数プロトタイプと呼ばれ、本体を含む関数の宣言は「関数定義」と呼ばれます。Java では、宣言は 2 つの形式で発生します。パブリック メソッドの場合、宣言はメソッド名、入力タイプ、および出力タイプで構成されるメソッド シグネチャとしてインターフェイスに提示できます。同様の表記法は、定義を含まない抽象メソッドの定義でも使用できます。包含クラスはインスタンス化できますが、クラスのインスタンスを作成するには、メソッドの定義を提供する新しい派生クラスを作成する必要があります。Java 8以降では、関数宣言として表示できるラムダ式が言語に含まれるようになりました。

C ファミリーのプログラミング言語では、宣言はヘッダー ファイルに集められることが多く、ヘッダー ファイルは、これらの宣言を参照して使用するが定義にはアクセスできない他のソース ファイルにインクルードされます。ヘッダー ファイル内の情報は、宣言を使用するコードと宣言を定義するコード間のインターフェイスを提供します。これは、情報の隠蔽の一種です。宣言は、別のソース ファイルまたはライブラリで定義された関数または変数にアクセスするためによく使用されます。定義タイプと宣言タイプが一致しないと、コンパイラ エラーが発生します。

変数の場合、定義は宣言フェーズで予約されたメモリ領域に値を割り当てます。関数の場合、定義は関数本体を提供します。変数または関数は複数回宣言できますが、通常は 1 回定義されます ( C++では、これは1 つの定義ルールまたは ODR と呼ばれます)。

JavaScriptやPythonなどの動的言語では、通常、関数を再定義、つまり再バインドできます。関数は、他の変数とほとんど同じように、名前と値 (定義) を持つ変数です。

以下は、C における定義ではない宣言の例です。

extern char例1 ; extern int例2 ; void例3 ( void );  
  
 

以下に、C での定義である宣言の例をいくつか示します。

char example1 ; /* 関数定義外ではゼロに初期化されます。 */ int example2 = 5 ; void example3 ( void ) { /* 括弧内の定義 */ }  
   
    

一部のプログラミング言語では、コンパイル時に初めてそのような変数に遭遇したときに暗黙的な宣言が提供されます。他の言語では、そのような使用はエラーと見なされ、診断メッセージが表示される場合があります。一部の言語では、暗黙的な宣言の動作から始まりましたが、成熟するにつれて、それを無効にするオプションが提供されました (例: Perlの " use strict" またはVisual Basicの " Option Explicit")。

• 範囲（コンピュータサイエンス）

• C と C++ における宣言と定義、Alex Allain
• 8.2. 宣言、定義、アクセシビリティ、The C Book、 GBdirect
• 宣言と定義 (C++)、MSDN

  「宣言は、プログラム要素または名前が存在することをコンパイラに伝えます。定義は、名前が説明するコードまたはデータを指定します。」