为什么在“dolist”表达式中插入“format”函数在 Common Lisp 中不起作用？

Question

我正在使用SBCL，EAMC和粘液。使用 print 函数，我可以做：

CL-USER> (dolist (item '(1 2 3))
           (print item))
1 
2 
3 
NIL

此外，格式函数适用于单个元素：

CL-USER> (format nil "~a" 1)
"1"

为什么以下插入格式函数 > dolist 不起作用？

CL-USER> (dolist (item '(1 2 3))
           (format nil "~a" item))
NIL

我期望看到格式函数处理列表的所有元素。

谢谢

Answer 1

答案是，格式的第一个参数表示格式化输出的目标。这可能是四件事之一：

• 输出进入的流；
• t 表示*标准输出*流的值；
• nil 导致格式 返回格式的输出而不是打印；
• 或带有填充指针的字符串，将输出附加到填充指针处的字符串。

因此，（格式nil ...）没有打印任何东西：返回的东西。

Answer 2

在这里，dolist打印了一个数字列表并返回零（因为默认情况下dolist返回零）。

(dolist (item '(1 2 3))
    (print item))

格式nil…创建一个字符串。但是Dolist返回了NIL，所以您什么也看不到。

您可以格式t…到标准输出，可以使用返回的dolist返回值，但是它返回并退出循环（因此不会处理每个元素）。

您可以将循环与收集一起返回某物：

(loop for item in '(1 2 3)
    collect (format nil "~a" item))
("1" "2" "3")

使用 do 也不会打印或返回任何东西。

Answer 3

有必要对格式函数进行小调整以具有相同的结果：

CL-USER> (dolist (item '(1 2 3))
           (format t "~a ~%" item))
1 
2 
3 
NIL