json - 为解析 JSON 字符串的递归调用获取正确的子序列

Question

我开始为大学作业编写下面的代码，其中包括在 Common Lisp 中解析 json 字符串。我现在面临的主要问题是获取正确的子字符串\子序列以继续递归调用并解析字符串的其余部分。基本上主要思想是递归检查整个字符串。按照给定的语法，输入字符串应该是:

    1) "{\"nome\" : \"arturo\" , \"cognome\" : \"durone\" , \"età\" : \"22\" , \"corso\" : \"informatica\"}"
    2) "{\"name\" : \"Zaphod\",\"heads\" : [[\"Head1\"], [\"Head2\"]]}"
    3) "{\"name\" : \"Zaphod\",{property:value, property : [1,2,3] }
    4) "[1,2,3]"

基本上我确实从字符串中删除了任何空格和任何\"得到一个干净的字符串 "{name:Zaphod,heads:[[Head1],[Head2]]}" ，在这里我检查':'的位置，得到0到((position ":")-1)的子序列，第二部分也一样，但是问题来了当我必须传递给递归调用时，因为我不知道如何传递字符串的正确索引。

我试图检查函数在输出中给我的新列表的任何元素的长度，但它不起作用/帮助，因为字符串被拆分并且没有空格和 \" 来自初始输入的字符。你能帮我找到一种方法来按照递归方法解析其余的 json 字符串吗？

> main function 
(defun j-obj (str) 
 (cond ((correct_form str)
        `(json-obj-aux(revome_braces (remove_backslash(remove_space str)))))))`

> aux function that thru a recursive call analize the whole string 
(defun json-obj-aux (str)
 (cond ((= (length str) 0)nil)
       ((cons (aux_control str)nil))))
            ;   (json-obj-aux (subseq (shorter str)(length (aux_control (shorter str)))
                                ;                          (length (shorter str))))))))
> check the whole string , splitting once it finds ":"
(defun aux_control (str) 
   (cons (subseq str 0 (search ":" str))(check_type (subseq str (+ (search ":" str) 1) (length str)))))

(defun check_type (str)
  (cond ((equal (subseq str 0 1) "{")(obj_c str))
        ((equal (subseq str 0 1) "[")(cons (obj_array (remove_braces str))nil))
        (t (cons (subseq str 0 (search "," str))nil))))


(defun obj_c (str)
 "{")

(defun obj_array (str)
  (cond ((= 0 (length str))nil)
        ((null (search "," str))(cons (subseq str (+ (search "[" str)1)(- (length str)1))nil))
        ((and (null (search "[" str))(null (search "," str)))(cons str nil))
        ((null (search "[" str))(cons (subseq str 0 (search "," str))
                                      (obj_array (subseq str (+ (search "," str) 1)))))
        ((cons (subseq str (+ (search "[" str) 1)(search "]" str))
              (obj_array (subseq str (+ (search "," str) 1)))))))

(defun remove_space (str)
 (cond ((= 0 (length str))nil)
       ((concatenate 'string (remove_aux str) (remove_space(subseq str 1))))))

(defun remove_aux (str)
 (cond ((equal (subseq str 0 1) " ")"")
       ((concatenate 'string (subseq str 0 1) ""))))


(defun remove_backslash (str)
  (cond ((= 0 (length str))nil)
        ((concatenate 'string (remove_slash str)(remove_backslash(subseq str 1))))))

(defun remove_slash (str)
  (cond ((equal (subseq str 0 1) "\"")"")
        ((concatenate 'string (subseq str 0 1) ""))))

(defun remove_braces (str)
  (subseq str 1 (- (length str) 1)))


(defun shorter (str)
  (subseq str 1 (length str)))

这是我到现在为止得到的，这并不是完全错误的，因为我可以解析部分 json 字符串。我无法真正解析的是整个原因，因为我不知道如何传递新子序列的正确索引:

    CL-USER 1 >  (j-obj "{\"name\" : \"Zaphod\",\"heads\" : [[\"Head1\"], [\"Head2\"]]}")
    (("name" "Zaphod"))


    CL-USER 2 > (j-obj "{\"heads\" : [[\"Head1\"], [\"Head2\"]]}")
    (("heads" ("Head1" "Head2")))

正确的输出应该是:

(("name" "Zaphod")("heads" ("Head1" "Head2")))

Answer 1

您不应从输入中删除有助于确定接下来会发生什么的字符。 {name:Zaphod,heads:[[Head1],[Head2]]} 不干净，它是无效的 JSON。 JSON 中的所有键必须是字符串，所有字符串都包含在 "" 中。 Head1 在 JSON 中不是有效的东西。

干净地执行此操作的一种方法是首先标记字符串:

"{\"name\" : \"Zaphod\",\"heads\" : [[\"Head1\"], [\"Head2\"]]}"

产量

{
"name"
:
"Zaphod"
,
"heads"
:
[
[
"Head1"
]
,
[
"Head2"
]
]
}

然后 parse-json 函数查看第一个标记:如果它是一个字符串，它会产生一个字符串；如果它是一个数字，它会产生一个数字；如果它是一个 bool 值，它会产生那个 bool 值； ...如果是{，它会调用parse-json-obj；如果它是一个 [，它调用 parse-json-array。

Parse-json-obj 重复调用 parse-key-value 直到下一个标记是 ，而不是 ， 。

Parse-key-value 解析字符串(否则出错)，然后是 :，然后调用 parse 获取值。

您可以通过将其余部分作为每个 parse* 函数的第二个值返回来跟踪您在标记列表中的位置。