C# 多線程調試與運行結果不一致：閉包捕獲循環變量導致的競態條件

問題代碼簡化

var userList = new List<UserModel> { ... };
var tempCls = new TempClass();

foreach (var u in userList) {
    tempCls.um = u; // 共享同一實例！
    ThreadPool.QueueUserWorkItem(_ => tempCls.ShowMessage(null));
}

核心缺陷：共享可變狀態 + 閉包捕獲循環變量

1. tempCls 單例，所有線程並發訪問 um 字段 → 數據競爭。
2. foreach 循環變量 u 在 C# 5.0+ 中每次迭代創建新副本，但此處賦值給共享字段，非閉包捕獲問題，而是寫入共享字段的順序不確定。
3. 調試時單步執行，線程調度順序固定 → 現象可重現；運行時併發隨機 → 結果不可預測。

正確寫法：為每個任務創建獨立上下文

方案一：捕獲循環變量到局部變量（C# 5.0+ 自動處理，但此處不適用因共享對象）

foreach (var u in userList) {
    var user = u; // 顯式捕獲（舊版本必要）
    ThreadPool.QueueUserWorkItem(_ => {
        var localCls = new TempClass { um = user }; // 每任務一實例
        localCls.ShowMessage(null);
    });
}

方案二：Task + async/await 現代寫法（推薦）

var tasks = userList.Select(u => Task.Run(() => {
    var cls = new TempClass { um = u };
    cls.ShowMessage(null);
})).ToArray();

await Task.WhenAll(tasks); // 等待全部完成

方案三：Parallel.ForEach（CPU 密集型適用）

Parallel.ForEach(userList, u => {
    var cls = new TempClass { um = u };
    cls.ShowMessage(null);
});

調試 vs 運行差異本質

線程安全檢查清單

• ✅ 每線程獨有數據（ThreadLocal、局部變量、獨立對象實例）。
• ✅ 共享數據只讀（不可變對象、初始化後不變）。
• ✅ 共享可變數據 → 加鎖 (lock) / 無鎖 (ConcurrentDictionary, Interlocked) / Actor 模式。
• ✅ 避免在鎖內調用外部代碼/耗時操作。
• ✅ 使用 Task/async-await 替代手動線程池，異常傳播更自然。

總結

「調試正常、運行亂套」是多線程 Bug 的經典特徵。根因非調試器，而是代碼存在數據競爭。將共享對象 tempCls 改為任務局部實例，消除可變共享狀態，即可獲得確定性結果。