C# 2.0 語言規範深度解析：Partial Type（不完全類型/分部類型）完整指南

引言：為什麼需要分部類型？

隨著專案規模增長，單一類別檔案動輒數千行，團隊協作衝突頻發、代碼生成器覆蓋手寫邏輯、機器生成代碼與業務邏輯混雜等問題日益凸顯。C# 2.0 引入 partial 修飾符，允許將類別、結構、介面的定義拆分到多個源文件，編譯時合併為單一類型。這不僅緩解文件膨脹，更實現了「機器生成代碼」與「人工業務代碼」的物理隔離——典型場景如 Windows Forms 設計器代碼（Form1.Designer.cs）與使用者代碼（Form1.cs）分離。

語法規範：partial 修飾符的精確位置

partial 是上下文關鍵字（非保留字），僅在緊接 class、struct、interface 之前時具有特殊含義，其他位置仍可作標識符使用。聲明語法：

attributes_opt  class_modifiers_opt  partial_opt  class  identifier  type_parameter_list_opt
  class_base_opt  type_parameter_constraints_clauses_opt  class_body  ;_opt

所有部分必須標記 partial，且位於同一命名空間。巢狀類型同樣支援 partial，外部類若為 partial，內部類各部分可分散在外部類的不同部分中。

限制：partial 不可用於 delegate 或 enum 聲明。

編譯期合併規則：屬性、修飾符、泛型參數與約束

1. 屬性合併：順序不定，重複疊加

[Attr1, Attr2("hello")]
partial class A {}
[Attr3, Attr2("goodbye")]
partial class A {}
// 等價於
[Attr1, Attr2("hello"), Attr3, Attr2("goodbye")]
class A {}

類型參數上的屬性同理合併。

2. 存取修飾符：必須一致

• 若任一部分指定 public/internal 等，其他部分必須相同（或省略）。
• 全部省略則採用預設存取級別（類別為 internal）。
• 巢狀類型的 new 修飾符僅影響該部分的隱藏警告。

3. abstract / sealed：任一部分標記即生效，但互斥

• 任一部分有 abstract → 整個類別為抽象類。
• 任一部分有 sealed → 整個類別為密封類。
• 編譯錯誤：同時出現 abstract 和 sealed。

4. unsafe：僅影響標記該部分的程式碼區塊

5. 泛型參數與約束：跨部分強制一致

• 每部分必須聲明相同數量、相同名稱、相同順序的類型參數。
• 約束子句（where）可分散在多部分，但針對同一參數集合的約束語義必須完全一致（類/介面/建構函式約束集合相同），順序可不同。
• 無約束部分視為無約束；若所有部分無約束，則參數為非受約束。

// 合法：約束語義一致
partial class Dictionary<K,V> where K: IComparable<K> where V: IKeyProvider<K>, IPersistable {}
partial class Dictionary<K,V> where V: IPersistable, IKeyProvider<K> where K: IComparable<K> {}
partial class Dictionary<K,V> {} // 無約束部分允許

基類與介面：聯合與實現分離

基類

• 允許各部分重複指定相同基類。
• 若無指定，基類為 System.Object。

介面

• 所有部分指定的介面取聯集。
• 同一介面在單部分只能出現一次，但可跨部分重複。
• 介面成員實現可在任一部分提供，不限於聲明該介面的部分。

partial class X { int IComparable.CompareTo(object o) { ... } } // 實現
partial class X : IComparable { } // 聲明

成員合併：共享宣告空間，private 跨部分可見

• 所有部分的類別主體共享同一宣告空間。
• 成員作用域貫穿所有部分；某部分聲明的 private 成員在其他部分自由訪問。
• 編譯錯誤：同名成員在多部分重複聲明（除非該成員本身是 partial 類型）。

partial class A { int x; partial class Inner { int y; } }
partial class A { int x; // 錯誤：x 重複
                  partial class Inner { int z; } // 正確：Inner 為 partial 類型 }

成員順序對 C# 無影響，但對跨語言互操作可能重要，規格規定順序為未定義。

名稱繫結：using 指令的部分隔離

雖各部分位於同一命名空間，但各部分可擁有不同的 using 指令。簡單名稱解析僅參考該部分自身的 using：

namespace N {
  using List = System.Collections.ArrayList;
  partial class A { List x; } // x 為 ArrayList
}
namespace N {
  using List = Widgets.LinkedList;
  partial class A { List y; } // y 為 LinkedList
}

這賦予了極大靈活性，但也要求開發者注意命名衝突風險。

最佳實踐與避坑指南

1. 文件命名慣例：ClassName.cs（業務邏輯）、ClassName.Generated.cs（工具生成）、ClassName.Events.cs（事件處理）等。
2. 不要濫用：類別未超過 500 行、無代碼生成器介入時，單文件更利於閱讀。
3. 避免跨程式集：所有部分必須在同一編譯單元（專案）中，無法擴展已編譯的 DLL 類型。
4. 建構函式分散：可在不同部分定義不同多載，但注意初始化邏輯順序（靜態建構函式按部分順序合併執行，順序未定義）。
5. 介面實現集中：建議將某介面的所有實現集中在一部分，便於維護。

總結

Partial Type 是 C# 2.0 為大型專案、代碼生成、團隊協作量身打造的實用特性。它在編譯期無縫合併，零運行時開銷，語法規則嚴謹而靈活。掌握其合併語義（屬性疊加、修飾符一致、成員共享空間）、約束一致性要求、以及 using 隔離特性，能讓你在架構分層、設計器整合、多模組協作中遊刃有餘。