向 Clojure 的 defrecord 构造函数添加功能的推荐宏?

Recommended macros to add functionality to Clojure's defrecord constructor?

clojure 中的

defrecord 允许使用自定义字段定义简单的数据容器。

例如

1
2
user=> (defrecord Book [author title ISBN])
user.Book

生成的最小构造函数只接受位置参数,没有附加功能,例如默认字段、字段验证等。

1
2
user=> (Book."J.R.R Tolkien""The Lord of the Rings" 9780618517657)
#:user.Book{:author"J.R.R Tolkien", :title"The Lord of the Rings", :ISBN 9780618517657}

总是可以编写package默认构造函数的函数以获得更复杂的构造语义——使用关键字参数、提供默认值等等。

这似乎是宏提供扩展语义的理想场景。人们编写和/或推荐了哪些宏来实现更丰富的 defrecord 构造?


支持完整和部分记录构造函数以及支持可评估的打印和打印表单的示例:

  • http://david-mcneil.com/post/765563763/enhanced-clojure-records
  • http://github.com/david-mcneil/defrecord2

David 是我的一个同事,我们在我们的项目中广泛使用了这个 defrecord2。我认为这样的东西应该真正成为 Clojure 核心的一部分(当然细节可能会有很大差异)。

我们发现重要的事情是:

  • 能够使用命名(可能是部分)参数构造记录:(new-foo {:a 1})
  • 通过复制现有记录并进行修改来构建记录的能力:(new-foo old-foo {:a 10})
  • 字段验证 - 如果您传递声明的记录字段之外的字段,则会引发错误。当然,这实际上是合法的并且可能有用,所以有办法让它成为可选的。由于它在我们的使用中很少见,因此它更有可能是一个错误。
  • 默认值 - 这些将非常有用,但我们还没有实现它。 Chas Emerick 在此处撰写了有关添加对默认值的支持的文章:http://cemerick.com/2010/08/02/defrecord-slot-defaults/
  • 打印和 pprint 支持 - 我们发现以一种可评估回原始记录的形式打印和 pprint 记录非常有用。例如,这允许您运行测试、滑动实际输出、验证它并将其用作预期输出。或者从调试跟踪中刷出输出并获得真正的可评估表单。


这里定义了一个具有默认值和不变量的记录。它创建了一个可以使用关键字 args 来设置字段值的 ctor。

1
2
3
4
5
6
7
8
(defconstrainedrecord Foo [a 1 b 2]
  [(every? number? [a b])])

(new-Foo)
;=> #user.Foo{:a 1, :b 2}

(new-Foo :a 42)
; #user.Foo{:a 42, :b 2}

就像我说的……不变量:

1
2
(new-Foo :a"bad")
; AssertionError

但它们只在 Trammel 的上下文中才有意义。


这是一种方法:http://david-mcneil.com/post/765563763/enhanced-clojure-records