超越 C++：下一代 C++/CLI 語言特性全面解析

緒論：從 Managed C++ 到 C++/CLI

微軟推出 VS.NET 2003 實現 Managed C++ 時，開發者反應兩極：雖欣慰可繼續使用 C++，但雙底線語法 (__gc, __property 等) 晦澀難讀。微軟遂於 2003 年 10 月在 ECMA 推動 C++/CLI 標準制定，由 VS 2005 編譯器支援，旨在提供優雅、自然的 CLI 程式設計體驗。

Managed C++ 的五大痛點

1. 語法晦澀：雙重底線關鍵字增加閱讀負擔。
2. CLI 支援次等：缺乏對 .NET 集合列舉等特性的原生支援。
3. C++ 與 .NET 結合粗糙：CLI 類型無法使用 C++ 模板；C++ 類型無法使用 CLI 特性 (如垃圾回收)。
4. 指標語義混淆：非托管指標與托管參考指標同用 *，行為卻截然不同。
5. 無法產生可驗證代碼：MFC 編譯器輸出不符合 CLR 驗證標準。

C++/CLI 帶來的五大突破

1. 優雅語法：消除雙底線，提供自然的托管程式撰寫體驗，非托管到托管平滑過渡。
2. 一流 CLI 支援：屬性、事件、泛型、委派等 CLI 特性直接支援，甚至可用於原生類別。
3. 一流 C++ 支援：模板、解構函式等 C++ 特性在托管/非托管類別均有效；唯一可在堆疊或原生堆上「表面上」宣告 .NET 類型的語言。
4. 跨越鴻溝：C++ 開發者不再如離水之魚般面對 BCL (基礎類別庫)。
5. 可驗證輸出：編譯器產生完全可驗證的執行檔。

Hello World 範例

using namespace System;
void _tmain() {
    Console::WriteLine("Hello World");
}

無需手動引用 mscorlib.dll，/clr 編譯會自動處理 (預設 /clr:newSyntax)。

核心概念：控制代碼 (Handle, ^)

Managed C++ 最大混淆在於 * 同時代表原生指標與托管參考。C++/CLI 引入 控制代碼 (Handle)，以 ^ 符號宣告：

void _tmain() {
    String^ str = "Hello World"; // ^ 看起來像帽子
    Console::WriteLine(str);
}

^ 代表 CLI 托管物件的參考，相當於舊語法的 __gc*。控制代碼與指標在本質上完全不同：

CLR 物件實例化

void _tmain() {
    String^ str = gcnew String("Hello World");
    Object^ o1 = gcnew Object();
    Console::WriteLine(str);
}

gcnew 關鍵字明確區分托管與非托管實例化。

類型宣告新語法

CLR 類型使用形容詞前綴區分種類：

• 參考型別：ref class, ref struct
• 實值型別：value class, value struct
• 介面：interface class, interface struct
• 列舉：enum class, enum struct
• 原生型別：class, struct (無前綴)

範例：介面與實作

using namespace System;
interface class IDog { void Bark(); };
ref class Dog : IDog {
public:
    void Bark() { Console::WriteLine("Bow wow wow"); }
};
void _tmain() {
    Dog^ d = gcnew Dog();
    d->Bark();
}

舊語法需 __gc, __interface 等關鍵字，新語法極度簡潔。

裝箱/拆箱

• 隱含裝箱：Object^ o = 44; (型別安全)
• 顯式拆箱：int y = *reinterpret_cast<int^>(o);

裝箱建立物件副本，原值型別變更不影響已裝箱物件。裝箱物件保留原始型別資訊，拆箱時型別不符會拋出 InvalidCastException。

為何學習 C++/CLI？

1. 編譯器到核心層完整支援 C++ 代碼。
2. 對其他標準具壓倒性優勢。
3. 原生內部支援超越所有其他 CLI 語言。
4. MFC 時代的底線符號徹底消失。