C++の型修飾子（type qualifier）とは？const・volatile・restrict・_Atomicをわかりやすく解説

型修飾子とは何か

型修飾子（type qualifier）とは、ある型に適用することで「修飾型（qualified type）」を生成するキーワードのことです。たとえば const int は定数の整数を表す修飾型であり、それに対応する非修飾型である int は単なる整数を表します。

型修飾子は、型システムを通じて値に関する追加の情報を表現し、データの使用における正しさを保証するための重要な仕組みです。プログラマの意図をコンパイラに伝えることで、誤った操作をコンパイル時に検出できるようになります。

標準Cにおける4つの型修飾子

C11規格の時点で、標準Cには次の4つの型修飾子が存在します。

• const（C89で導入）：対象の値が変更されないことを示します。読み取り専用データとして扱われます。
• volatile（C89で導入）：変数が予期せず変更される可能性があることを示し、コンパイラによる過度な最適化を防ぎます。ハードウェアレジスタへのアクセスなどで使われます。
• restrict（C99で導入）：ポインタが指すオブジェクトへのアクセスがそのポインタを通じてのみ行われることを示し、最適化のためのヒントとして機能します。
• _Atomic（C11で導入）：アトミック（不可分）なアクセスを保証する型を作り、マルチスレッド環境での安全なデータ共有を可能にします。

C++における型修飾子

上記4つのうち、const と volatile の2つはC++にも引き継がれており、この2つがC++における唯一の型修飾子となっています。一方、restrict や _Atomic はC++の標準規格には含まれていません。ただし、一部の主要なコンパイラでは拡張機能として類似のキーワード（例：__restrict__）やアトミック操作ライブラリ（std::atomic）が提供されています。

このように型修飾子は、コードの意図を明確にし、コンパイラによる検証や最適化を支援するために設計されています。特に const の活用は、安全で読みやすいC++コードを書くうえで欠かせないテクニックといえます。