C言語のvolatile修飾子とは？意味と使い方をわかりやすく解説

この記事では、C/C++におけるvolatile（揮発性）修飾子の意味と役割について詳しく解説します。

volatileは、変数を宣言するときに付与する修飾子です。コンパイラに対して「この変数の値はいつでも外部から変更される可能性がある」ことを伝えるために使われます。これにより、コンパイラによる最適化を抑制し、意図しない動作を防ぐことができます。

volatile修飾子の主な性質

volatileキーワードが付いた変数には、次のような特徴があります。

• メモリへの割り当てが削除されず、必ず実メモリ上に保持される
• 変数がCPUレジスタにキャッシュされない
• 代入された順序どおりに値が扱われる

基本的な使い方

volatileの指定方法は非常にシンプルです。次の2つの宣言は、どちらも正しく同じ意味を持ちます。

volatile int a;
int volatile a;

通常のデータ型と同様に、ポインタ・構造体・共用体にもvolatileを適用できます。volatile付きの構造体や共用体は、それ自体がvolatileであるだけでなく、そのメンバ変数もvolatile型として扱うことができます。

volatileを使うべき場面

volatileは、プログラムの外側から値が書き換えられる可能性がある変数に対して使用します。代表的な使用例は以下のとおりです。

• メモリマップド周辺機器レジスタ：ハードウェアの状態が常に変化するため
• 割り込みサービスルーチン（ISR）や別の関数から更新されるグローバル変数：メイン処理側からは変更が見えないため
• マルチスレッドアプリケーション：他スレッドによって共有変数が更新されるため

コード例で見るvolatileの効果

次の2つのコードブロックを比較してみましょう。

// volatileなしの場合
int main() {
    int value;
    value++;
}

// volatileありの場合
int main() {
    volatile int value;
    value++;
}

1つ目のコードにはvolatileキーワードがありません。この場合、コンパイラは最適化の一環として、変数valueをメモリからCPUレジスタへコピーし、その上で演算を行います。

一方、2つ目のコードではvolatileが指定されているため、変数はメモリからレジスタへコピーされません。すべての読み書きが直接メモリに対して行われるため、ハードウェアや割り込みなど外部要因による値の変更が確実に反映されます。

このようにvolatileは、組み込みシステム開発などにおいて、ハードウェアとの整合性を保つために欠かせない重要な修飾子です。