您现在的位置：程式碼之家 >> 編程語言 > >> Java 程式設計 >> Java 相關知識

基於 EMF 反射機制的模型比較實作指南

編輯：Java 相關知識

Eclipse Modeling Framework (EMF) 是模型驅動開發的核心框架，其反射 API 提供了強大的運行時模型操作能力。本文詳細闡述如何利用 EMF 反射機制實現模型對象的深度比較，並輸出差異列表供版本控制、模型同步等場景使用。

EMF 與 Ecore 核心概念

EMF 可從 XML Schema、UML 或帶註解的 Java 介面生成代碼，支援圖形化編輯、序列化等功能。Ecore 元模型是 EMF 的核心，定義了模型結構並提供運行時支援，包含修改通知、XMI 序列化及通用反射 API。

Ecore 類型樹

關鍵類型說明：

EObject：所有模型對象的基類，類似 java.lang.Object，方法以「e」開頭（如 eClass()、eGet()）。
EClass：模型元類型，描述屬性 (EAttribute) 與引用 (EReference)。
EAttribute：描述簡單數據屬性，類型由 EDataType 指定。
EReference：描述類之間關聯，包含包含關係標誌（聚合/組合）與目標類型。
EStructuralFeature：EAttribute 與 EReference 的共同父類，可視為統一的「字段」抽象。
EPackage：包含模型類與數據類型資訊，代碼生成工具會產生其子介面與 eINSTANCE 靜態實例。

EMF 反射 API 詳解

EObject 介面

核心反射方法：

eGet(EStructuralFeature)：獲取屬性值，等同於 eGet(feature, true)（會解析代理）。
eGet(EStructuralFeature, boolean)：第二參數控制是否載入代理對象。
eSet(EStructuralFeature, Object)：設定屬性新值。
eIsSet(EStructuralFeature)：檢查屬性是否已設值。
eUnset(EStructuralFeature)：重置屬性值。

所有 EMF 對象皆實作 EObject，故均可使用上述 API，這是實現通用比較器的基石。

基於反射的字段值讀取與類型判斷

讀取字段值

透過 EPackage.eINSTANCE.getXXX_YYY() 取得 EStructuralFeature，再呼叫 eGet() 即可取值，無需針對具體類型轉型，大幅降低耦合與維護成本。

EStructuralFeature feature = ModelPackage.eINSTANCE.getNodeElement_Description();
Object remoteValue = remote.eGet(feature);
Object localValue = local.eGet(feature);

區分簡單類型與組合類型

EClass/EAttribute/EReference/EDataType 關係圖

EAttribute 對應簡單類型，EReference 對應組合類型（EClass）。程式碼判斷邏輯：

if (remote.eGet(feature) instanceof EList || local.eGet(feature) instanceof EList) {
    // 集合類型，需遍歷元素比較
} else if (remote.eGet(feature) instanceof EObject || local.eGet(feature) instanceof EObject) {
    // 組合類型，遞歸比較
} else {
    // 簡單類型
}

比較演算法實作

簡單類型比較

利用 Java 自動裝箱特性，統一用 Object.equals() 比較內容，避免 == 比較引用的問題：

Object remoteValue = remote.eGet(feature);
Object localValue = local.eGet(feature);
if (remoteValue != null && localValue != null) {
    if (!remoteValue.equals(localValue)) {
        // 記錄差異
    }
} else if ((remoteValue == null) != (localValue == null)) {
    // 一方為 null，記錄差異
}

組合類型與列表比較

組合類型需遞歸分解至簡單類型，並以備忘錄 (_comparedNodes) 防止循環引用導致無限遞歸。列表 (EList) 比較策略：

計算兩列表差集，差集元素直接記錄為新增/刪除。
交集元素依 ID 匹配後，按組合或簡單類型邏輯遞歸比較。

private void compare(List remote, List local, int compareType, List<CompareInfo> compareLog) {
    if (local == null || local.isEmpty()) { /* 全記為遠端新增 */ }
    for (EObject remoteObject : remote) {
        EObject localObject = findElementByID(local, remoteObject);
        if (localObject != null) {
            compareT(remoteObject, localObject, compareType, compareLog);
        } else {
            compareLog.add(new CompareInfo(CompareInfo.REMOTE_ADD, ...));
        }
    }
    for (EObject localObject : local) {
        if (findElementByID(remote, localObject) == null) {
            compareLog.add(new CompareInfo(CompareInfo.REMOTE_DELETE, ...));
        }
    }
}

完整比較器：ModelComparePort

比較器類圖

ModelComparePort 整合上述邏輯，適用於本地/遠端模型同步場景：

初始化比較字段列表 (initALLStructuralFeature())：控制比較範圍，避免無關字段干擾。
可比性判斷：僅 ID 相同的對象具可比性。
字段適用性檢查 (isSuitable())：遞歸檢查 EStructuralFeature 是否屬於對象類別或其超類。
差異收集：遍歷字段列表，依類型分派比較邏輯，生成 CompareInfo 列表。

public void compareT(EObject remote, EObject local, int compareType, List<CompareInfo> compareLog) {
    // 空值、刪除狀態、備忘錄檢查...
    for (EStructuralFeature feature : _featureList) {
        if (isSuitable(remote, feature)) {
            // 依 instanceof EList / EObject / 簡單類型 分派比較邏輯
        }
    }
}