C# 3.0 新特性：隱含型別區域變數與 var 關鍵字完整指南

什麼是隱含型別區域變數？

C# 3.0 引入 var 關鍵字，讓編譯器根據初始化運算式自動推斷區域變數的型別。這不是動態型別，而是靜態型別推斷——編譯期即確定型別，執行期零成本。

基本語法與範例

var i = 5;                    // int
var s = "Hello";              // string
var d = 1.0;                  // double
var numbers = new int[] {1,2,3}; // int[]
var orders = new Dictionary<int, Order>(); // Dictionary<int, Order>

等同於顯式宣告：

int i = 5;
string s = "Hello";
double d = 1.0;
int[] numbers = new int[] {1,2,3};
Dictionary<int, Order> orders = new Dictionary<int, Order>();

編譯器強制約束（必須遵守）

1. 必須包含初始化器：var x; ❌ 編譯錯誤
2. 初始化器必須為運算式：不可為單獨的物件/集合初始化器，但可為包含它們的 new 運算式
3. 初始化器編譯期型別不可為 null 型別：var z = null; ❌
4. 同一宣告的多個宣告子型別必須一致：var a = 1, b = "str"; ❌

適用範圍擴展

• for 迴圈初始化區：for (var i = 0; i < n; i++)
• using 區塊資源取得：using (var fs = File.OpenRead(path))
• foreach 迭代變數：foreach (var n in numbers) → 推斷為集合元素型別

相容性考量

若當前作用域已有名為 var 的型別，var 將解析為該型別並發出警告。但依慣例型別名稱首字母大寫，故極少發生衝突。

最佳實踐建議

• 優點：減少冗長泛型型別名稱、配合匿名型別必須使用、提升可讀性（當右邊型別明顯時）
• 慎用：右邊型別不明顯（如方法回傳）、基本型別字面值（var x = 5 不如 int x = 5 清楚）
• 團隊規範：統一風格，避免混用導致程式碼風格割裂

var 是語法糖，不影響效能，善用它能讓程式碼更專注於業務邏輯而非型別儀式。