從Clojure中抽象出數據結構的實現細節

Question

我正在用多個子結構在Clojure中開發一個複雜的數據結構。

我知道我會希望隨着時間的推移來擴展這個結構，並且有時可能想改變內部結構而不會破壞數據結構的不同用戶（例如，我可能想要將矢量變成散列表，添加某些類型的索引結構的性能方面的原因，或結合了Java類型）

我現在的想法是：

• 定義一個協議與各種存取方法的整體結構
• 創建的一個小型圖書館導航數據結構的功能e 。G。 （查詢子-ABC參數1參數2）
• 實現使用defrecord或DEFTYPE數據結構，定義爲使用小型圖書館

我認爲這將工作在協議方式，但我很擔心它開始看起來像很多「膠水」代碼。另外它也可能反映了我對面向對象方法的更加熟悉。

在Clojure中做這件事的推薦方式是什麼？

Answer 1

我認爲deftype可能是要走的路，但我會採取accessor方法。相反，看看clojure.lang.ILookup和clojure.lang.Associative;這些接口可以讓你使用get/get-in和assoc/assoc-in，這是一個更加通用的解決方案（不僅可以改變底層實現，還可以使用基於Clojure標準集合庫構建的函數來操縱你的結構）。

幾件事情需要注意：

1. 你或許應該defrecord開始，用get，assoc &有限公司與ILookup，Associative，IPersistentMap和java.util.Map標準defrecord實現。你可能會用它很長的路。

   如果/當這些不夠時，請查看emit-defrecord（Clojure源中的core_deftype.clj中定義的私有函數）的來源。這非常複雜，但它會讓你知道你可能需要實現什麼。

2. deftype和defrecord目前都沒有爲您定義任何工廠函數，但您應該自己做。在這些功能（和/或相應的測試）中進行完整性檢查。

3. 的多個概念的複雜操作的過程中對協議功能的完美契合建立在get &有限公司

哦基礎，看看在Clojure的來源gvec.clj的示例使用deftype編寫的一些嚴重的數據結構代碼可能看起來像什麼。這裏的複雜性與您在問題中描述的不同，但它仍然是Clojure目前可用於公共消費的自定義數據結構編程的少數幾個例子之一（當然，它也是優秀的代碼）。

當然，這正是我的直覺告訴我的。我不確定現階段已確立的習語存在多少問題，但deftype實際上並未發佈，並且全部。 :-)