如果比较列表,Clojure的deftest宏中的断言错误
Posted
tags:
篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了如果比较列表,Clojure的deftest宏中的断言错误相关的知识,希望对你有一定的参考价值。
我的问题是关于Clojures deftest宏或更一般地说关于如何比较函数创建的列表。但我是Clojure的新手,无法识别具体原因。也许其他人有想法?
首先报告的消息:
FAIL in(to-symbol-list-test)(util_test.clj:105) 预期:(=(引用(a(非b)c))(to-symbol-list [“a”“(not b)”“c”])) 实际:(不是(=(a(非b)c)(a(非b)c)))
但很明显,引用的(=(a(非b)c)(a(非b)c))应该是真的。
二,具体测试代码:
(deftest to-symbol-list-test
(is (= '(a (not b) c) (to-symbol-list ["a" "(not b)" "c"]))))
第三个to-symbol-list的定义:
(defn to-symbol-list [term]
"Converts a vector based term into a list based term
by converting its elements into symbols recursivly"
(postwalk
#(if (string? %)
(symbol %)
(reverse (into '() %)))
term))
该函数甚至应该转换嵌套向量。这是一个例子,其他功能的行为方式相同。我猜这可能是由不同类型引起的。例如list vs lazy-seq和i比较延迟函数而不是数据,但类型似乎是正确的。在REPL我得到:
(type (to-symbol-list ["a" "(not b)" "c"]))
=> clojure.lang.PersistentList
to-symbol-list
返回3个符号的列表,并不递归处理嵌套数据结构。不幸的是,第二个符号的打印方式与您期望的正确解析的数据结构相同。我认为在这种情况下你最好使用clojure.edn/read-string
(docs here)来解析你的数据结构,就像我想你想的那样。
(defn to-symbol-list [list-of-strings]
(map edn/read-string list-of-strings))
(to-symbol-list ["a" "(not b)" "c"])
此外,作为将来帮助诊断此类事情的提示,您可以将额外的参数传递给clojure.test/is
,该参数将在发生故障时打印出来。这可能是函数调用的结果,如:
(ns to-symbols-test
(:require [clojure.edn :as edn]
[clojure.test :refer [deftest is are testing] :as t]
[clojure.data :as data]
[clojure.pprint :as pp]))
(defn to-symbol-list [l]
(map edn/read-string l))
(defn diff [a b]
(with-out-str (pp/pprint (take 2 (data/diff a b)))))
(deftest test-to-symbol-list
(testing "to-symbol-list should convert recursively"
(let [expected '(a (not b) c)
result (to-symbol-list ["a" "(not b)" "c"])]
(is (= expected result (diff expected result))))))
似乎to-symbol-list
将"(not b)"
字符串变为符号,但不是嵌套列表。要解决这个问题,您需要重构该函数以将parens考虑在内。比方说,如果它将(
视为字符串的第一个符号,它会自动递归将结果附加到某种累加器(顺便提一下,SICP充满了这样的练习)。
以上是关于如果比较列表,Clojure的deftest宏中的断言错误的主要内容,如果未能解决你的问题,请参考以下文章