從 C++ 邁向 C#：必須掌握的核心觀念轉變與常見陷阱

C# 建立在 C++ 的語法與語義基礎之上，讓 C/C++ 開發者能快速享受 .NET Framework 與通用語言執行平台（CLR）帶來的生產力紅利。雖然語法相似度高，但從非受控環境邁向受控環境，意味著程式設計思維的根本轉變。本文將系統梳理記憶體管理、型別系統、元件導向特性等核心差異，並針對 C++ 開發者易犯的錯誤提供避坑指南。

一、受控環境的範式轉移：放手微觀控制，擁抱架構服務

1. 記憶體管理：從手動 new/delete 到垃圾回收（GC）

• C++：開發者決定物件在堆疊、堆積或特定記憶體位址，掌控生存週期，需手動釋放資源。
• C#：簡單型別（int、double 等）預設在堆疊，參考型別（class）永遠在受控堆積。物件位置由 CLR 安排，不可指定位址，生存週期交由 GC 非決定性回收。C# 沒有解構函式（destructor），只有 Finalize 方法，且不建議直接覆寫，應實作 IDisposable 模式釋放非受控資源。

2. 型別系統統一：所有型別皆物件

C# 的 int 實際對應 System.Int32，struct 繼承 System.ValueType，所有型別最終繼承 System.Object。這意味著：

• 值型別也能呼叫 ToString()、GetHashCode() 等方法。
• 值型別傳遞給預期 object 的方法時會發生裝箱，效能有額外開銷。
• 跨語言互通（如 VB.NET 組件）時，必須遵循 CLS（通用語言規範），型別定義需符合 CLR 規則。

3. 元件導向語言特性：內建屬性、事件、委派、介面

C# 將屬性、事件、委派提升為語言一級成員，無需像 C++ 靠巨集或慣例模擬。介面取代多重繼承，避免菱形繼承難題，並在 GC 環境下更易高效實作。

二、C++ 開發者必踩的五大坑（Traps）

1. 值型別 vs 參考型別語義差異

// C++：struct/class 預設傳值/傳址由呼叫端決定
// C#：結構是值型別，類別是參考型別，語義由型別定義端固定
struct Point { public int X, Y; }
class  Node  { public int Id; }

void Modify(Point p, Node n) { p.X = 9; n.Id = 9; } 
// 呼叫後：Point 未變（傳副本），Node 已改（傳參考）

對策：明確區分 struct（輕量、不可變、高頻建立）與 class（有身分識別、參考語義）。需傳值型別參考時加 ref / out。

2. 結構的限制：無預設建構函式、不可繼承

• 不可宣告無參數建構函式（CLR 會自動產生預設零值初始化）。
• 不可繼承其他結構或類別，只能實作介面。
• 適合：座標點、矩陣、日期時間等小型不可變資料結構。

3. 確定性指派：區域變數使用前必須初始化

// C++ 允許
int x; if (cond) x = 1; Console.WriteLine(x); // 可能未初始化

// C# 編譯錯誤：使用未指派的區域變數 'x'
int x; 
if (cond) x = 1; 
Console.WriteLine(x); // 錯誤

// 正確寫法
int x = 0; // 或 int x; if (cond) x = 1; else x = 2;

編譯器靜態流程分析確保讀取前已寫入，消除未初始化變數導致的未定義行為。

4. 參數傳遞關鍵字：ref / out / in

5. 陣列宣告語法差異

// C++: int arr[10]; 或 int* arr = new int[10];
// C#: 方括號跟在型別後，不可跟在變數名後
int[] arr = new int[10];       // 一維
int[,] matrix = new int[3,4];  // 多維（矩形）
int[][] jagged = new int[3][]; // 鋸齒陣列（陣列的陣列）

三、C# 獨有的現代語言特性速覽

• foreach：統一迭代介面 IEnumerable，支援陣列、集合、自訂迭代器。
• 屬性：get/set 存取子封裝欄位，支援唯讀、唯寫、自動實作屬性（public int Age { get; set; }）。
• 索引子：讓物件像陣列一樣用 obj[i] 存取。
• 委派與事件：型別安全的函式指標，事件模式實現發佈/訂閱。
• 屬性：[Obsolete]、[Serializable] 等中繼資料，支援反射與 AOP。
• 泛型：List<T> 等在執行期具現化，避免裝箱並保留型別資訊（不同於 C++ 模板在編譯期展開）。

四、總結：思維模式的三大轉變

1. 記憶體：從「我決定物件在哪、活多久」→「我定義型別語義，CLR 負責生命週期」。
2. 型別：從「型別是編譯期佈局」→「型別是執行期帶有中繼資料的第一級公民」。
3. 重用：從「繼承/模板」→「介面/委派/泛型/組合」，面向元件而非面向物件細節。

掌握這些核心差異，C++ 開發者即能在 C# 與 .NET 生態中發揮最大效能，避免將 C++ 慣用模式生搬硬套導致的效能損耗或邏輯錯誤。