初识incf

CL-USER> (setf x 10)
10
CL-USER> x
10
CL-USER> (incf x 5)
15
CL-USER> x
15
CL-USER> x
15
CL-USER> (incf x 7)
22
CL-USER> x
22
CL-USER>

所以(incf x 5)等价于(setf x (+ x 5))

CL-USER> (setf x (+ x 7))
29
CL-USER> x
29
CL-USER> (incf x)
30
CL-USER> (incf x)
31
CL-USER> (incf x)
32
CL-USER>

只有一个参数的时候相当于C语言里面的++操作符，相当于(setf x (+ x 1))