在 Lisp 编程中，函数定义的核心机制是通过 defun（Define Function）特殊形式实现的。所谓的"命令行函数"通常指在 REPL（读取 - 求值 - 输出循环）环境中直接定义并立即调用的顶层函数。括号内的代码遵循 S-表达式（S-expression） 结构，其中外层括号界定作用域，内部元素按"操作符 + 操作数"的顺序排列 。
1. 函数定义的标准语法结构
Lisp 使用 defun 来命名并定义一个函数块。其标准模板如下：
lisp
(defun 函数名 (参数列表)
"可选的文档字符串"
;; 函数体：由一个或多个表达式组成
表达式 1
表达式 2
...)| 组成部分 | 说明 | 示例内容 |
|---|---|---|
| defun | 定义函数的关键字（特殊操作符），告诉编译器后续内容是函数定义 。 | defun |
| 函数名 | 符号（Symbol），用于后续调用该函数。遵循命名规范（如使用连字符 my-function）。 |
calculate-area |
| 参数列表 | 用括号包裹的变量名列表，接收调用时传入的值。若无形参则用 () 表示 。 |
(width height) |
| 文档字符串 | (可选) 位于参数后、函数体前的字符串，用于描述函数功能，可通过 (documentation 'func 'function) 查看 。 |
"计算矩形面积" |
| 函数体 | 一系列 Lisp 表达式。最后一个表达式的求值结果将作为函数的返回值 。 | (* width height) |
2. 括号内代码的深度解析
用户提到的"括号里的代码"，在 Lisp 中被称为 S-表达式。理解其含义需掌握以下三个核心逻辑：
- 统一的前缀表示法 ：
括号内的第一个元素永远是操作符 （可以是内置运算符如+，也可以是自定义函数名），后续元素是操作数 （参数）。这与数学中的a + b不同，Lisp 写作(+ a b)。 - 代码即数据（Homoiconicity） ：
Lisp 的代码结构本身就是链表数据结构。括号不仅代表运算优先级，更代表了数据的嵌套层级。解释器读取括号内的列表，将其第一个元素视为函数，其余元素作为参数传递给该函数 。 - 求值顺序 ：
Lisp 采用应用序求值（Applicative Order）。在执行外层函数前，会先递归地求出括号内所有子表达式的值 。
代码示例与逐行解析
以下代码展示了如何定义一个处理命令行输入的函数，并详细注释了括号内每一部分的含义：
lisp
;; 定义一个名为 greet-user 的函数
;; 格式：(defun 函数名 (参数) 文档字符串 函数体)
(defun greet-user (name count)
"接收用户名和次数，打印问候语并返回总字符数" ;; <- 文档字符串，解释函数用途
;; 函数体开始
;; 1. 定义局部变量 message，值为拼接后的字符串
;; (concatenate 'string ...) 是字符串拼接函数
;; "Hello, " 是字面量
;; name 是传入的参数变量
(let ((message (concatenate 'string "Hello, " name)))
;; 2. 循环打印 count 次
;; (dotimes (var count) body) 是循环宏
;; var 是循环变量 (此处用 i 接收，但未使用) (dotimes (i count)
;; print 是副作用函数，输出内容到命令行
(print message)) ;; 3. 返回值：计算消息长度乘以次数
;; 这是函数体的最后一个表达式，其结果即为函数返回值
(* (length message) count))
;; let 块结束，隐含闭合 ) ;; defun 结束
;; --- 命令行调用示例 ---
;;调用上述函数：
;; (greet-user "Lisper" 3)
;; 执行逻辑推导：
;; 1. 实参 "Lisper" 绑定给 name, 3 绑定给 count
;; 2. 构造 message = "Hello, Lisper"
;; 3. 循环 3 次打印 "Hello, Lisper"
;; 4. 返回 (* 133) => 393. 常见括号结构模式解析
在阅读 Lisp 代码时，识别括号的嵌套模式是理解逻辑的关键：
| 括号模式 | 结构含义 | 典型场景 |
|---|---|---|
(op arg1 arg2) |
函数调用 ：执行 op 函数，传入 arg1 和 arg2 的值 。 |
(+ 1 2), (print x) |
(let ((var val)) ...) |
局部作用域 ：在括号内创建临时变量 var，仅在 let 的括号范围内有效 。 |
避免全局变量污染 |
'(item1 item2) |
数据列表 ：前面的单引号 ' 阻止求值，表示这是一个纯数据列表，而非函数调用 。 |
定义配置表、常量集 |
(cond (test1 res1) ...) |
条件分支 ：类似 switch/if-else，依次测试 test，返回第一个为真的 res 。 |
复杂逻辑判断 |
在 Lisp 的命令行（REPL）中定义函数时，需注意以下特性：
- 即时生效 ：一旦按下回车完成
defun的输入，函数立即被编译/解释并加载到当前环境中，无需重启程序即可调用 。 - 多行输入处理 ：如果括号未闭合，Lisp 解释器不会报错，而是显示续行提示符（如
->或...），等待用户输入剩余的右括号。这是检测括号匹配错误的直接信号 。 - 匿名函数（Lambda） ：若不需要命名，可直接在命令行使用
(lambda (params) body)定义匿名函数，常作为参数传递给高阶函数（如mapcar）。
lisp
;; 匿名函数示例：直接在命令行作为参数传递
;; 将列表 (1 2 3) 中的每个元素加 10
;; #'(lambda (x) (+ x 10)) 创建一个匿名函数对象
(mapcar #'(lambda (x) (+ x 10)) '(1 2 3))
;; 输出结果：(11 12 13)