Declarations

宣言 は、名前をC++プログラムに導入（または再導入）する方法です。すべての宣言が実際に何かを宣言するわけではなく、各種エンティティはそれぞれ異なる方法で宣言されます。 定義 は、名前で識別されるエンティティを使用するのに十分な宣言です。

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

• 関数定義
• テンプレート宣言 ( 部分テンプレート特殊化 を含む)
• 明示的テンプレート実体化
• 明示的テンプレート特殊化
• 名前空間定義
• リンケージ指定

• 空の宣言 ( ; )
• decl-specifier-seq を持たない関数宣言:

この宣言はコンストラクタ、デストラクタ、またはユーザー定義型の conversion function を宣言しなければなりません。これは template declaration 、 explicit specialization または明示的インスタンス化の一部としてのみ使用できます。

• block-declaration (ブロック内に現れることができる宣言（ ブロック を参照）)。これは以下のいずれかになります：

• asm宣言

• namespace alias 定義
• using 宣言
• using ディレクティブ

• 単純宣言

単純宣言

単純宣言は、1つまたは複数の識別子（通常は変数）を導入し、作成し、必要に応じて初期化する文です。

init-declarator-list は、名前付きクラスまたは名前付き列挙型を宣言する場合にのみ省略できます。

init-declarator の構文は以下のように定義されます：

指定子

宣言指定子 ( decl-specifier-seq ) は、任意の順序で以下の空白区切りの指定子の列です：

• the typedef 指定子。存在する場合、宣言全体は typedef宣言 となり、各宣言子はオブジェクトや関数ではなく新しい型名を導入します。
• 関数指定子 ( inline , virtual , explicit )、 関数宣言 でのみ許可されます。

• the friend 指定子、クラスおよび関数宣言で許可されます。

• ストレージクラス指定子 ( register , (C++17まで) static , thread_local , (C++11から) extern , mutable )。ストレージクラス指定子は1つだけ許可される 、ただし thread_local は extern または static と一緒に使用できる (C++11から) 。
• 型指定子 ( type-specifier-seq )、型を指定する一連の指定子。宣言によって導入されるすべてのエンティティの型は、この型（必要に応じて宣言子によって修飾される）となる。この一連の指定子は type-id でも使用される。 type-specifier-seq の一部となる指定子は以下のみ（任意の順序で）：

• class 指定子
• enum 指定子
• 単純型指定子

• char , char8_t , (C++20以降) char16_t , char32_t , (C++11以降) wchar_t , bool , short , int , long , signed , unsigned , float , double , void

• 以前に宣言されたクラス名（オプションで 修飾 可能）
• 以前に宣言されたenum名（オプションで 修飾 可能）
• 以前に宣言された typedef-name または type alias (C++11以降) （オプションで 修飾 可能）
• テンプレート引数を伴うテンプレート名（オプションで 修飾 可能、オプションで template disambiguator を使用可能）

• 詳細型指定子 (elaborated type specifier)

• キーワード class 、 struct または union に続けて、クラス名として以前に定義された識別子（任意で 修飾 可能）。
• キーワード class 、 struct または union に続けて、クラステンプレート名として以前に定義されたテンプレート引数付きのテンプレート名（任意で 修飾 可能、任意で template 曖昧性除去子 を使用可能）。
• キーワード enum に続けて、列挙型名として以前に宣言された識別子（任意で 修飾 可能）。

• typename 指定子
• CV修飾子 (cv qualifier)

decl-specifier-seqでは、以下の例外を除いて型指定子は1つだけ許可されます：

• const は自身を除く任意の型指定子と組み合わせ可能。
• volatile は自身を除く任意の型指定子と組み合わせ可能。
• signed または unsigned は char 、 long 、 short 、または int と組み合わせ可能。
• short または long は int と組み合わせ可能。
• long は double と組み合わせ可能。

Attributes は decl-specifier-seq 内に現れることがあり、その場合、それらは先行する指定子によって決定される型に適用されます。

宣言指定子シーケンス内での任意の指定子の繰り返し、例えば decl-specifier-seq 内の const static const や virtual inline virtual はエラーとなります 、ただし long が2回出現することは許可されます (C++11以降) 。

宣言子

init-declarator-list 内の各 init-declarator は、同じ指定子を持つ独立した宣言であるかのように処理されます： S D1, D2, D3 ; は S D1 ; S D2 ; S D3 ; として扱われます。

各宣言子は、正確に1つのオブジェクト、参照、関数、または（typedef宣言の場合）型エイリアスを導入します。その型は decl-specifier-seq によって提供され、宣言子内の & （参照）や [ ] （配列）や ( ) （関数返却）などの演算子によって任意に修飾されます。これらの演算子は、以下に示すように再帰的に適用できます。

A declarator は以下のいずれかです：

cv は const および volatile 修飾子のシーケンスであり、各修飾子はシーケンス内に最大1回のみ出現することができます。

注記

ブロック内で block-declaration が現れた場合、かつ宣言によって導入された識別子が以前に外側のブロックで宣言されていたとき、 外側の宣言は隠蔽されます （そのブロックの残りの部分に対して）。

自動記憶域期間を持つ変数を宣言する場合、その宣言文が実行されるときに初期化されます。ブロック内で宣言されたすべての自動変数は、ブロックから退出する際に（例外、goto、またはブロック終端への到達など、どのようにブロックを退出したかに関係なく）破棄され、初期化の順序と逆の順序で破棄されます。

例

#include <type_traits>
struct S
{
    int member;
    // decl-specifier-seq is "int"
    // declarator is "member"
} obj, *pObj(&obj);
// decl-specifier-seq is "struct S { int member; }"
// declarator "obj" declares an object of type S
// declarator "*pObj" declares a pointer to S,
//     and initializer "(&obj)" initializes it
int i = 1, *p = nullptr, f(), (*pf)(double);
// decl-specifier-seq is "int"
// declarator "i" declares a variable of type int,
//     and initializer "= 1" initializes it
// declarator "*p" declares a variable of type int*,
//     and initializer "= nullptr" initializes it
// declarator "f()" declares (but doesn't define)
//     a function taking no arguments and returning int
// declarator "(*pf)(double)" declares a pointer to function
//     taking double and returning int
int (*(*var1)(double))[3] = nullptr;
// decl-specifier-seq is "int"
// declarator is "(*(*var1)(double))[3]"
// initializer is "= nullptr"
// 1. declarator "(*(*var1)(double))[3]" is an array declarator:
//    Type declared is: "(*(*var1)(double))" array of 3 elements
// 2. declarator "(*(*var1)(double))" is a pointer declarator:
//    Type declared is: "(*var1)(double)" pointer to array of 3 elements
// 3. declarator "(*var1)(double)" is a function declarator:
//    Type declared is: "(*var1)" function taking "(double)",
//    returning pointer to array of 3 elements.
// 4. declarator "(*var1)" is a pointer declarator:
//    Type declared is: "var1" pointer to function taking "(double)",
//    returning pointer to array of 3 elements.
// 5. declarator "var1" is an identifier.
// This declaration declares the object var1 of type "pointer to function
// taking double and returning pointer to array of 3 elements of type int"
// The initializer "= nullptr" provides the initial value of this pointer.
// C++11 alternative syntax:
auto (*var2)(double) -> int (*)[3] = nullptr;
// decl-specifier-seq is "auto"
// declarator is "(*var2)(double) -> int (*)[3]"
// initializer is "= nullptr"
// 1. declarator "(*var2)(double) -> int (*)[3]" is a function declarator:
//    Type declared is: "(*var2)" function taking "(double)", returning "int (*)[3]"
// ...
int main()
{
    static_assert(std::is_same_v<decltype(var1), decltype(var2)>);
}

不具合報告

以下の動作変更の欠陥報告書は、以前に公開されたC++規格に対して遡及的に適用されました。

関連項目