LINQ 查詢操作中的類型關係深度解析：從顯式類型到 var 推導

核心原則

LINQ 查詢在數據源、查詢變量、執行迭代三個階段均為強類型。變量類型必須與數據源元素類型、foreach 迭代變量類型相容，編譯期即捕獲類型錯誤。

場景一：不轉換源數據（同類型輸出）

1. 數據源類型參數決定範圍變量類型（如 IEnumerable → string）
2. select 選擇對象類型決定查詢變量類型（此處仍為 string）
3. foreach 迭代變量類型與查詢變量元素類型一致（string）

場景二：轉換源數據（投影新類型）

1. 數據源：IEnumerable → 範圍變量 Customer
2. select 投影 Name（string）→ 查詢變量類型變為 IEnumerable
3. foreach 迭代變量為 string

場景三：匿名類型投影（必須用 var）

1. 數據源類型參數 → 範圍變量類型
2. select 新建匿名類型 → 查詢變量必須用 var 隱式類型
3. foreach 迭代變量也必須用 var

讓編譯器推導一切：var 完整示例

// 顯式類型版本
IEnumerable customers = GetCustomers();
IEnumerable names = from c in customers select c.Name;
foreach (string name in names) { Console.WriteLine(name); }

// var 版本（完全等效，編譯器自動推導所有類型）
var customers = GetCustomers();           // IEnumerable
var names = from c in customers select c.Name; // IEnumerable
foreach (var name in names) { Console.WriteLine(name); }

類型關係總結表

最佳實踐

• 優先使用 var：減少冗餘、適應重構、匿名類型必須用 var
• 理解類型流向：數據源 → 範圍變量 → select 投影 → 查詢變量 → 迭代變量
• 複雜投影時顯式聲明：團隊協作、代碼審查時增強可讀性
• 避免運行時轉換：編譯期類型檢查是 LINQ 核心優勢，勿用 dynamic 繞過

總結

LINQ 的強類型查詢管道確保了從數據源到結果消費的類型安全。理解類型流向關係，善用 var 讓編譯器承擔推導工作，能編寫更簡潔、可維護、重構友好的查詢代碼。