C++のvolatileキーワードとは？意味と役割をわかりやすく解説

volatileキーワードの基本的な意味

C++におけるvolatileキーワードは、主に次の2つの重要な意味を持ちます。

1. 変数の値は予告なく変化しうる（読み取り側の保証）

volatile修飾された変数の値は、プログラマーが書いたコードによって変更されていなくても、いつでも変化する可能性があります。ハードウェアレジスタ、割り込み処理、別スレッドなどによって値が書き換えられるケースがこれに該当します。

そのため、コンパイラはvolatile変数の値を読み取る際に、「前回読み取った値と同じはずだ」「直前に格納した値のままだ」といった仮定を行うことができません。必ずその都度、実際にメモリから値を再読み込みしなければなりません。

2. 値の格納操作（書き込み）が削除されない

volatile変数へ値を格納する行為は、外部から観測可能な「副作用（side effect）」とみなされます。このため、コンパイラはたとえ結果が同じになるとしても、格納操作を削除したり省略したりすることが許されません。

例えば、同じ変数に連続して2回値を代入した場合、コンパイラは実際に2回の書き込みを実行する必要があります。

コード例

i = 2;
i = i;

上記のコードでは、コンパイラは「数値2をiに格納する」「変数iの値を読み取る」「読み取った値を改めてiに格納する」という一連の処理を、最適化によって省略することなくそのまま実行しなければなりません。

volatileが使われる典型的な場面

• ハードウェアのメモリマップドI/Oレジスタへのアクセス
• 割り込みサービスルーチン（ISR）と共有される変数
• シグナルハンドラとの間で共有される変数

注意点：volatileはスレッド同期のための仕組みではない

C++においてvolatileは、JavaやC#のようなスレッド間の可視性保証・同期機構ではありません。マルチスレッドプログラミングでデータ競合を防ぎたい場合は、std::atomicやミューテックスなど、適切な同期プリミティブを使用すべきです。volatileはあくまで「コンパイラの最適化を抑制する」ための修飾子です。

volatileキーワードについてさらに詳しく知りたい方は、GeeksforGeeksの解説記事「Understanding volatile qualifier in C」も参考になります。