モダン第8章：【C++17】テンプレート革命：if constexpr と構造化束縛

• 初期化文付き if / switch: `if (auto it = map.find(key); it != map.end())` のように条件判定直前に変数をスコープ限定宣言し、スコープ汚染を防止。
• フォールド式（Fold Expressions）: `(... + args)` や `((std::cout << args << " "), ...)` のように、可変引数パラメータパックを再帰なしで1行で展開可能。

#include <iostream>
#include <string>

// イベント定義
struct DamageEvent {
    int targetId;
    int amount;
    bool isCritical;
};

struct ScoreEvent {
    std::string reason;
    int points;
};

// 汎用イベントディスパッチャ
class GameEventDispatcher {
public:
    template <typename TEvent>
    void dispatch(const TEvent& event) {
        if constexpr (std::is_same_v<TEvent, DamageEvent>) {
            // 構造化束縛でイベント中身を展開
            const auto& [target, dmg, crit] = event;
            std::cout << "⚔️ ダメージ適用: 対象=" << target 
                      << ", ダメージ=" << dmg 
                      << (crit ? " [CRITICAL!]" : "") << "\n";
        } 
        else if constexpr (std::is_same_v<TEvent, ScoreEvent>) {
            const auto& [reason, pts] = event;
            std::cout << "⭐ スコア獲得: " << reason << " (+" << pts << " pts)\n";
        } 
        else {
            static_assert(!sizeof(TEvent), "未対応のイベント型が送信されました！");
        }
    }
};

int main() {
    std::cout << "--- M8 イベントディスパッチシステム ---" << std::endl;
    GameEventDispatcher bus;

    // ダメージイベント送信
    bus.dispatch(DamageEvent{1, 150, true});

    // スコアイベント送信
    bus.dispatch(ScoreEvent{"インベーダー撃破", 300});

    return 0;
}

• 1. 実行時にスキップされるだけで、通常通り機械語コードが生成される
• 2. コンパイル対象から完全に除外（Discarded Statement）され、その分岐内に含まれる型不適合コードがあっても構文エラーにならず、バイナリも生成されない
• 3. 条件が偽のブランチがある場合、コンパイラが警告を出力する
• 4. 実行時に一度だけ評価され、以後はキャッシュされる

• 1. 構造体やクラスのメンバ変数をすべて private に強制する機能
• 2. auto [x, y, z] = tupleOrStruct; のように、構造体のメンバ、配列、std::pair/std::tuple の要素を1行で分解して各変数に束縛できる機能
• 3. クラスの継承関係をコンパイル時に結合する機能
• 4. 構造体のメモリ配置を1バイト単位にパッキングする機能

• 1. 長い関数をエディタ上で折りたたんで非表示にする機能
• 2. 可変引数テンプレート（パラメータパック）に対する二項演算（加算や出力など）を、再帰関数を書かずに (... + args) のように1行で展開・集約するため
• 3. コンパイル時にコードを難読化・圧縮するため
• 4. マルチスレッド処理を自動的にフォールド（合流）させるため