是为地图附加身份功能吗？

Question

在做一些测试时，我注意到append 在使用map 时总是给我与输入相同的输出：

#lang sicp
(map append '(1 2 3 4 5))
(map (lambda (x) x) '(1 2 3 4 5))
; (1 2 3 4 5)
; (1 2 3 4 5)

(map append '((1 2)(3 4)))
(map (lambda (x) x) '((1 2)(3 4)))
; ((1 2) (3 4))
; ((1 2) (3 4))

这对我来说似乎很整洁/出乎意料。事实是这样吗？如果是这样，append 如何提供身份属性？

Answer 1

append 过程采用零个或多个 列表参数，最后一个参数 可以是任何对象。当最后一个参数是一个列表时，追加的结果是一个正确的列表。当最后一个参数不是列表，但已经提供了其他列表参数时，结果是一个不正确的列表。当只提供一个参数时，它只是被返回。这种带有一个参数的行为正是身份过程的行为。

> (append '(1 2) '(3))
(1 2 3)
> (append '(1 2) 3)
(1 2 . 3)
> (append '(1 2))
(1 2)
> (append 3)
3

调用(map append '(1 2 3 4 5))相当于：

> (list (append 1)
        (append 2)
        (append 3)
        (append 4)
        (append 5))
(1 2 3 4 5)

这里，append 只是作为一个身份过程，如上所述。