clojure - 非常简单的练习程序无法编译

Question

我目前正在阅读“Clojure for the Brave and True”在当前章节中，他们正在解释一个程序，该程序采用表示霍比特人 body 部位的散列映射向量。由于包含部件的列表只是不对称地提供(只有左臂、左眼等是其中的一部分)，因此有必要编写一个函数来添加相应的右侧部件。后来有一个练习来扩展这个函数，取一个数字，然后为每个剩下的 body 部位加上那个数量的 body 部位。第二个函数会随机选择一个 body 部位。

这是我的代码:

(ns clojure-noob.core
  (:gen-class)
  (:require [clojure.string :as str] ))


(def asym-hobbit-body-parts [{:name "head" :size 3}
                             {:name "left-eye" :size 1}
                             {:name "left-ear" :size 1}
                             {:name "mouth" :size 1}
                             {:name "nose" :size 1}
                             {:name "neck" :size 2}
                             {:name "left-shoulder" :size 3}
                             {:name "left-upper-arm" :size 3}
                             {:name "chest" :size 10}
                             {:name "back" :size 10}
                             {:name "left-forearm" :size 3}
                             {:name "abdomen" :size 6}
                             {:name "left-kidney" :size 1}
                             {:name "left-hand" :size 2}
                             {:name "left-knee" :size 2}
                             {:name "left-thigh" :size 4}
                             {:name "left-lower-leg" :size 3}
                             {:name "left-achilles" :size 1}
                             {:name "left-foot" :size 2}])


(defn make-sym-parts [asym-set num]
  (reduce (fn [sink, {:keys [name size] :as body_part}]
           (if (str/starts-with? name "left-")
             (into sink [body_part 
                         (for [i (range num)]
                           {:name (str/replace name #"^left" (str i))
                            :size size})])
             (conj sink body_part)))
           []
           asym-set))


(defn rand-part [parts]
  (def size-sum (reduce + (map :size parts)))
  (def thresh (rand size-sum))
  (loop [[current & remaining] parts
         sum (:size current)]
    (if (> sum thresh)
      (:name current)
      (recur remaining (+ sum (:size (first remaining)))))))


(defn -main
  "I don't do a whole lot ... yet."
  [arg]
  (cond 
    (= arg "1") (println (make-sym-parts asym-hobbit-body-parts 3))
    (= arg "2") (println (rand-part asym-hobbit-body-parts))
    (= arg "3") (println (rand-part (make-sym-parts asym-hobbit-body-parts 3)))))

所以

lein run 1

工作并打印出扩展向量

lein run 2

也可以打印出随机的 body 部位名称。

但是:

lein run 3

会产生以下错误:

861 me@ryzen-tr:~/clojure_practice/clojure-noob$ lein run 3
862 Exception in thread "main" Syntax error compiling at (/tmp/form-init15519101999846500993.clj:1:74).
863         at clojure.lang.Compiler.load(Compiler.java:7647)
864         at clojure.lang.Compiler.loadFile(Compiler.java:7573)
865         at clojure.main$load_script.invokeStatic(main.clj:452)
866         at clojure.main$init_opt.invokeStatic(main.clj:454)
867         at clojure.main$init_opt.invoke(main.clj:454)
868         at clojure.main$initialize.invokeStatic(main.clj:485)
869         at clojure.main$null_opt.invokeStatic(main.clj:519)
870         at clojure.main$null_opt.invoke(main.clj:516)
871         at clojure.main$main.invokeStatic(main.clj:598)
872         at clojure.main$main.doInvoke(main.clj:561)
873         at clojure.lang.RestFn.applyTo(RestFn.java:137)
874         at clojure.lang.Var.applyTo(Var.java:705)
875         at clojure.main.main(main.java:37)
876 Caused by: java.lang.NullPointerException
877         at clojure.lang.Numbers.ops(Numbers.java:1068)
878         at clojure.lang.Numbers.add(Numbers.java:153)
879         at clojure.core$_PLUS_.invokeStatic(core.clj:992)
880         at clojure.core$_PLUS_.invoke(core.clj:984)
881         at clojure.lang.ArrayChunk.reduce(ArrayChunk.java:63)
882         at clojure.core.protocols$fn__8139.invokeStatic(protocols.clj:136)
883         at clojure.core.protocols$fn__8139.invoke(protocols.clj:124)
884         at clojure.core.protocols$fn__8099$G__8094__8108.invoke(protocols.clj:19)
885         at clojure.core.protocols$seq_reduce.invokeStatic(protocols.clj:27)
886         at clojure.core.protocols$fn__8131.invokeStatic(protocols.clj:75)
887         at clojure.core.protocols$fn__8131.invoke(protocols.clj:75)
888         at clojure.core.protocols$fn__8073$G__8068__8086.invoke(protocols.clj:13)
889         at clojure.core$reduce.invokeStatic(core.clj:6824)
890         at clojure.core$reduce.invoke(core.clj:6810)
891         at clojure_noob.core$rand_part.invokeStatic(core.clj:39)
892         at clojure_noob.core$rand_part.invoke(core.clj:38)
893         at clojure_noob.core$_main.invokeStatic(core.clj:54)
894         at clojure_noob.core$_main.invoke(core.clj:48)
895         at clojure.lang.Var.invoke(Var.java:384)
896         at user$eval140.invokeStatic(form-init15519101999846500993.clj:1)
897         at user$eval140.invoke(form-init15519101999846500993.clj:1)
898         at clojure.lang.Compiler.eval(Compiler.java:7176)
899         at clojure.lang.Compiler.eval(Compiler.java:7166)
900         at clojure.lang.Compiler.load(Compiler.java:7635)
901         ... 12 more

我一点也不知道为什么会这样。还谷歌搜索错误的第一行不会显示有用的信息。有谁知道这个问题吗？

Answer 1

问题是您返回了一个混合类型的向量。有些元素是映射，有些是列表。注意 make-sym-parts 的前几项:

(make-sym-parts asym-hobbit-body-parts 3)

=>
[{:name "head", :size 3}
 {:name "left-eye", :size 1}
 ({:name "0-eye", :size 1} {:name "1-eye", :size 1} {:name "2-eye", :size 1})
  . . .

看看我在这里列出的最后一个条目。这不是 map ；这是一个 map 列表。当您尝试将 :size 应用于列表时，您会得到 nil:

(:size '({:name "0-eye", :size 1} {:name "1-eye", :size 1} {:name "2-eye", :size 1}))

=> nil

当您将 :size 映射到整个列表时，您会得到:

(->> (make-sym-parts asym-hobbit-body-parts 3)
     (map :size))

=> (3 1 nil 1 nil 1 1 2 3 nil 3 nil 10 10 3 nil 6 1 nil 2 nil 2 nil 4 nil 3 nil 1 nil 2 nil)

这会导致问题，因为您通过 reduce 将这些值赋予 +，如果您给它一个 nil 因为 nil 不是一个数字。

---

那么，解决办法是什么？老实说，我已经有 3 个月没写 Clojure 了，所以我有点生疏了，我还没有读过问题陈述，但看起来你只需要把这个列表弄平:

(defn make-sym-parts [asym-set num]
  (reduce (fn [sink, {:keys [name size] :as body_part}]
           (if (str/starts-with? name "left-")
             (into sink (conj  ; I threw in a call to conj here and rearranged it a bit
                         (for [i (range num)]
                           {:name (str/replace name #"^left" (str i))
                            :size size})
                         body_part))

             (conj sink body_part)))

          []

          asym-set))

(make-sym-parts asym-hobbit-body-parts 3)

=>
[{:name "head", :size 3}
 {:name "left-eye", :size 1}
 {:name "0-eye", :size 1}
 {:name "1-eye", :size 1}
 {:name "2-eye", :size 1}
 {:name "left-ear", :size 1}
 {:name "0-ear", :size 1}
 {:name "1-ear", :size 1}
 {:name "2-ear", :size 1}
 {:name "mouth", :size 1}
 {:name "nose", :size 1}
 {:name "neck", :size 2}
 {:name "left-shoulder", :size 3}
 {:name "0-shoulder", :size 3}
 {:name "1-shoulder", :size 3}
 {:name "2-shoulder", :size 3}
 {:name "left-upper-arm", :size 3}
 {:name "0-upper-arm", :size 3}
 {:name "1-upper-arm", :size 3}
 {:name "2-upper-arm", :size 3}
 {:name "chest", :size 10}
 {:name "back", :size 10}
 {:name "left-forearm", :size 3}
 {:name "0-forearm", :size 3}
 {:name "1-forearm", :size 3}
 {:name "2-forearm", :size 3}
 {:name "abdomen", :size 6}
 {:name "left-kidney", :size 1}
 {:name "0-kidney", :size 1}
 {:name "1-kidney", :size 1}
 {:name "2-kidney", :size 1}
 {:name "left-hand", :size 2}
 {:name "0-hand", :size 2}
 {:name "1-hand", :size 2}
 {:name "2-hand", :size 2}
 {:name "left-knee", :size 2}
 {:name "0-knee", :size 2}
 {:name "1-knee", :size 2}
 {:name "2-knee", :size 2}
 {:name "left-thigh", :size 4}
 {:name "0-thigh", :size 4}
 {:name "1-thigh", :size 4}
 {:name "2-thigh", :size 4}
 {:name "left-lower-leg", :size 3}
 {:name "0-lower-leg", :size 3}
 {:name "1-lower-leg", :size 3}
 {:name "2-lower-leg", :size 3}
 {:name "left-achilles", :size 1}
 {:name "0-achilles", :size 1}
 {:name "1-achilles", :size 1}
 {:name "2-achilles", :size 1}
 {:name "left-foot", :size 2}
 {:name "0-foot", :size 2}
 {:name "1-foot", :size 2}
 {:name "2-foot", :size 2}]

在 map 的调用中，您还可以检查元素是 map 还是列表。如果它是一个列表，您可以在子列表上再次调用 (map :size 。这取决于您是想要一个平面列表还是一个嵌套列表作为最终结果。您也可以使用 mapcat 以获得平面列表，尽管这样您就需要处理不是 map 的条目。

---

您如何从那个(非常冗长的)堆栈跟踪中找出问题所在？一旦您意识到糟糕的解构和糟糕的键查找(就像我上面描述的那样)返回 nil，推理就会变得容易得多。每当您遇到 NPE 时，立即可以安全地假设您正在解构错误的东西，或者使用错误的 key 进行查找。这些并不是 NPE 的唯一原因，但根据我在 Clojure 中的经验，它们是最常见的。

从上到下读取堆栈跟踪以跟踪不良数据的来源和读取使用的位置。请注意我对如何阅读它的提示的评论:

; If you have an NPE, that means you have a nil being passed somewhere...
Caused by: java.lang.NullPointerException
877         at clojure.lang.Numbers.ops(Numbers.java:1068)
878         at clojure.lang.Numbers.add(Numbers.java:153)

            ; ... so, you're passing a nil to + ("_PLUS_") 
879         at clojure.core$_PLUS_.invokeStatic(core.clj:992)
880         at clojure.core$_PLUS_.invoke(core.clj:984)
881         at clojure.lang.ArrayChunk.reduce(ArrayChunk.java:63)
882         at clojure.core.protocols$fn__8139.invokeStatic(protocols.clj:136)
883         at clojure.core.protocols$fn__8139.invoke(protocols.clj:124)
884         at clojure.core.protocols$fn__8099$G__8094__8108.invoke(protocols.clj:19)
885         at clojure.core.protocols$seq_reduce.invokeStatic(protocols.clj:27)
886         at clojure.core.protocols$fn__8131.invokeStatic(protocols.clj:75)
887         at clojure.core.protocols$fn__8131.invoke(protocols.clj:75)
888         at clojure.core.protocols$fn__8073$G__8068__8086.invoke(protocols.clj:13)

            ; ... and it's happening inside a call to reduce 
889         at clojure.core$reduce.invokeStatic(core.clj:6824)

            ; ... and that call to reduce is happening inside of rand-part
891         at clojure_noob.core$rand_part.invokeStatic(core.clj:39)
892         at clojure_noob.core$rand_part.invoke(core.clj:38)
893         at clojure_noob.core$_main.invokeStatic(core.clj:54)

您只有一次这样的 + 实例被传递给 rand-part 内部的 reduce，所以这是开始寻找的好地方.从那里，您只需要使用标准调试技术跟踪 nil 的来源。

这里的要点是扫描堆栈跟踪以尝试找到您认识的单词。不幸的是，由于 Clojure 名称在翻译成 Java 时会被“破坏”，名称往往非常冗长和嘈杂。你只需要学会“透过噪音看”就能找到相关信息。稍加练习就会变得容易。

---

---

其他一些注意事项:

• 不要在defn 中使用def。 def 创建不受作用域约束的全局变量。请改用 let。

• 尝试使用更多的缩进。缩进一个空格不是很好。

• Clojure 使用破折号。您在大部分地方都在使用它，但 body_part 似乎是 Python 的倒退。

如果您愿意，可以将此代码发布到 Code Review 上，我们可以提出建议来帮助您改进它。