C# 3.0 隱式型別陣列：var 與 new[] 結合的型別推斷

隱式型別陣列是 var 型別推斷機制在陣列建立上的自然延伸。透過 new[] 語法，編譯器根據元素初始化清單自動推斷陣列元素型別，簡化陣列宣告。

基本語法

// 一維陣列
var intArray = new[] { 1, 2, 3, 4, 5 };        // int[]
var doubleArray = new[] { 3.14, 1.414 };       // double[]
var stringArray = new[] { "A", "B", "C" };     // string[]

// 交錯陣列
var jaggedInt = new[] 
{ 
    new[] { 1, 2, 3 }, 
    new[] { 4, 5, 6 } 
}; // int[][]

var jaggedString = new[] 
{ 
    new[] { "A", "B" }, 
    new[] { "C", "D", "E" } 
}; // string[][]

// 匿名類型陣列（結合匿名類型特性）
var anonArray = new[] 
{ 
    new { Name = "Van", Age = 22 }, 
    new { Name = "Martin", Age = 23 } 
}; // 匿名類型陣列（元素型別相同，編譯器重用型別）

型別推斷規則

• 所有元素必須隱式可轉換至單一共同型別
• 推斷結果為該共同型別（或其基底型別）
• 若無共同型別（如 new[] { 1, "str" }），編譯錯誤
• 陣列秩由巢層 new[] 數量決定

常見錯誤與解決

適用場景

• ✅ 區域變數陣列初始化，型別明顯時減少冗餘
• ✅ 匿名類型陣列建構（無具名型別可用）
• ✅ LINQ 查詢中建立臨時陣列
• ❌ 陣列作為欄位、參數、回傳值時（需顯式型別）
• ❌ 元素型別不顯著時（顯式宣告更清晰）