|= (compound bitwise OR) の解説と実装リファレンス

【概要】

|= は、ビット単位の論理和（OR）演算の結果を左辺の変数に代入する複合代入演算子である。数式としては a |= b は a = a | b と等価である。この演算子は、特定のビットを「1（ON）」の状態に設定し、かつ他のビットの状態を保持したまま更新を行うために使用される。

【仕様】

• 動作原理: 各ビット位置において、左辺または右辺のいずれか一方が「1」であれば、結果のビットを「1」とする。両方が「0」の場合のみ「0」となる。
• データ型: 主に uint8_t, uint16_t, uint32_t 等の整数型に適用される。組み込み環境では、符号付き整数（signed）の使用は予期せぬ挙動を招く可能性があるため、符号なし整数型への適用が標準的である。
• 計算量: $O(1)$。CPUのハードウェア命令（ORおよびMOV）に直接マッピングされるため、極めて高速に実行される。

【技術的特徴】

1. ビットの「セット」操作

|= は、特定のビットを「1」にするための標準的な手法である。他のビットを無視（維持）しながら、目的のビットのみを操作できる点が最大の特徴である。

2. 他のビット演算子との比較

• &= (AND): 特定のビットを「0（OFF）」にする際に使用する。
• ^= (XOR): 特定のビットを「反転（Toggle）」させる際に使用する。
• <<= / >>= (Shift): ビットの重みを移動させる際に使用する。

3. ハードウェアレベルの挙動

多くのマイクロコントローラ（AVR, ESP32, STM32等）において、この演算は「ロード（Load）→ 論理和（OR）→ ストア（Store）」の命令シーケンスとして実行される。

【注意点】

1. 非原子性 (Non-atomicity)

|= 演算子は原子的な操作ではない。ほとんどのアーキテクチャにおいて、この演算は複数の命令に分解されるため、実行の途中で割り込みが発生する可能性がある。
– リスク: 割り込み処理（ISR）内やマルチスレッド環境において、レジスタや共有変数の値を更新している最中に割り込みが発生し、その割り込み内で別のビットを操作した場合、競合状態（Race Condition）が発生し、更新内容が消失する可能性がある。
– 対策: 重要な共有リソースに対する操作では、割り込み禁止フラグの使用や、ハードウェア提供の原子的操作（Atomic Operations）の検討が必要である。

2. 符号付き整数の影響

符号付き整数型（intなど）に対して使用する場合、最上位ビット（MSB）が符号ビットとして扱われるため、意図しない符号の反転や、シフト演算との組み合わせによる複雑な挙動を招く恐れがある。組み込みエンジニアリングにおいては、明示的に uint 型（符号なし）を使用することが強く推奨される。

【サンプルコード】

// ステータスレジスタのビット定義
#define FLAG_READY  (1 << 0)  // 0b00000001
#define FLAG_ERROR  (1 << 1)  // 0b00000010
#define FLAG_ACTIVE (1 << 2)  // 0b00000100

uint8_t status_reg = 0x00; // 初期状態: 全ビットOFF

void updateStatus() {
    // READYフラグをセット（他のビットは維持）
    status_reg |= FLAG_READY; 
    // 結果: 0b00000001

    // ACTIVEフラグをセット
    status_reg |= FLAG_ACTIVE; 
    // 結果: 0b00000101

    // 複数のフラグを同時にセット（ビットマスクの適用）
    uint8_t new_flags = FLAG_READY | FLAG_ERROR; 
    status_reg |= new_flags; 
    // 結果: 0b00000111
}

【活用例】

1. GPIOポートの操作: 特定のポート（例：PORTB）の特定のピンのみをHIGHにする際に、他のピンの状態を破壊せずに更新する。
2. ステータスレジスタの管理: システムの状態をビットフィールドで管理し、特定のイベント（エラー発生、データ受信完了など）が発生した際に該当するフラグを立てる。
3. 通信プロトコルのパケット構築: プロトコルヘッダー内のフラグビットを構築する際、ベースとなるビットパターンに対して特定のフラグを追加する。