C++/CLI 堆疊物件設計缺陷深度剖析：RAII 與互操作的困境

C++/CLI 引入的「自動確定性資源回收」被視為 RAII（資源獲取即初始化）在 .NET 環境的移植，語法上讓開發者感覺像在使用原生 C++ 的堆疊物件。然而，實際使用中會發現這層語法糖下隱藏著五大硬傷，嚴重削弱了堆疊物件的實用性。本文將逐一拆解這些問題，並探討其對跨語言互操作與日常開發的影響。

核心缺陷清單

#1 堆疊物件並非真正分配在堆疊上

只要型別是 ref class，C++/CLI 的堆疊物件依然分配在託管堆上，底層仍使用 newobj IL 指令。若類別未定義解構函式（~R()），則 R r; 與 R h = gcnew R; 產生完全相同的 IL 碼。編譯器僅在語法層面模擬堆疊語義，實際上只是另一層 syntax sugar。

#2 編譯器預設不產生複製建構函式與複製指派運算子

這幾乎讓人「望堆疊物件而卻步」。更糟的是 BCL（基底類別庫）中所有型別均未提供複製建構/指派，導致繼承自 BCL 的型別無法正常作為值型別傳遞。即使編譯器自動生成，跨元件邊界時仍會因語義不匹配而失效。

#3/#4 無法作為跨 CLI 語言的函數參數或回傳值

• 傳值參數：產生 modopt 中繼資料，C# 會以傳參考方式傳遞，C++/CLI 則嘗試呼叫複製建構函式 → 語義衝突。
• 追蹤參考參數：產生 modreq 中繼資料，直接導致其他 CLI 語言無法呼叫。
• 回傳值：同樣產生 modreq，跨語言互操作徹底失效。

String s("abc");
ArrayList list;
list.Add(%s); // 語法噁心，破壞程式碼美感

String^ s = "abc";
ArrayList^ list = gcnew ArrayList();
list->Add(s);