C# new 運算符全解析：物件建立的三大形式與記憶體機制

在 C# 中，new 運算符是建立類型實例的核心機制。它不僅負責記憶體配置，還執行建構函式初始化。理解其三種表達式形式與底層行為，對編寫高效、安全的程式碼至關重要。

三大建立表達式形式

1. 物件建立表達式

用於建立類別（參考類型）或結構（值類型）的實例：

// 類別實例（參考類型，配置在堆積）
var person = new Person("張三", 25);

// 結構實例（值類型，通常配置在堆疊）
var point = new Point(10, 20);

2. 陣列建立表達式

建立一維、多維或交錯陣列：

// 一維陣列
int[] numbers = new int[5] { 1, 2, 3, 4, 5 };

// 多維陣列
double[,] matrix = new double[3, 3];

// 交錯陣列
string[][] jagged = new string[3][];

3. 委派建立表達式

建立委派實例，綁定方法：

// 委派宣告
delegate double MathOperation(double x, double y);

// 建立委派實例
MathOperation add = new MathOperation((a, b) => a + b);
MathOperation multiply = new MathOperation(Math.Multiply);

關鍵特性深度解析

記憶體配置機制

與 C++ 不同，C# 的 new 不直接操作指標，而是由 CLR 管理：

• 參考類型：在 Managed Heap 配置記憶體，由 GC 回收
• 值類型：通常在堆疊配置（區域變數）或內嵌在物件中（欄位），無 GC 壓力
• 陣列：永遠在堆積配置，即使元素是值類型

物件初始化語法（C# 3.0+）

簡化屬性設定，提升可讀性：

var employee = new Employee
{
    Name = "李四",
    Age = 30,
    Department = "工程部"
};

隱含類型建立（目標類型 new，C# 9.0+）

當類型可從上下文推斷時，可省略類型名稱：

List<string> names = new() { "A", "B", "C" };
Dictionary<int, string> dict = new() { [1] = "One" };

進階用法與注意事項

結構的無參數建構函式

結構隱含無參數建構函式（將所有欄位歸零），不可自訂：

struct Point { public int X, Y; }
var p = new Point(); // X=0, Y=0

陣列初始化簡寫

// 隱含陣列大小
int[] scores = new[] { 90, 85, 95 };

// 多維陣列初始化
int[,] grid = new[,] { {1, 2}, {3, 4} };

匿名類型建立

var anon = new { Id = 1, Name = "測試", IsActive = true };

效能與最佳實踐

常見陷阱

1. 值類型裝箱：將結構指派給 object 或介面會觸發裝箱
2. 陣列共享參考：var b = a; 只複製參考，非深層複製
3. 委派閉包捕捉：迴圈中建立委派需注意變數捕捉語意

精通 new 運算符的各種形式與底層機制，能幫助您做出更明智的架構決策，編寫高效能、低記憶體佔用的 C# 應用程式。