语法感知的子字符串替换

Question

我有一个包含有效 Clojure 表单的字符串。我想替换其中的一部分，就像使用 assoc-in 一样，但将整个字符串处理为标记。

=> (assoc-in [:a [:b :c]] [1 0] :new)
[:a [:new :c]]
=> (assoc-in [:a 
                [:b,, :c]] [1 0] :new)
[:a [:new :c]]
=> (string-assoc-in "[:a 
                       [:b,, :c]]" [1 0] ":new")
"[:a 
   [:new,, :c]]"

我想写string-assoc-in。请注意，它的第一个和最后一个参数是字符串，并且保留换行符和逗号。在 Clojure 中可行吗？我发现的最接近的是read，它调用clojure.lang.LispReader，但我不知道如何工作。

我想用它来读取 Clojure 源文件并进行一些修改后显示它，同时保留文件的结构。

Answer 1

或者另一种选择是使用 ANTLR 到 将 Clojure 代码解析为 AST，然后转换 AST，然后导出回字符串。

Answer 2

我认为这应该可行，完全通用，不需要自己的阅读器/解析器：

(defn is-clojure-whitespace? [c]
  (or (Character/isSpace c)
      (= \, c)))

(defn whitespace-split
  "Returns a map of true -> (maximal contiguous substrings of s
  consisting of Clojure whitespace), false -> (as above, non-whitespace),
  :starts-on-whitespace? -> (whether s starts on whitespace)."
  [s]
  (if (empty? s)
    {}
    (assoc (group-by (comp is-clojure-whitespace? first)
                     (map (partial apply str)
                          (partition-by is-clojure-whitespace? s)))
      :starts-on-whitespace?
      (if (is-clojure-whitespace? (first s)) true false))))

(defn string-assoc-in [s coords subst]
  (let [{space-blocks true
         starts-on-whitespace? :starts-on-whitespace?}
        (whitespace-split s)
        s-obj (assoc-in (binding [*read-eval* false] (read-string s))
                        coords
                        (binding [*read-eval* false] (read-string subst)))
        {non-space-blocks false}
        (whitespace-split (pr-str s-obj))]
    (apply str
           (if starts-on-whitespace?
             (interleave space-blocks (concat non-space-blocks [nil]))
             (interleave non-space-blocks (concat space-blocks [nil]))))))

示例：

user> (string-assoc-in "[:a [:b,, :c]]" [1 0] ":new")
"[:a [:new,, :c]]"

更新：哎呀，发现了一个错误：

user> (string-assoc-in "[:a [:b,, :c\n]]" [1 0] ":new")
"[:a [:new,, :c]]\n"

如果不重要的话我会喜欢它，但我想我得尝试做点什么......叹气

Answer 3

您可以通过 (read-string) 和一些字符串操作的组合来完成此操作：

(defn string-assoc-in
  [a b c]
  (.replaceAll
    (str
     (assoc-in (read-string (.replaceAll a ",," ",_,")) b (read-string c)))
    " _ " ",, "))

user> (string-assoc-in "[:a [:b,, :c]]" [1 0] ":new")
"[:a [:new,, :c]]"

请注意，我们需要一个保留的占位符字符（在本例中为 _），您不希望在关键字中使用它。诀窍是，当读者正在处理向量字符串时，将这些 ,, 移开，然后将它们放回去。

该示例不涉及换行符，但我认为您可以以相同的方式处理这些换行符。

Answer 4

我假设您不想实际阅读表格并对其进行评估？ fnparse 有一个 Clojure 解析器（使用 fnparse 用 Clojure 编写）。您也许可以使用它从字符串到表单，然后进行操作，然后将其放回字符串？