C# 2.0 部分型別進階：嵌套型別、泛型約束一致性與實作細節

嵌套部分型別

外層與內層皆可為 partial，各部分對應分散：

// File1.cs
partial class Outer {
    partial class Inner { int x; }
}

// File2.cs
partial class Outer {
    partial class Inner { int y; }
}
// 合併為 Outer.Inner 含 x、y 兩欄位

泛型部分型別約束一致性驗證

partial class Dict<K, V> where K : IComparable<K> where V : IKeyProvider<K>, IPersistable { }
partial class Dict<K, V> where V : IPersistable, IKeyProvider<K> where K : IComparable<K> { }
partial class Dict<K, V> { }  // 無約束宣告也合法
// 三者有效：約束集合相同（順序不拘）

介面實作分散

partial class X {
    int IComparable.CompareTo(object o) { ... }  // 實作在這
}
partial class X : IComparable {  // 介面宣告在另一部分
    ...
}

成員順序未定義的互通性影響

編譯器合併時不保證成員順序。涉及 COM Interop、P/Invoke 結構配置、序列化等依賴順序的場景需謹慎，或改用單一檔案定義。

編譯器實作細節

• 所有部分於編譯期融合為單一型別定義
• 中繼資料中無 partial 痕跡，運行時不可區分
• 除錯符號（PDB）保留原始檔案對應