C# 3.0 隱式類型特性詳解（一）：var 關鍵字聲明與使用規範

var 關鍵字定位

C# 3.0 引入 var，類似 JS 但本質不同：靜態強類型推斷，僅用於區域變量，非動態類型、非 variant。

聲明與推斷示例

var i = 10;                           // int
var s = "Hello";                      // string
var arr = new[] { 0, 1, 2 };          // int[]
var query = from c in customers 
            where c.City == "London" select c; // IEnumerable
var anon = new { Name = "Terry", Age = 34 };   // 匿名類型
var list = new List();           // List

硬性約束（四大鐵律）

1. 必須初始化：聲明即賦值，同一行
2. 初始值不能為 null：無法推斷類型
3. 初始化器必須為表達式：非對象/集合初始化器（匿名類型除外）
4. 多重聲明類型一致：同一語句多變量推斷類型必須相同

本質闡述

var 不表示「變體」，不意味著鬆散類型或晚綁定。它只是告訴編譯器：請根據初始化表達式確定並分配最適當的類型。

總結

var 是編譯期類型推斷的語法糖，生成 IL 與顯式聲明無異。四大鐵律保證類型安全，配合匿名類型、LINQ、複雜泛型，極大減少樣板代碼。理解其「靜態推斷、非動態」本質，是正確使用的前提。