请在这里分享您的想法：2024 年 Clojure 状态调查！

欢迎！有关此工作的更多信息，请查看关于页面。

提出一个问题

这是 cl-format 中的错误吗？

+2票
在 IO 由
重标记 由

以下对 cl-format 的调用会导致 Java 级别空指针异常。

(cl-format false "
~@")

当然，这个代码示例相当没有意义。导致这个最小测试用例的实际示例如下。

(cl-format false "~&~
                            item=~A~@
                            transitions=~A~@
                            lhs=~A~@
                            rhs=~A~@"
                      1
                      2
                      3
                      4
                      )

据我了解，问题似乎出在处理最后的 ~@ 上，Clojure（我猜）似乎在 cl_format.clj 中的 compile-directive 函数中将 extract-params 的 nil 返回值进行了解构。
在 cl_format.clj 中的函数 compile-directive 中。

(defn- compile-directive [s offset]
  (let [[raw-params [rest offset]] (extract-params s offset)
        [_ [rest offset flags]] (extract-flags rest offset)
        directive (first rest)
        def (get directive-table (Character/toUpperCase ^Character directive))
        params (if def (map-params def (map translate-param raw-params) flags offset))]
    (if (not directive)
      (format-error "Format string ended in the middle of a directive" offset))
    (if (not def)
      (format-error (str "Directive \"" directive "\" is undefined") offset))
    [(struct compiled-directive ((:generator-fn def) params offset) def params offset)
     (let [remainder (subs rest 1) 
           offset (inc offset)
           trim? (and (= \newline (:directive def))
                      (not (:colon params)))
           trim-count (if trim? (prefix-count remainder [\space \tab]) 0)
           remainder (subs remainder trim-count)
           offset (+ offset trim-count)]
       [remainder offset])]))

以下是我看到的堆栈跟踪。

1. Unhandled java.lang.NullPointerException
   (No message)

             cl_format.clj: 1717  clojure.pprint/compile-directive
             cl_format.clj: 1861  clojure.pprint/compile-format/fn
                  AFn.java:  154  clojure.lang.AFn/applyToHelper
                  AFn.java:  144  clojure.lang.AFn/applyTo
                  core.clj:  665  clojure.core/apply
             utilities.clj:   37  clojure.pprint/consume
             cl_format.clj: 1845  clojure.pprint/compile-format
             cl_format.clj: 1845  clojure.pprint/compile-format
             cl_format.clj:   62  clojure.pprint/cl-format
             cl_format.clj:   27  clojure.pprint/cl-format
               RestFn.java:  521  clojure.lang.RestFn/invoke
                      REPL: 1391  clojure-rte.rte-core/eval24978
                      REPL: 1391  clojure-rte.rte-core/eval24978
             Compiler.java: 7176  clojure.lang.Compiler/eval
             Compiler.java: 7131  clojure.lang.Compiler/eval
                  core.clj: 3214  clojure.core/eval
                  core.clj: 3210  clojure.core/eval
    interruptible_eval.clj:   87  nrepl.middleware.interruptible-eval/evaluate/fn/fn
                  AFn.java:  152  clojure.lang.AFn/applyToHelper
                  AFn.java:  144  clojure.lang.AFn/applyTo
                  core.clj:  665  clojure.core/apply
                  core.clj: 1973  clojure.core/with-bindings*
                  core.clj: 1973  clojure.core/with-bindings*
               RestFn.java:  425  clojure.lang.RestFn/invoke
    interruptible_eval.clj:   87  nrepl.middleware.interruptible-eval/evaluate/fn
                  main.clj:  414  clojure.main/repl/read-eval-print/fn
                  main.clj:  414  clojure.main/repl/read-eval-print
                  main.clj:  435  clojure.main/repl/fn
                  main.clj:  435  clojure.main/repl
                  main.clj:  345  clojure.main/repl
               RestFn.java: 1523  clojure.lang.RestFn/invoke
    interruptible_eval.clj:   84  nrepl.middleware.interruptible-eval/evaluate
    interruptible_eval.clj:   56  nrepl.middleware.interruptible-eval/evaluate
    interruptible_eval.clj:  152  nrepl.middleware.interruptible-eval/interruptible-eval/fn/fn
                  AFn.java:   22  clojure.lang.AFn/run
               session.clj:  202  nrepl.middleware.session/session-exec/main-loop/fn
               session.clj:  201  nrepl.middleware.session/session-exec/main-loop
                  AFn.java:   22  clojure.lang.AFn/run
               Thread.java:  834  java.lang.Thread/run

1 答案

+1票
由

经过一番研究，我现在对该错误有了更深的理解。传递给 cl-format 的格式字符串可以包含零个或多个 指令。每个指令以 ~ 开头，以类似 % 或 a 或 s 等的调度字符结束。在 ~ 和调度字符之间可以找到一些间隔项，例如.keyCode: 或 @，按任意顺序，以及可能的参数，如 ~2,4f 或 ~3,-4s 或 ~3,-4:@s。: 和 @ 是布尔标志，用来传递给调度函数。

在我的情况下，我给了它 ~@ 然后是字符串的结尾，因此 cl-format 应该理想地检测到在调度字符之前已到达字符串的结尾。

以下是我在 Common Lisp 中得到的错误。

CL-USER> (format nil "~@")
error in FORMAT: String ended before directive was found
  ~@
  ^
   [Condition of type SB-FORMAT:FORMAT-ERROR]

Restarts:
 0: [RETRY] Retry SLIME REPL evaluation request.
 1: [*ABORT] Return to SLIME's top level.
 2: [ABORT] abort thread (#<THREAD "repl-thread" RUNNING {1004289BC3}>)

Backtrace:
  0: (SB-FORMAT::FORMAT-ERROR-AT* "~@" 0 "String ended before directive was found" NIL)
  1: (SB-FORMAT::FORMAT-ERROR-AT "~@" 0 "String ended before directive was found")
  2: ((FLET SB-FORMAT::GET-CHAR :IN SB-FORMAT::PARSE-DIRECTIVE))
  3: (SB-FORMAT::PARSE-DIRECTIVE "~@" 0 NIL)
  4: (SB-FORMAT::%TOKENIZE-CONTROL-STRING "~@" 0 2 NIL)
  5: (SB-FORMAT::TOKENIZE-CONTROL-STRING "~@")
  6: (SB-FORMAT::%FORMAT #<SB-IMPL::CHARACTER-STRING-OSTREAM {1004883B33}> "~@" NIL NIL)
  7: (FORMAT NIL "~@")
  8: (FORMAT NIL "~@") [more]
  9: (SB-INT:SIMPLE-EVAL-IN-LEXENV (FORMAT NIL "~@") #<NULL-LEXENV>)
 10: (EVAL (FORMAT NIL "~@"))
by
顺便说一下，看起来 `cl_format.clj` 中的 `compile-directive` 函数有代码来检测 `"Format string ended in the middle of a directive"` 并调用 `format-error` 来显示有意义的错误消息。不幸的是，Java 错误的到来似乎阻止了这段代码的执行。
by
edited by
我相信可以通过这个 `compile-directive` 函数的补丁来解决这个问题。注意，我使用了没有 `else` 的 `if` 习惯，这与前一位作者使用的大致相同。更改只是检查 `let` 中声明的 `directive` 是否为 `nil` 而不是字符。

```
(defn- compile-directive [s offset]
  (let [[raw-params [rest offset]] (extract-params s offset)
        [_ [rest offset flags]] (extract-flags rest offset)
        directive (first rest)
        def (if directive (get directive-table (Character/toUpperCase ^Character directive))))
       params (if def (map-params def (map translate-param raw-params) flags offset))]
    (if (not directive)
      (format-error "Format string ended in the middle of a directive" offset))
    (if (not def)
      (format-error (str "Directive \"" directive "\" is undefined") offset))
    [(struct compiled-directive ((:generator-fn def) params offset) def params offset)
     (let [remainder (subs rest 1)
           offset (inc offset)
           trim? (and (= \newline (:directive def))
                      (not (:colon params)))
           trim-count (if trim? (prefix-count remainder [\space \tab]) 0)
           remainder (subs remainder trim-count)
           offset (+ offset trim-count)]
       [remainder offset])]))
```

通过这个更改，我得到了一个有意义的错误消息，我认为这是原始作者的意图。

```
(cl-format nil "~:@")

在 nrepl.middleware.interruptible-eval/evaluate$fn$fn (interruptible_eval.clj:87) 处执行时发生错误。
格式字符串在指令中间结束
~:@
   ^

```
由
我尝试使用这个简单的补丁创建拉取请求。  然而，我发现该项目不接受拉取请求。  我尝试按照说明操作，但我承认我迷路了。
由
我已收到并记录了你的贡献协议，并已通过电子邮件邀请你加入jira。 我已在https://clojure.atlassian.net/browse/CLJ-2653提交了工单。 如果你喜欢，可以按照https://clojure.org/dev/developing_patches中的说明创建补丁。 谢谢！
由
这个补丁被拒绝了么？  我今天再次遇到了相同的问题，感觉Clojure 1.11.1的代码中仍然存在同一个bug。

我在我的补丁中可能犯了什么错误？   

有人可以帮助我吗？
由
我们还没看这个，很抱歉。
由
在我看来，这是一个非常低风险的修复。
由Cognitect代表Clojure社区维护
...