公共LISP（SBCL）：从循环内返回值

前言：我目前正在学习一门简明课程，显然是用LISP教授的，我一生中从未使用过LISP，所以我不得不在一个周末学习这门语言。我为这个糟糕的代码提前道歉。我只是对LISP的语法非常熟悉，可以让代码正常工作，仅此而已

我目前正在开发一个解决地图着色问题的程序。此代码采用一个序列，其中每个子序列的第一个元素是状态，第二个元素表示颜色。例如：“A R B G C G D Y E B F B，然后检查以确保没有任何状态具有与约束列表定义的受约束状态相同的颜色。我知道可能有很多更干净、更简单的方法可以做到这一点，但我目前正在努力的是，只要满足if语句，我的dolist循环就会立即返回值T。到目前为止，我一直无法让函数简单地返回一个值，不得不求助于这种非常丑陋/错误的方法，将变量设置为true，然后等待循环完成，以使代码正常工作。我尝试过使用return并在if语句中使用T，但在这两种情况下，循环都会结束，而不是返回值，我不知道为什么

(setq constraint '((A (B C E)) (B (A E F)) (C (A E F)) (D (F)) (E (A B C F)) (F (B C D E))))

(defun check_constraint (f s)
    (setf ans nil)
    (dolist (state constraint)
        (if (eq (first state) f)
            (if (search (list s) (second state))
                (setf ans T) ;;where I want it to just return T
            )
        )
    )
    ans
)

;;ex: ((A R) (B R)  (C B)  (D R)  (E B)  (F G))
(defun check_conflict (lst)
    (setf anb nil)
    (dolist (state lst)
        (dolist (neighbor (remove state lst))
            (if (check_constraint (first state) (first neighbor))
                (if (eq (second state) (second neighbor))
                    (setf anb T)) ;;where I want it to just return T
            )
        )
    )
    anb
)

编辑：我最终只是用递归解决了这个问题。代码现在更干净了，但我仍然想知道我的问题是什么。这是递归代码

(setq constraint '((A (B C E)) (B (A E F)) (C (A E F)) (D (F)) (E (A B C F)) (F (B C D E))))

(defun check_constraint (lst f s)
    (COND
        ((null lst) nil)
        ((search (list (car (car lst))) f)
            (if (search s (second (car lst))) T))
        (t (check_constraint (cdr lst) f s))
    )
)

(defun check_neighbor (check lst)
    (COND
        ((null lst) nil)
        ((check_constraint constraint (list (car check)) (list (first (first lst))))
            (if (eq (second check) (second (car lst))) T))
        (t (check_neighbor check (cdr lst)))
    )
)

;;(check_state '((A R) (B R) (C B) (D R) (E B) (F G)))
(defun check_state (lst)
    (COND
        ((null lst) nil)
        ((check_neighbor (car lst) (cdr lst)) T)
        (t (check_state (cdr lst)))
    )
)

---

首先是一些风格问题。您应该使用来声明全局变量。它们的名字周围也应该有星号，以表明它们实际上是全局的或特殊的

(defparameter *constraint*
  '((A (B C E))
    (B (A E F))
    (C (A E F))
    (D (F))
    (E (A B C F))
    (F (B C D E))))

lisp命名事物的惯例是在单词之间使用破折号CHECK-CONSTRAINT，而不是CHECK\u CONSTRAINT。您还应该选择变量名的全字，而不是缩写列表，而不是LST。右括号不应写在自己的行上

然后是实际问题。可以使用从名为NIL的块返回值。循环建立这样一个块，因此您可以编写第一个函数，如

(defun check-constraint (first second)
  (dolist (state *constraint*)
    (when (and (eq first (first state))
               (member second (second state)))
      (return t))))

最好使用WHEN而不是IF，因为只有一个then分支。我还使用AND将两个IFs合并为一个IFs。由于您正在使用搜索将S包装在一个列表中，所以我想您可能希望使用MEMBER，尽管我不确定，因为我不知道代码应该做什么。如果它错了，你可以把它改回去

您可能还可以将其简化为

(defun check-constraint (first second)
  (member second (second (find first *constraint* :key #'first))))

在第二个函数中，有两个循环。如果使用RETURN从内部循环返回，则只需继续外部循环并忽略返回值。因此，您必须使用从函数返回，而不是从内部循环返回

(defun check-conflict (list)
  (dolist (state list)
    (dolist (neighbor (remove state list))
      (when (and (check-constraint (first state) (first neighbor))
                 (eq (second state) (second neighbor)))
        (return-from check-conflict t)))))

---

首先是一些风格问题。您应该使用来声明全局变量。它们的名字周围也应该有星号，以表明它们实际上是全局的或特殊的

(defparameter *constraint*
  '((A (B C E))
    (B (A E F))
    (C (A E F))
    (D (F))
    (E (A B C F))
    (F (B C D E))))

lisp命名事物的惯例是在单词之间使用破折号CHECK-CONSTRAINT，而不是CHECK\u CONSTRAINT。您还应该选择变量名的全字，而不是缩写列表，而不是LST。右括号不应写在自己的行上

然后是实际问题。可以使用从名为NIL的块返回值。循环建立这样一个块，因此您可以编写第一个函数，如

(defun check-constraint (first second)
  (dolist (state *constraint*)
    (when (and (eq first (first state))
               (member second (second state)))
      (return t))))

最好使用WHEN而不是IF，因为只有一个then分支。我还使用AND将两个IFs合并为一个IFs。由于您正在使用搜索将S包装在一个列表中，所以我想您可能希望使用MEMBER，尽管我不确定，因为我不知道代码应该做什么。如果它错了，你可以把它改回去

您可能还可以将其简化为

(defun check-constraint (first second)
  (member second (second (find first *constraint* :key #'first))))

在第二个函数中，有两个循环。如果使用RETURN从内部循环返回，则只需继续外部循环并忽略返回值。因此，您必须使用从函数返回，而不是从内部循环返回

(defun check-conflict (list)
  (dolist (state list)
    (dolist (neighbor (remove state list))
      (when (and (check-constraint (first state) (first neighbor))
                 (eq (second state) (second neighbor)))
        (return-from check-conflict t)))))

---

有很多口齿不清的方言，你不说哪一种。在大多数方言中，有一种特殊的返回形式，可以用来从更高层次的形式返回值。不幸的是，它适用于哪种形式是方言之间的不同之处之一。因此，在这一点上使用return T可以处理我所知道的大多数方言[你可以去掉vars ans和anb，在循环后使用NIL]。@MAP这是一种常见的lisp，尝试一下，我无法在SBCL中使用它。有很多lisp方言，你不知道是哪种。在大多数方言中，有一种特殊的返回形式，可以用来从更高层次的形式返回值。不幸的是，它适用于哪种形式是方言之间的不同之处之一。因此，在这一点上使用return T可以处理我所知道的大多数方言[你可以去掉vars ans和anb，在循环后使用NIL]。@MAP它是公共lisp，尝试一下，我无法让它在SBCL.T中工作

---

帽子太完美了！谢谢你花时间带我讨论一些风格问题。我一直在赶着尽快了解这一点，课程资源有点有限。这是非常翔实的。这是完美的！谢谢你花时间带我讨论一些风格问题。我一直在赶着尽快了解这一点，课程资源有点有限。这是非常有益的。