キーワード (C++)

本記事では、C++のキーワード について解説する。

本記事は、あくまでC++のキーワードに焦点をあてた記事であり、C++の全体像や、C++のキーワード以外の面には立ち入らない。読者の理解の助けとなる場合は適宜、他のプログラミング言語と比較する説明は行う。

なおC++のものに限らずkeywords全般や、reserved keywordsという概念全般については「予約語」の記事を参照のこと。

1. C++のキーワードの特徴
---------------

C++11には86のキーワードがある。最初に制定された規格であるC++98では73のキーワードが採用され、C++11で新たに13のキーワードおよび2つの文脈依存のキーワードが追加された。C++11から追加のキーワード及び機能にはを付す。C++14およびC++17ではキーワードは増えていない。

C89で存在したキーワードは、すべてがほぼそのままの形で取り入れられている。中には、inlineなど最初C++98に導入されたキーワードが後からC99にも導入されたものもある。alignofは C11/C++11 両方に追加された。

2. 値に関するキーワード
-------------

2.1. nullptr 
----------------

Nullポインタ  を表す。この値はあるstd::nullptr_t型のオブジェクトで、任意のポインタ型のNullポインタ値に暗黙変換できるが、整数リテラル0に置換される従来のNULLマクロとは異なり、整数型には暗黙変換できない。

3. 型に関するキーワード
-------------

複数のキーワードを組み合わせることで意味が変わるものが多い。

3.1. 基本型
--------

3.1.1. int, long, short, signed, unsigned
-----------------------------------------

short単体では符号付き短整数型signed short intを、long単体では符号付き長整数型signed long intを意味する。long long intは少なくとも64ビットの精度を持つ整数型である。

3.1.2. float, double
--------------------

long doubleは少なくともdoubleと同じ精度を持つ浮動小数点数型。処理系によっては拡張倍精度浮動小数点数型となる。

3.1.3. bool, true, false
------------------------

C99ではマクロで定義されておりキーワードではないが、C++ではキーワードである。

3.1.4. char, wchar_t, char16_t , char32_t 
------------------------------------------------

wchar_tは、Cではキーワードでないが、C++ではキーワードである。

char16_tとchar32_tは、それぞれUTF-16およびUTF-32の文字を格納するための整数型を表す。

3.1.5. void
-----------

戻り値や引数がないことを表す型。
デリファレンスする先の型を指定しないポインタvoid*の表現に用いられる。

3.1.6. auto 
---------------

変数宣言の際に型として指定すると、初期化式から型推論を行う。

また、戻り値型を後置きする関数宣言に用いる。 // 以下の2つは同じ宣言。 int main; auto main -> int;

3.2. 複合型
--------

3.2.1. class, struct, union
---------------------------

C++においてstructはデフォルトのアクセス制御がpublicであること以外はclassと全く同じである。unionもクラスの一種という扱いである。

unionはすべてのメンバ変数が同一メモリ領域を共有するのはCのままであるが、classに準じてメンバ関数を持てるようになっている。

規格では、クラス内で宣言した変数および関数は、それぞれデータメンバーおよびメンバ関数と呼ぶ。JavaやC#のように、フィールド・メソッドなどといった用語は使われない。

3.2.2. enum
-----------

enum単独ではスコープのない列挙型を意味する。enum class、enum structの形で、スコープ付きの列挙型の宣言に使用する。

3.3. 型修飾子
---------

3.3.1. const
------------

Cの書き換え不能という意味に加え、定数の意味が加わっている。具体的にはCと違いブロックスコープにない場合、定数扱いとなり、externを指定しない限り内部結合になる。プリプロセッサによるマクロの代替的手段になる。 const int N = 16; int Array[N]; このコード片で、CではNが定数ではないのでArrayの宣言はエラーになる。C99でもグローバル変数は可変長配列にできないのでやはりエラーになる。 クラス内では、整数型をstatic constで修飾するとクラススコープの定数の定義になる。詳しくはstaticを参照のこと。

3.3.2. volatile
---------------

volatileの指定された記憶領域は、実行しているコードが書き換えを行わない場合にも、何らかの理由で内容が書き換えられる可能性を持つ。書き換えの起きる具体的な要因としては、何らかのハードウェアによる書き換えが挙げられる。

コンパイラによる最適化では、メモリを書き換えない限り内容が変わらないことを利用し、メモリからの再読み込みの省略などを行うが、例えばあるメモリ領域にハードウェアが書き込んでいて、そのメモリ領域の変化を読み取りループで監視しようとするならば、volatile指定が無い場合はコンパイラが「書き込みを行っていないのでメモリ内容が変化する可能性は無い」と判断し、ループを消し去ったり、メモリを再読み込みせずに単純な無限ループを行ったりするなど、期待と異なる最適化を行う可能性が高い。そのような場合、volatileを適切に指定することで、メモリ領域を正しくポーリングすることが期待できる。

また、コンパイラによっては、volatileの指定された記憶領域へのアクセス前後において、適切なメモリバリアを自動的に配置することもある。が、逆にメモリバリアについては一切関知しないものもあるため、ノンブロッキング同期プログラミングなどでは特別な注意が必要となる。

ハードウェアに近い操作を行う処理を記述する際は、特に重要になる修飾子である。

3.4. 記憶クラス指定子
-------------

3.4.1. 
---------------------

C++03以前では自動変数を意味する記憶クラス指定子であったが、C++11で廃止され、全く別の機能が割り当てられた。

関数内で定義した変数はデフォルトで自動変数となるため、C++03以前においても記憶クラス指定子としてのautoを用いる必要は全くない。前方互換性のためにも無意味に使用すべきではない。なお、記憶クラスを指定しない変数の記憶クラスのを表す用語としては「自動変数」のままで変更はない。

3.4.2. extern
-------------

Cからの外部結合の指定に加え、リンケージ指定の用法が加わっている。

C++では名前に対して多重定義や名前空間、型安全の保障などの都合から、多くのコンパイラは名前修飾を施しCとは異なった名前をリンカに対して用いている。その名前の修飾の仕方を指定するのがリンケージ指定である。少なくとも"C"と"C++"の2種類のリンケージが使用できる。何も指定しないと"C++"になる。"C"リンケージでは名前の変形を抑止しCと互換の名前をリンカに対して用いることを意味する。これによりCとC++を混在させてプログラムを作るときに使われる。 //a.cpp extern "C" { int a; //Cリンケージの変数定義 extern int b; //Cリンケージの変数宣言 void f; //Cリンケージの関数宣言 } extern "C" int c; //リンケージ指定と元々の外部結合の意味を兼ねた用法。

//b.c extern int a; //変数の宣言 int b; //変数の定義 int c; void f { /* ～ */ }<WtXmlEndTag />

また、extern templateの形でテンプレート実体化宣言を修飾して、外部で実体化されたテンプレートを指定する。

3.4.3. register
---------------

C++17以降では何の機能もないキーワードである。将来のために予約されている。

C++14以前では、特にレジスタに割り当ててほしい自動変数に指定する記憶クラス指定子であった。Cよりも意味合いが弱く、Cのregister変数はアドレス参照を行えないが、C++では行えた。つまり、register変数として宣言してもメモリに配置されうる。コンパイラが高度な最適化を行う場合、レジスタに配置すべき変数の判断はコンパイラの方が適切に行えることが多いので、C++14以前のコンパイラでも、この指定を無視するのが一般的であった。

3.4.4. static
-------------

ファイルスコープの指定。ただし、ファイルスコープを指定するのにstaticを用いるのはC++では推奨されず、無名名前空間を用いるべきとされている。
クラス・関数の静的変数とクラスの静的関数。特にクラスの場合、これは宣言となるため普通のグローバル変数などと同様にソースファイルで定義が必要である。ただし次の場合、例外として不要である。

整数型にconstと共に指定し宣言と同時に初期化した場合。クラススコープの定数となる。
クラスの静的メンバ関数の場合。 //ヘッダbar.h class bar { static int a; //OK 静的メンバ a の宣言 static const int b = 5; //OK 静的メンバ b の宣言と定義 クラススコープの定数となる static const double c; //OK 静的メンバ c の宣言 // static const double d = 2.0; //NG 整数型でない static void f; //OK 静的メンバ f の宣言 static void g { /* ～ */ } //OK 静的メンバ g の宣言と定義 };

//ソースbar.cpp

include "bar.h"int bar::a = 1; //OK bar::aの定義

//const int bar::b = 5; //クラススコープの定数は定義する必要がない

const double bar::c = 3.0; //OK bar::cの定義

void bar::f //OK bar::fの定義 { /* ... */ }<WtXmlEndTag />

古いC++処理系では整数型をstatic constで修飾することによる定数の定義ができなかったので、代わりにクラス内の列挙  で代用をすることがしばしばあった。これはenumハックと呼ばれる。

C++11以降はconstexprを併用することで、クラス宣言部で定数定義できる型が増加した。

3.4.5. mutable
--------------

constなオブジェクトでも書き換え可能にしたいクラスメンバ変数に指定する。
ラムダ式を修飾して、コピーキャプチャした変数の書き換えを許可する。

3.4.6. thread_local 
-----------------------

グローバル変数やクラス・関数内静的変数について、スレッドローカルな記憶域に確保するよう指示する。

3.5. 宣言指定子
----------

3.5.1. friend
-------------

フレンド関数・フレンドクラスの宣言に用いる。

3.5.2. typedef
--------------

3.6. 関数指定子
----------

3.6.1. constexpr 
--------------------

定数式を表す。変数や関数を修飾して、コンパイル時定数となりうることを指示する。

3.6.2. explicit
---------------

コンストラクタに指定して暗黙の型変換に用いないことを指定する。
変換関数を修飾して、暗黙の型変換に用いないことを指定する。

3.6.3. inline
-------------

関数指示子に使用することで、関数をインライン展開するためのヒントをコンパイラに与える。クラスの宣言内で関数を定義した場合は、inlineの有無にかかわらずinlineが指定されたものとして取り扱われる。
inline namespaceの形で透過的な名前空間の宣言に用いる。透過的な名前空間の名前は、名前空間名で修飾しなくても使えるようになる。

3.6.4. virtual
--------------

仮想関数を宣言する。C++ではこれを明示しないと派生クラスでポリモーフィックにオーバーライドすることはできない。派生クラスではオーバーライドするときに特に何か指定する必要はないが、virtualを省略しないスタイルも一般的である。
仮想継承するときにベースクラスの指定に修飾する。

4. クラスに関するキーワード
---------------

4.1. アクセス制御
-----------

4.1.1. public, protected, private
---------------------------------

クラスメンバと継承のアクセス制御に用いられる。

publicはクラスの外部からも自由にアクセスできる。
protectedは宣言したクラス自身とその派生クラスからアクセスできる。
privateは宣言したクラスの内部からしかアクセスできない。Javaなどとは違い個々の宣言に付けるものではなく、見た目には関数内でラベルを指定するのと似ている。1度指定すると他の指定がなされるか、クラスの宣言が終わるまでは指定した制御が続く。 class foo { int n; //classであり、まだアクセス制御が指定されていないのでprivateになる public: foo; //コンストラクタ ~foo; //デストラクタ

int getN; //メンバ関数 //ここまでの3つはすべてpublicになる protected: void setN; //protectedになる }; //クラス宣言の終わりには ; が必要。<WtXmlEndTag />

class hoge : private foo //private継承 外部からはhogeのインスタンスを通じてfooのメンバにはアクセスできない。 { public: using foo::getN; //このように個別にアクセス制御を上書きすることもできる。 hoge; ~hoge; };

4.2. その他
--------

4.2.1. operator
---------------

演算子多重定義の関数を定義するのに用いる。
自分のクラスから他の型へ、暗黙の型変換を行う関数を定義するのに用いる。なお、他の型から自分のクラスへの変換は1引数のコンストラクタを使用する。
ユーザー定義リテラルの定義に用いる。operator"" //suffix//は接尾辞//suffix//で記述するユーザー定義リテラルを定義する関数名である。

4.2.2. this
-----------

自分自身へのポインタ。当然ながらクラスの非静的メンバ関数内でのみ使用できる。参照でなくポインタである理由は、thisがC++に導入された当時まだ参照がなかったからである

。

5. 文に関するキーワード
-------------

5.1. 制御構造
---------

5.1.1. if, else
---------------

5.1.2. for
----------

5.1.3. while, do
----------------

5.1.4. switch, case, default
----------------------------

defaultは関数の定義にも用いる。特殊メンバ関数を「= default」の形で定義して、コンパイラ生成のものを使用することを明示する。

5.1.5. break
------------

5.1.6. continue
---------------

5.1.7. goto
-----------

5.1.8. return
-------------

5.1.9. try, catch
-----------------

6. 式に関するキーワード
-------------

6.1. 動的記憶域確保
------------

6.1.1. new, delete
------------------

newはヒープにオブジェクトを割り当てるnewとnew[]演算子に用いられ、deleteはそれを開放する演算子 deleteとdelete[]に用いられる。JavaやC#などと違い、C++はガベージコレクションをもたないのでオブジェクトが不要になったら自分でdeleteを呼ぶ必要がある。もっとも、C++には自動変数・大域変数などが存在するため、それほどnewは多用されない。

deleteは関数の定義にも使用される。関数を「= delete」の形で定義して、そのシグネチャの関数を存在させないことを指示する。

6.2. 型変換
--------

型変換は注意を要する操作であるにもかかわらず、Cの型変換演算子はあまりにも目立たず、目的がコードから見えにくいという理由からC++では、型変換を行う場合には用途ごとの4つの型変換演算子を用いることが推奨されている。

6.2.1. dynamic_cast
-------------------

動的キャスト。RTTIを用いて、目的の型に変換できるかどうかを確認し、不可能であればポインタの場合Nullポインタを返し、参照の場合はbad_cast例外を投げる。また、Cに無い概念の為、Cの型変換演算子で代用できない。

6.2.2. static_cast
------------------

静的キャスト。コンパイル時に型チェックを行う。変換前の型から変換後の型へ、あるいはその逆向きの暗黙の変換が存在する場合に変換可能である。変換できなければコンパイルエラーになる。

6.2.3. const_cast
-----------------

const/volatile性を取り除く場合に用いるキャストである。他のキャストでconst/volatile性が失われる変換はできない。

6.2.4. reinterpret_cast
-----------------------

安全でなかったり移植性のない型変換に用いる。無関係なポインタ型同士の変換や、ポインタと整数型の変換などがそうである。

6.3. 式に関する情報
------------

6.3.1. alignof 
------------------

型のアライメントの値を得る。

6.3.2. decltype 
-------------------

式から型を取得し、型名として用いる。

6.3.3. sizeof
-------------

型、あるいは式の型のサイズを得る。 また、sizeof...の形で、可変長引数テンプレートの可変長引数部の長さを取得する。

6.3.4. typeid
-------------

6.4. 例外処理
---------

6.4.1. throw
------------

例外を投げる。また、後述の例外指定の用法もある。

6.4.2. noexcept 
-------------------

関数に例外指定を付与する。

//noexceptはどんな例外も投げないことを示す。 int func2 noexcept;

//noexceptはコンパイル時定数となる引数を取ることができ、trueならnoexceptと同じ。 int func3 noexcept;

//falseならあらゆる例外を投げる可能性がある。 int func4 noexcept;

//noexceptと等価な記述。 int func5 throw;

//noexceptと等価な記述。 int func6 throw;

//この関数から投げられる例外はstd::exception型かint型しかありえないことを示す。この用法は非推奨。 int func7 throw {/* ～ */}<WtXmlEndTag /> C++11以降は、throwを用いた例外指定は推奨されない。C++03以前でも、throwを用いた例外指定は例外安全のうち例外を投げない表明としてfunc5のように型を無指定にして用いられる場合が大半であった。

また、noexceptは例外指定の有無を判定する式としても用いられる。 //b2はtrue bool b2 = noexcept+1); //b4はfalse bool b4 = noexcept+func7);

6.5. 表明
-------

6.5.1. static_assert 
------------------------

コンパイル時に評価される表明を記述する。検査式が偽になると、指定されたメッセージを伴ってコンパイルエラーとなる。宣言として扱われるが、プログラムの動作には影響がない。 static_assert==4, "barのサイズが4ではありません");

7. テンプレートに関するキーワード
------------------

7.1. template
-------------

クラステンプレート・関数テンプレートの宣言あるいは定義。特殊化や部分特殊化にも使う。
クラステンプレート・関数テンプレートの明示的実体化。
メンバテンプレートをテンプレート引数を明示して使用する場合にはこれを先行しなければならない。理由はテンプレート引数の < > と不等号演算子との区別をつけるためである。

7.2. typename
-------------

テンプレート引数で型を引数にとることを示すことに使う。
続く識別子が型名であることを示す。 //typenameの例 template struct s1 //1の用法 { void f { typename T::type *ptr; //2の用法 } }; 用法2.はなぜ存在するのかというと、曖昧性が生じさせないためである。

たとえばs1に次のようなクラスをテンプレート引数に渡すとする。 struct s2 { static const int type = 0; }; すると、仮にtypenameがなければs1::fの中の文はs2::type *ptr;となる。これはs2::typeとptrの乗算式と見られるので、構文としては正当なC++の式となってしまう。そうならないように、曖昧性を排除するために型名である場合はtypenameを先行させる仕様になっている。

7.3. export
-----------

C++11では何の機能もないキーワードである。将来のために予約されている。

C++03以前では、分離コンパイルを行うクラス・関数テンプレートに指定するものであった。分離コンパイルとは、通常の関数などのようにヘッダに宣言を書いて、どこかのソースファイルに定義を書く形式のことである。これを指定しないとテンプレートは通常ヘッダに定義を書く必要がある。

このキーワードに対応しているコンパイラは、一般に広く知られたものではComeau C++のみである。対応しない多くのコンパイラでは、このキーワードは単に無視されるか、キーワードとして扱われない場合さえある。

8. 名前空間に関するキーワード
----------------

8.1. namespace
--------------

名前空間の宣言 
名前空間は入れ子にすることができる。
名前空間名を省略すると無名名前空間の宣言になる。無名名前空間の中にある宣言は他の翻訳単位から見えない。
usingディレクティブ
名前空間のエイリアス 

8.2. using
----------

using宣言 
usingディレクティブ 
アクセス宣言 - public, protected, privateのclass Hogeの例を参照。
テンプレートの別名を定義する。

9. インラインアセンブラ
-------------

9.1. asm
--------

asmという構文が定まっているだけで、その文字列リテラルの書式等は処理系依存である。多くのコンパイラではインラインアセンブラを利用するために用いる。

10. アトリビュート
-----------

10.1. alignas 
-----------------

変数宣言を修飾するアトリビュートで、変数のアライメントを指定する。

11. 文脈依存のキーワード
-----------------

文脈依存のキーワードは、ソースコード中の特定の位置に現れた場合にのみキーワードとして扱われ、それ以外の箇所では単なる識別子として扱われる。C++11から新たに追加された。

11.1. final
-----------

メンバ関数の宣言の直後、またはクラス宣言のクラス名の直後において文脈依存のキーワードとして扱われる。メンバ関数の宣言の直後では、その関数がオーバーライドされることを禁止する｡クラス名の直後では、そのクラスから派生することを禁止する。

11.2. override
--------------

メンバ関数の宣言の直後において文脈依存のキーワードとして扱われる。仮想関数が基底クラスのメンバ関数をオーバーライドすることを明示する。

12. 代替表現
--------

代替字句のうちの、記号ではなくアルファベットで表現する代替表現は、キーワードには列挙されていないが、キーワードと同様に扱われる。ISO 14882の英語版の注ではlexical keywordsという表現が使われているが、JIS X 3014:2003の注では「予約語」という用語を用いて説明されている。

C/C++ではASCIIの記号類を多用しているので、ISO/IEC 646のUS以外を使用している環境では問題がある。それらの代用として、問題のない文字だけで表現するのが代替字句である。代替字句のうち、記号で表すダイグラフ以外が代替表現である。これらはCではマクロだが、C++では言語の一部である。

以下にそれぞれ対応する演算子を示してある。

and:&&and_eq:&=bitand:&bitor:|compl:~not:!not_eq:!=or:||or_eq:|=xor:^xor_eq:^=

13. C言語のキーワードのうち、C++ではキーワードでないもの
--------------------------------

C99 のキーワードのうち _Bool, _Complex, _Imaginary, restrict は C++ のキーワードではない。C11 で追加になったキーワードのうち _Alignas, _Atomic, _Generic, _Noreturn, _Static_assert, _Thread_local は C++ のキーワードではない。C99 の _Bool には C++ の bool が対応する。また、_Complex に関しては、代わりに std::complex クラステンプレートが標準C++ライブラリに存在する。

14. C++20で予定されている変更
-------------------

C++の次期規格C++20では、機能の追加に伴い、新しいキーワードの追加、既存のキーワードへの意味の追加が予定されている。

14.1. 追加のキーワード
--------------

char8_t:UTF-8の文字を格納するための整数型を表す。

concept:コンセプトを定義する。コンセプトは、型が満たすべき要件に名前を与える新しいプリミティブである。

consteval:変数や関数を修飾して、コンパイル時定数となることを指示する。constexprと異なり、コンパイル時に評価することを強制する。

requires:テンプレート引数のコンセプト要求を指定する定数式を指定する。

14.2. 追加の文脈依存のキーワード
-------------------

audit, axiom:expects, ensures, assertのいずれかのアトリビュートの内部で、アトリビュート名の直後に出現した際に文脈依存のキーワードとして扱われる。これらのアトリビュートはそれぞれ関数についての事前条件、事後条件、不変条件の契約を示すための新しいアトリビュートである。各アトリビュートの契約にはdefault, audit, axiomの三段階の契約レベルがあり、これらの文脈依存のキーワードはaudit契約レベルおよびaxiom契約レベルの指定に利用する。おおむね、defaultは実行時チェックの負荷が小さいもの、auditは実行時チェックの負荷が大きいもの、axiomは実行時チェックを意図しないものに指定することを規格では意図している。実際にどの契約レベルまで実行時にチェックするかは、「ビルドレベル」によって変更される。

15. 脚注
------

16. 参考文献
--------

JIS X 3014:2003 『プログラム言語C++』
[1]

17. 関連項目
--------

予約語
C++
キーワード 
CとC++の演算子