【MFC】Releaseビルドだけ落ちる: 最適化と未初期化変数の確認手順

2026年4月6日2026年4月7日

Debugビルドでは再現しないのに、Releaseビルドだけでクラッシュする場合は、設定より先にコード側を疑います。

この記事では、未初期化変数と最適化で表面化する問題を分けて、どこから確認すればいいかを整理します。

最初に切り分けるポイント

最適化を切ったReleaseで挙動が変わるか
→ /Zi + /DEBUG + /Od で追える構成を作り、落ち方が変わるかを見ます。
未初期化変数や副作用付きASSERTが残っていないか
→ ポインタ、整数、停止フラグの扱いを先に確認します。

原因1: 未初期化変数が残っている

最初に見るのは未初期化変数です。ポインタや整数を宣言だけして使うコードが残っていると、Releaseビルドでだけ症状が変わります。

void CMyView::OnDraw(CDC* pDC)
{
    int* pData; // 初期化していないポインタ
    
    if (m_bUseData) {
        pData = new int[100];
        // ...
    }
    
    // m_bUseData が FALSE の時、ここでは pData は不定値
    if (pData != nullptr) { // 不定値に対する比較になっている
        pData[0] = 1;     // 不定ポインタに書き込んでいる
    }
}

Debugビルドでは表面化しやすい

Debugビルドでは、デバッグランタイムやコンパイラ設定の影響で、未初期化メモリが目立つ値に見えたり、アクセス違反として早めに表面化しやすくなります。MSVC では 0xCCCCCCCC のような値が見えることがあります。

Releaseビルドで不定値が残る理由

Releaseビルドではその補助が弱くなるため、不定値のまま処理が進みます。上記の pData が不定値のまま比較や書き込みに使われると、アクセス違反やランダムクラッシュになります。

【対策】
ポインタや数値などの基本型は、ローカル変数として宣言した瞬間に必ず初期化する習慣をつけましょう。

// 宣言時に初期化する
int* pData = nullptr; 
int count = 0;

原因2: 最適化で実行条件が変わる

Releaseビルドでは「コンパイラの最適化機能（/O2）」が有効になります。コンパイラは実行速度を最大化するために、不要と判断したコードブロックを丸ごと削除したり、処理の順序をプログラマの意図とは異なる形に並べ替えることがあります。

確認点A: ASSERT の中に副作用を入れていないか

ASSERT の中に状態変更を伴う処理を書くと、Releaseビルドではその処理自体が実行されなくなります。

// 注意: ASSERT 内で副作用を評価している
ASSERT( pMyObj->Initialize() == TRUE );

ASSERT マクロは、Debugビルドでは中身を評価し、エラーならダイアログを出します。しかし、Releaseビルドでは ASSERT(...) という行そのものが消えます。
つまり、Releaseビルドでは pMyObj->Initialize() は呼ばれません。そのまま後続処理に進むため、初期化漏れとして落ちます。

【対策】
ASSERT の中には「副作用（変数の変更や関数呼び出し）」を書かないようにします。確認系メソッドは専用の変数で受けるか、Releaseビルドでも評価される VERIFY マクロを使います。

// 例1: VERIFY を使う
VERIFY( pMyObj->Initialize() == TRUE );

// 例2: 変数で受ける
BOOL bInit = pMyObj->Initialize();
ASSERT( bInit == TRUE );

確認点B: 共有フラグを普通の変数で持っていないか

マルチスレッドで停止フラグや完了フラグを共有している箇所です。Debugでは動いて見えても、Releaseで急に止まらない、終了しない、値が見えない、という形で表面化します。

bool g_bStop = false;

// スレッドA
void ThreadA() {
    while (!g_bStop) {
        // 何か処理
    }
}

この書き方は、別スレッドから g_bStop を読む/書く時点で安全ではありません。Releaseでだけおかしく見えることがありますが、原因は「最適化に負けた」ではなく、共有変数を同期なしで使っていることです。

#include <atomic>

std::atomic<bool> g_bStop{ false };

// スレッドA
void ThreadA() {
    while (!g_bStop.load()) {
        // 何か処理
    }
}

// スレッドB
void RequestStop() {
    g_bStop.store(true);
}

【対策】
停止フラグは std::atomic<bool> か、待機を伴うなら CEvent で扱います。volatile だけではスレッド間同期になりません。

MFCアプリでスレッドを待機させる場合は、ポーリングより CEvent で停止通知する方が素直です。大事なのは、普通の bool や volatile に頼らないことです。