C# 變量初始化在 do-while 中的必要性：確定賦值規則解析

代碼片段

string emd = ""; // 初始化
do {
    // ...
    emd = Console.ReadLine();
} while (emd == "y" || emd == "Y");

為什麼需要初始化？

C# **確定賦值規則**要求：變量在**讀取前**必須被確定賦值。編譯器進行靜態流分析：

• 若聲明 string emd; 不初始化，編譯器看到 while (emd == ...) 讀取 emd，但無法證明所有路徑都已賦值（理論上 do 體可能拋異常跳出），報錯 Use of unassigned local variable 'emd'。
• 初始化 string emd = ""; 給出一個**確定的初始值**，滿足規則。

對比

string a;
if (a == "y") { } // 錯誤：a 未賦值就讀取

string b = Console.ReadLine();
if (b == "y") { } // 正確：ReadLine 確定賦值

結論

**良好習慣：聲明即初始化**（string emd = ""; 或 string emd = null;），消除確定賦值分析的不確定性，代碼更健壯。|