一、volatile 修飾子

1. 修飾可能な対象

• 変数（通常の変数、ポインタ、構造体メンバなど）。
• 関数は修飾できない（ただし、関数のパラメータや戻り値は volatile 型にできる）。

2. 役割

• コンパイラによる変数アクセスの最適化を禁止：変数の読み取りや書き込みのたびにメモリから直接操作され、レジスタ内のキャッシュ値が使用されない。
• 予期せず変更される可能性のある状況で有効（ハードウェアレジスタ、マルチスレッドで共有される変数、割り込みサービスルーチン内の変数など）。

3. 例

// ハードウェアレジスタ（タイマー、状態フラグなど）
volatile uint32_t *device_status = (volatile uint32_t *)0x40001000;

// マルチスレッドで共有される変数（C++ではatomicが推奨）
volatile bool system_active = true;

// 割り込みサービスルーチン内のフラグ
void timer_interrupt_handler() {
    system_active = false;  // メモリに直接書き込み、コンパイラの最適化を回避
}

二、static 修飾子

1. 修飾可能な対象

• グローバル変数と関数（スコープを現在のファイルに制限）。
• ローカル変数（ライフサイクルをプログラム終了まで延長）。
• クラスメンバ（C++ではクラスに属し、オブジェクト間で共有）。

2. 役割

• グローバル変数/関数：
• スコープを現在のファイルに制限（外部ファイルからは非表示）、名前の競合を回避。
• 例：

static int internal_counter = 0;  // このファイル内のみからアクセス可能
static void utility_function() { ... }  // このファイル内のみから呼び出し可能

• ローカル変数：
• 1回だけ初期化され、ライフサイクルがプログラム全体に延長され、前回呼び出し時の値が保持される。
• 例：

void process_data() {
    static int call_count = 0;  // 初回呼び出し時にのみ初期化
    call_count++;  // 各呼び出しで前回の値を保持
}

• クラスメンバ（C++）：
• 静的メンバ変数：すべてのオブジェクトで同じインスタンスが共有され、クラス外で初期化が必要。
• 静的メンバ関数：オブジェクトに依存せず、クラス名直接呼び出しが可能で、this ポインタを持たない。
• 例：

class ResourceManager {
public:
    static int get_total_instances() { ... }  // 静的メンバ関数
private:
    static int instance_number;  // 静的メンバ変数
};
int ResourceManager::instance_number = 0;  // クラス外での初期化

三、const 修飾子

1. 修飾可能な対象

• 変数（定数として宣言、変更不可）。
• ポインタ（定数ポインタまたは定数を指すポインタ）。
• 関数パラメータ/戻り値（パラメータや戻り値の変更を制限）。
• クラスメンバ関数（C++でオブジェクトの状態変更を保証）。

2. 役割

• 変数：
• 定数を定義し、初期化が必要で、その後変更できない。
• 例：

const int BUFFER_SIZE = 1024;  // 定数
BUFFER_SIZE = 2048;  // エラー：定数の変更

• ポインタ：
• 定数を指すポインタ：ポインタを通じて指される内容を変更できないが、ポインタ自体は変更可能。

const int* data_ptr = &value;  // *data_ptrは変更不可、data_ptrは変更可能

• 定数ポインタ：ポインタ自体は変更できないが、指される内容は変更可能。

int* const fixed_ptr = &value;  // fixed_ptrは変更不可、*fixed_ptrは変更可能

• 定数を指す定数ポインタ：両方とも変更不可。

const int* const immutable_ptr = &value;

• 関数パラメータ：
• 関数内部で渡されたパラメータの変更を防止。
• 例：

void display_message(const char* text) {
    // text[0] = 'A';  // エラー：constパラメータの変更試行
    printf("%s", text);
}

• クラスメンバ関数（C++）：
• const として宣言されたメンバ関数は、オブジェクトの非静的メンバを変更できない。
• 例：

class Circle {
public:
    double get_radius() const { return radius; }  // constメンバ関数
    void set_radius(double r) { radius = r; }  // 非constメンバ関数
private:
    double radius;
};

四、extern 修飾子

1. 修飾可能な対象

• グローバル変数（宣言だが定義ではない）。
• 関数（宣言だが定義ではない）。
• C++におけるCリンク指定（extern "C"）。

2. 役割

• 外部変数/関数の宣言：
• その変数/関数が他のファイルで定義されていることをコンパイラに伝え、ここではメモリを割り当てない。
• 例：

// module1.c
int shared_data = 42;  // 変数の定義

// module2.c
extern int shared_data;  // 外部変数の宣言
void use_data() {
    printf("%d", shared_data);  // 他のファイルの変数を使用
}

• C++でのCコード互換性：
• extern "C" を使用してC++コンパイラにC言語の命名規則（名前修飾なし）で関数名を扱うように指示。
• 例：

// C++コードでCライブラリ関数を呼び出す
extern "C" {
    #include <legacy_lib.h>  // C互換ライブラリ
    void legacy_function(int param);  // C関数の宣言
}

五、比較まとめ

六、注意点

1. const と volatile の組み合わせ使用：

const volatile uint32_t *read_only_register = (const volatile uint32_t*)0x40002000;  // 読み取り専用ハードウェアレジスタ

2. static と extern の排他性：

• static は「内部リンク」（現在のファイルからのみ可见）を意味し、extern は「外部リンク」を意味するため、両者を同時に同じグローバル変数に修飾することはできない。

3. C++での static クラスメンバのクラス外での初期化：

class DataProcessor {
    static int operation_count;  // 宣言
};
int DataProcessor::operation_count = 0;  // 定義と初期化

これらの修飾子の役割を理解することで、より安全で効率的で保守性の高いコードを記述することが可能になります。