Declarations

declaration は、1つまたは複数の identifiers をプログラムに導入し、それらの意味とプロパティを指定するC言語の構成要素です。

宣言は任意のスコープで現れます。各宣言はセミコロンで終了し（ 文 と同様）、以下の 2つの (C23まで) 3つの (C23以降) 異なる部分で構成されます：

ここで

例えば、

int a, *b=NULL; // "int"は型指定子、
                // "a"は宣言子
                // "*b"は宣言子でNULLはその初期化子
const int *f(void); // "int"は型指定子
                    // "const"は型修飾子
                    // "*f(void)"は宣言子
enum COLOR {RED, GREEN, BLUE} c; // "enum COLOR {RED, GREEN, BLUE}"は型指定子
                                 // "c"は宣言子

宣言で導入される各識別子の型は、 型指定子 によって指定される型と、その 宣言子 によって適用される型修飾の組み合わせによって決定されます。 auto 指定子が使用された場合、変数の型は推論される可能性もあります。 (C23以降)

Attributes (C23以降) は specifiers-and-qualifiers 内に現れることがあり、その場合、先行する指定子によって決定される型に適用されます。

宣言子

各宣言子は以下のいずれかです：

この構文の背景にある考え方は、宣言子によって宣言された識別子が、宣言子と同じ形式の式内に現れる場合、その識別子は型指定子シーケンスによって指定された型を持つことになるというものです。

struct C
{
    int member; // "int" は型指定子
                // "member" は宣言子
} obj, *pObj = &obj;
// "struct C { int member; }" は型指定子
// 宣言子 "obj" は struct C 型のオブジェクトを定義
// 宣言子 "*pObj" は C へのポインタを宣言
// 初期化子 "= &obj" はそのポインタの初期値を提供
int a = 1, *p = NULL, f(void), (*pf)(double);
// 型指定子は "int"
// 宣言子 "a" は int 型のオブジェクトを定義
//   初期化子 "=1" はその初期値を提供
// 宣言子 "*p" は int へのポインタ型のオブジェクトを定義
//   初期化子 "=NULL" はその初期値を提供
// 宣言子 "f(void)" は void を受け取り int を返す関数を宣言
// 宣言子 "(*pf)(double)" は double を受け取り int を返す関数への
//   ポインタ型のオブジェクトを定義
int (*(*foo)(double))[3] = NULL;
// 型指定子は int
// 1. 宣言子 "(*(*foo)(double))[3]" は配列宣言子:
//    宣言される型は "/ネストされた宣言子/ 3つの int の配列"
// 2. ネストされた宣言子は "*(*foo)(double))" で、ポインタ宣言子
//    宣言される型は "/ネストされた宣言子/ 3つの int の配列へのポインタ"
// 3. ネストされた宣言子は "(*foo)(double)" で、関数宣言子
//    宣言される型は "/ネストされた宣言子/ double を受け取り
//        3つの int の配列へのポインタを返す関数"
// 4. ネストされた宣言子は "(*foo)" で（関数宣言子の構文で必要とされる
//        括弧で囲まれた）ポインタ宣言子
//    宣言される型は "/ネストされた宣言子/ double を受け取り
//        3つの int の配列へのポインタを返す関数へのポインタ"
// 5. ネストされた宣言子は "foo" で、識別子
// この宣言は識別子 "foo" を "double を受け取り 3つの int の配列への
//    ポインタを返す関数へのポインタ" 型のオブジェクトとして導入
// 初期化子 "= NULL" はこのポインタの初期値を提供
// もし "foo" が宣言子の形式の式で使用された場合、その型は int となる
int x = (*(*foo)(1.2))[0];

他の宣言子の一部ではない各宣言子の終端は、 シーケンスポイント です。

すべての場合において、 attr-spec-seq は attributes のオプションのシーケンスです (C23以降) 。識別子の直後に現れる場合、それは宣言されているオブジェクトまたは関数に適用されます。

定義

definition は、宣言する識別子に関するすべての情報を提供する宣言です。

enum または typedef のすべての宣言は定義です。

関数に関して、関数本体を含む宣言は function definition です：

int foo(double); // 宣言
int foo(double x) { return x; } // 定義

オブジェクトの場合、ストレージを割り当てる宣言（ 自動または静的 、ただしexternを除く）は定義であり、ストレージを割り当てない宣言（ 外部宣言 ）は定義ではありません。

extern int n; // 宣言
int n = 10; // 定義

struct および union の場合、メンバーのリストを指定する宣言は定義となります：

struct X; // 宣言
struct X { int n; }; // 定義

再宣言

同じスコープ内で同じ識別子に対する別の宣言が先に現れる場合、宣言は識別子を導入できません。ただし、以下の場合は例外です： scope

• オブジェクトの宣言は リンケージ （外部または内部）を持つものは繰り返すことができます：

extern int x;
int x = 10; // 正常
extern int x; // 正常
static int n;
static int n = 10; // 正常
static int n; // 正常

• Non-VLA typedef は同じ型を指定する限り繰り返すことができます：

typedef int int_t;
typedef int int_t; // OK

• struct および union 宣言は繰り返すことができます：

struct X;
struct X { int n; };
struct X;

これらの規則はヘッダーファイルの使用を簡素化します。

注記

空の宣言子は許可されません。単純宣言は少なくとも1つの宣言子を持つか、少なくとも1つの構造体/共用体/列挙体タグを宣言するか、または少なくとも1つの列挙定数を導入する必要があります。

参考文献

関連項目