如何在 common-lisp 的循环中执行两个或多个指令？

Question

我想知道这段代码有什么问题。假设 *corpus 是一个单词列表（“at” “the” ...），这段代码试图将它们保存在一个哈希表中（单词重复-单词）

(defparameter h (make-hash-table))
(defparameter ex 0)
(loop for x in *corpus
      do ((setf ex 0)
          (loop for y being the hash-keys of h
                if (equal x y) do ((incf (gethash y h)) (setf ex 1)))
                if (eql ex 0)
                do (setf (gethash x h) 1)))

如果单词在哈希表中，只需增加 1，否则添加一个新对。

Answer 1

你想迭代一个词库；对于每个单词 w，如果 w 映射到某个散列中的整数 n，您希望增加该数字以便 w 映射到 n+1；否则，您想将该词映射到 1。

基本上，你想这样做：

(defun increment-corpus (corpus hash)
  (map nil
       (lambda (word)
         (incf (gethash word hash 0)))
       corpus))

• 我正在使用MAP，以便可以遍历任何单词序列，而不仅仅是列表。

• MAP的result-type是NIL，因为我不关心结果，我只想做副作用。

• 应用的函数只是增加绑定到word 的当前值。请注意，GETHASH 提供了一个默认表单，以防没有值绑定到给定键。在这里，我只需要输入零，以便增量适用于所有情况。一开始我没看，但是来自 Terje D. 的this comment 已经说过了。

示例

(defparameter *hash* (make-hash-table :test #'equal))

(defun test (&rest words)
  (increment-corpus words *hash*)
  (maphash (lambda (&rest entry) (print entry)) *hash*))

哈希最初是空的。

> (test "a" "b" "c" "d")

("a" 1) 
("b" 1) 
("c" 1) 
("d" 1)

> (test "a")

("a" 2) 
("b" 1) 
("c" 1) 
("d" 1)

> (test "a" "b" "c" "x")

("a" 3) 
("b" 2) 
("c" 2) 
("d" 1) 
("x" 1) 

Answer 2

CL 中的块如下所示：

(progn
  expression1
  expression2
  ...
  expressionn); the result of the form is result of expressionn

这可以用于需要一个表达式的地方，因为一个块就是一个表达式。 In loop do 后面可以跟一种或多种复合形式（函数调用、宏调用、特殊形式……）：

(loop :for element :in list
      :do expression1
          expression2
          expression3)