C# 引用類型詳解：類別、委派、陣列與介面

在 C# 的類型系統中，除了實值類型之外，引用類型 是另一大核心支柱。所謂「引用」，意指變數並不直接儲存資料本身，而是儲存指向資料所在記憶體位址的參考。簡單來說，引用類型的變數存放的是實際資料的「地址」，而非資料值本身。這種機制讓多個變數可以指向同一個物件，是實現多態、繼承等物件導向特性的基礎。

C# 的四大引用類型

C# 定義了四種主要的引用類型：

• 類別：自訂型別的藍圖，封裝資料與行為。
• 委派：類型安全的方法參考，支援事件與回呼模式。
• 陣列：同質元素的有序集合，本身也是物件。
• 介面：定義合約的抽象類型，規範類別必須實作的成員。

本章重點：前三種引用類型

本節將深入探討 類別、委派 與 陣列 的語法、特性及應用場景。至於 介面 的完整機制——包含介面繼承、顯式實作、預設實作等進階主題，將安排在第十五章專章詳細剖析。

4.2.1 類別

類別是物件導向程式設計的基石，定義了物件的狀態（欄位/屬性）與行為（方法/事件）。在 C# 中，類別支援單一繼承、多型、封裝等核心特性，是建構複雜應用程式的主要單元。

4.2.2 委派

委派可視為「型別安全的函式指標」，它讓方法能夠像資料一樣被傳遞、儲存與呼叫。委派是事件模型、非同步程式設計、LINQ 查詢等機制的底層支撐。

4.2.3 陣列

陣列是固定大小、同質元素的連續記憶體區塊。在 C# 中，陣列隱含繼承自 System.Array，擁有 Length、Rank 等屬性，並支援 foreach 迭代。多維陣列與交錯陣列提供靈活的資料組織方式。