检查集合是否为空的正确"clojure方式"是什么

Question

我想编写一个函数,如果给定的集合不为空,则返回布尔值true,否则返回false.

我也可以

defn ..
(boolean (seq coll))

要么

defn ..
(not (empty? coll))

由于我是clojure的新手,我最初倾向于使用#2(更具可读性),但是clojure api参考empty?明确表示使用成语(seq coll)代替(not (empty? coll)),可能是为了避免双重否定.

我想知道什么是clojure方法来检查集合是否为非空并返回布尔值true/false.

Answer 1

根据Clojure的喜悦,nil punning with seq是惯用的:

(defn print-seq [s]
  (when (seq s)
    (prn (first s))
    (recur (rest s))))

"... seq作为终止条件的使用是测试序列是否为空的惯用方法.如果我们测试[在上面的例子中] s而不是(seq s),那么即使对于空集合也不会发生终止条件. ".

Answer 2

empty?您提到的文档字符串的段落特别意味着这样的nonempty?函数永远不应该是必需的,甚至特别有用,因为seq在布尔上下文中它总是可以代替它,在纯Clojure代码中它可以.

如果您觉得有必要编写这样的功能,我会说我更喜欢第一种方法.无论如何empty?都是建立起来seq的,所以没有避免的称呼它; 只是将结果转换为布尔似乎比两次旅行更清晰not.对于其他选项,请参阅例如nil?,false?(我仍然喜欢演员表).

顺便说一下,你为什么要写这个...？用于调用带有boolean参数的Java方法？在这种情况下,我认为演员会很好地表达意图.

更新:举例说明后一点:

1. 一个简单的Java类:

   public class Foo {
     public static boolean foo(boolean arg) {
       return !arg;
     }
   }
   

2. 一些Clojure客户端代码:

   (Foo/foo nil)
   ; => NullPointerException
   (Foo/foo (boolean nil))
   ; => true
   

Answer 3

除了 Michal Marczyk 的出色回答之外，我还要指出还有一个特定的非空函数：

http://clojure.github.io/clojure/clojure.core-api.html#clojure.core/not-empty

但它并不完全符合您的要求。（尽管它在大多数情况下都有效）。

如果集合为空，Not-empty 返回 nil；如果集合不为空，则返回集合本身。对于谓词测试，这将运行良好。如果您确实需要 true 和 false 值，那么 (not (empty? x)) 就是您所追求的。