Clojure NullPointerException 错误

Question

我是 clojure 的新手，尝试编写简单的函数来获取数字列表并仅过滤偶数。

我想在没有过滤器的情况下执行此操作，甚至？，只有纯 clojure

(defn my-even [ilist]
   (if
    (= (mod (first ilist) 2) 0)
    (concat (list (first ilist)) (my-even (rest ilist)))
    (my-even (rest ilist))
   )
)

我尝试运行它：

(my-even '(1,2,3,4,5))

但出现错误：出了

#<CompilerException java.lang.NullPointerException (NO_SOURCE_FILE:0)>

什么问题？

谢谢。

Answer 1

正如乔纳斯所说，你没有基本情况；你没有基本情况。除此之外，将括号放在单独的行上并不是 Clojure（或任何其他 Lisp）惯用的做法，还要将 if 的谓词保持在同一行。

通过解构，它的可读性更强：

(defn my-even? [coll]
  (if-let [[first & rest] coll]
    (if (= (mod first 2) 0)
      (cons first (my-even? rest))
      (my-even? rest))))

Answer 2

您的递归函数my-even没有基本情况。当列表中没有更多元素时会发生什么？ (first ilist) 返回 nil 并且 (mod nil 2) 抛出 NullPointerException。

您必须以某种方式测试空列表。

Answer 3

很高兴本周看到这么多人学习 Clojure :) 从像这样的基本问题开始是一个非常好的开始。哈姆扎和乔纳斯的回答显然很好地涵盖了最初的问题。我想主动提供一些关于从这里获取它的建议，希望对您有所帮助。

一旦你有了基本的递归形式，你通常可以通过以下方式将其转换为惯用的 Clojure：

1）尽可能使用尾递归形式（你已经这样做了）
2) 用 recur 调用替换直接递归，以防止堆栈溢出。 （从 Hamza 的工作答案开始）

(defn my-even? [coll]
   (if-let [[first & rest] coll]
    (if (= (mod first 2) 0)
      (cons first (my-even? rest))
      (recur rest))))

recur 导致编译器跳转到堆栈帧的开头，而不是分配一个新的堆栈帧。没有这个它会破坏堆栈。

3) 在许多情况下，您可以使用 map、reduce 等高阶函数消除 (defn [] ... (recur)) 模式>、filter、for 等。在本练习中，我看到您尝试不使用 filter 或 even ，所以显然你可以写 my-filter 和 my-even 就可以了;)

4) 将可分割的部分（构建列表，选择要包含的内容）提取到可重用的函数中，并上传对 clojure contrib 项目通常有用的任何部分:)

5) 仔细思考您是否应该使用 ( lazy-seq ...) 因为你很有可能重新发明轮子。

Answer 4

这是另一个不需要解构的解决方案，只需要基本的 lisp 和类似方案的函数。

(defn my-even [ilist]                                                                                                                                                                                                                       
  (cond (empty? ilist) '() ;; base case                                                                                                                                                                                                               
        (= (mod (first ilist) 2) 0)                                                                                                                                                                                                         
        (cons (first ilist) (my-even (next ilist)))                                                                                                                                                                                         
        :else (my-even (next ilist))))