AOP 在 C# 中的探索與實踐（續 1）：織入器架構抉擇與原型開發

織入策略的兩難抉擇

開發 AOP 織入器的首要決策：原始碼層級織入 vs 設計模式/委派插入。

方案 A：原始碼織入（AspectJ 風格）

• 流程：解析原始碼 → AST 轉換 → 插入切面程式碼 → 產生中間檔 → 編譯
• 優點：執行效能最佳（零額外開銷）；支援攔截建構子、靜態方法、非虛擬方法
• 缺點：修改織入規則需完整重新編譯；除錯符號對映複雜；建置流程侵入性強
• 潛在緩解：引入設計模式（策略/模板方法）將可變部分隔離，減少重織頻率

方案 B：委派/代理插入（設計模式風格）

• 流程：在連接點預埋委派欄位 → 執行期透過設定檔（XML/Attribute）繫結切面實作
• 優點：無需重新編譯即可修改切面行為；支援熱更新；建置流程零侵入
• 缺點：每次呼叫額外委派調用開銷；無法攔截非虛擬/靜態/建構子方法；程式碼雜訊增加

混合策略可行性

理想方案：核心熱路徑靜態織入，管理型切面動態配置。但雙引擎維護成本極高，原型階段建議先單一路徑驗證可行性。

解析器選型：借鑑 SharpDevelop/NRefactory

為什麼不自建解析器？

• C# 語法複雜（泛型、Lambda、LINQ、非同步、模式比對...）
• 維護語言版本同步負擔極大
• SharpDevelop/NRefactory 提供成熟 AST、型別解析、語意分析

實際整合經驗

從 SharpDevelop 移植解析器核心（RC2 版本），發現兩處潛在 Bug：

Bug 1：IList 比較邏輯錯誤

// 原始碼（SharpDevelop 內部工具方法）
static public int Compare(IList a, IList b, IComparer comparer) {
    if (a == null || b == null) return 1;  // 問題：null 比較語意不明
    if (a.Count != b.Count) return Math.Sign(a.Count - b.Count);
    int limit = (a.Count < b.Count) ? a.Count : b.Count;  // 冗餘：前已檢查 Count 相等
    for (int i = 0; i < limit; i++) {
        if (a[i] is IComparable && b[i] is IComparable) {  // 問題：未使用傳入的 comparer！
            int cmp = comparer.Compare(a[i], b[i]);
            if (cmp != 0) return cmp;
        }
    }
    return a.Count - b.Count;  // 永遠為 0
}

Mono 已修正此邏輯。懷疑原作者可能在非清醒狀態撰寫。

Bug 2：泛型型別推斷邊界條件

特定巢狀泛型情境下型別參數解析失敗，導致織入器產生錯誤 IL。需加入防禦性檢查與單元測試覆蓋。

原型架構草案

// 切面定義屬性
[AttributeUsage(AttributeTargets.Method | AttributeTargets.Class)]
public class AspectAttribute : Attribute {
    public string Pointcut { get; set; }  // 切入點運算式
    public AdviceType Advice { get; set; }  // Before/After/Around
    public Type AdviceType { get; set; }    // 實作切面的類別
}

// 織入器介面
public interface IWeaver {
    void Weave(Assembly input, Assembly output, IEnumerable aspects);
    WeavingResult Result { get; }
}

下一步行動計畫

1. 完成 NRefactory 整合與基本 AST 遍歷
2. 實作簡單 Pointcut 解析器（支援方法名稱模式、命名空間、屬性）
3. 原型 Around Advice 織入：方法進入/退出/例外攔截
4. 建立效能基準：靜態織入 vs 動態代理 vs 原生呼叫
5. 處理 PDB 符號重寫以支援除錯

心得

造輪子雖痛，但深入理解編譯器管線、IL 生成、型別系統極有價值。現階段優先驗證「靜態織入原型可行性」，而非追求功能完整。PostSharp 的商業成功證明此路可行，關鍵在工程品質與生態整合。