1 历史与背景

1.1 Emacs编辑器的发展

1.1.1 原始Emacs与Lisp的渊源

Emacs的起源可以追溯到20世纪70年代，最初由理查德·斯托曼（Richard Stallman）在MIT人工智能实验室开发。早期的Emacs（“Editing Macros”）本质上是一组TECO宏，用于增强文本编辑功能。然而，TECO的语法晦涩难懂，很快就被认为是“写一次，读不懂”的典型代表。斯托曼意识到，若要让编辑器真正可扩展，必须采用一种更强大、更一致的语言。Lisp家族凭借其优雅的父表达式（S-表达式）和强大的宏能力，成为天然的选择。1976年，斯托曼在PDP-10计算机上编写了第一个用Lisp实现的Emacs——这正是Emacs Lisp的祖先。

1.2 Emacs Lisp的诞生与标准化

随着GNU Emacs项目的启动（1984年），斯托曼及其团队决定为Emacs量身定制一个Lisp方言，即Emacs Lisp。它于1985年随GNU Emacs 13正式发布。Emacs Lisp并非从头开始设计，而是从MacLisp和Lisp Machine Lisp中汲取灵感，并针对编辑器场景做了大量优化（如缓冲区、窗口、进程等内置数据类型）。此后，Emacs Lisp经历了多次修订，但始终保持着向后兼容性。1990年代，它成为自由软件基金会（FSF）认可的官方扩展语言，并随着Emacs版本的迭代逐步稳定。

1.3 与Common Lisp的关系

Emacs Lisp与Common Lisp（CL）是远亲关系。两者都源自MacLisp，但朝着不同方向演化。Common Lisp是通用编程语言，追求工业级特性（如CLOS、条件系统、完整数值塔）；而Emacs Lisp则专注于编辑器扩展，牺牲了部分通用性以换取轻量和与Emacs运行时的深度融合。例如，Emacs Lisp没有Common Lisp的loop宏和format控制字符串的丰富性，但它拥有独特的缓冲区编辑函数（如insert、delete-region）和交互式命令定义机制（interactive）。尽管如此，Emacs Lisp社区也通过库（如cl-lib）兼容了Common Lisp的部分功能，让Elisp程序员能在自己熟悉的双圆括号世界中享受类似CL的便利。

2 语言特性

2.1 基本语法

2.1.1 括号表达式与S-表达式

Emacs Lisp的语法完全基于S-表达式（符号表达式）。一个S-表达式可以是一个原子（atom）或者一个列表（list）。列表由一对括号包围，其元素可以是原子或嵌套列表。例如：

(+ 1 2)        ; 一个调用加法函数的列表
(if (> x 3) 'yes 'no)  ; 条件表达式

每个列表的第一个元素通常被求值为函数或宏，其余元素作为参数。这种前缀表示法（波兰表示法）是Lisp家族的标志。括号不仅用于分组，还定义了代码的结构——这使得Emacs Lisp的语法解析器异常简单，但也让新手常因漏掉一个右括号而陷入括号地狱。

2.1.2 原子、列表与点对

  • 原子：数字（42、3.14）、字符串（"hello"）、符号（t、nil、my-variable）和字符（?a）等。
  • 列表：由零个或多个元素组成，用圆括号表示。空列表写作(), 也是原子nil的另一种写法。
  • 点对（cons cell）：一对值，用点分隔，如(1 . 2)。列表本质上是由点对串联而成的链表。例如，(1 2 3)等价于(1 . (2 . (3 . nil)))。点对在构建关联表（alist）时非常有用，但在日常编辑中很少直接出现。

2.2 数据类型

2.2.1 符号与变量

符号（symbol）是Emacs Lisp中最重要的数据类型。一个符号就是一个名字，可以绑定到值（作为变量）、函数、宏或属性列表。符号的命名通常由字母、数字和连字符组成（例如forward-word）。变量就是符号的值绑定，可通过setq赋值。注意：t代表真，nil代表假和空列表，两者都是符号。

(setq my-name "Alice")  ;; 变量 my-name 被赋值为 "Alice"

2.2.2 缓冲区与标记

  • 缓冲区（buffer）：Emacs的基本文本容器。每个缓冲区有唯一的名称，包含文本、点（point）和标记（mark）。点表示当前编辑位置，标记则是一个可移动的锚点。Emacs Lisp提供了大量函数来操作缓冲区内容（如insert、delete-region、goto-char）。
  • 标记（marker）：指向缓冲区中特定位置的指针，即使缓冲区内容发生变化也能保持位置（如果未被删除）。标记常与“区域”（region）概念配合使用，即点与标记之间的文本。

2.2.3 进程与窗口对象

  • 进程（process）：表示与外部子进程的通信通道。Emacs可以启动、发送数据、接收输出，并异步管理进程状态。例如(start-process "my-proc" nil "ls" "-la")。
  • 窗口（window）：显示缓冲区的一部分（或整个缓冲区）的视口。窗口隶属于帧（frame，即图形界面下的一个窗口）。Emacs Lisp可精细控制窗口的拆分、大小、焦点等，例如(split-window-right)。

2.3 控制结构

2.3.1 条件与分支

Emacs Lisp提供传统的if、cond、when、unless等宏。if形式如下：

(if condition
    then-expr
  else-expr)

cond则支持多分支：

(cond
 ((> x 10) 'big)
 ((= x 10) 'exact)
 (t 'small))

注意，t在此作为默认分支的条件。

2.3.2 递归与迭代

Lisp传统上推崇递归，Emacs Lisp也不例外。但Emacs运行时对递归深度有限制（可通过max-lisp-eval-depth调整），因此在实际编辑中更常用迭代结构。

2.3.2.1 while循环与dolist

while是最基本的迭代形式：

(setq i 0)
(while (< i 10)
  (message "i = %d" i)
  (setq i (1+ i)))

dolist用于遍历列表，更为优雅：

(dolist (item '(apple banana cherry))
  (message "Got %s" item))

Emacs Lisp还提供dotimes、dolist以及Common Lisp兼容的loop宏（需加载cl-lib）。

2.4 函数与宏

2.4.1 定义函数与匿名函数

使用defun定义命名函数：

(defun my-add (a b)
  "返回A与B的和。"
  (+ a b))

匿名函数（lambda）用lambda构造：

(setq my-func (lambda (x) (* x x)))
(funcall my-func 5)  ;; 25

函数调用时，Emacs将实参按值传递（但列表等复合对象按引用传递，需注意副作用）。

2.4.2 宏系统与代码生成

宏（macro）是Emacs Lisp强大的元编程工具。宏接受未求值的S-表达式，并生成新的代码片段，然后在编译或求值时替换。定义宏使用defmacro：

(defmacro when (condition &rest body)
  "如果CONDITION非nil，执行BODY。"
  (list 'if condition (cons 'progn body)))

宏常用于简化重复模式，例如Emacs的内置宏如save-excursion、with-temp-buffer等。注意：宏会捕获作用域，写宏时需注意变量捕获问题（“卫生”宏在Emacs Lisp中没有内建支持，但可通过gensym等技巧解决）。

2.5 作用域与求值

2.5.1 动态作用域与词法作用域

在Emacs 24之前，Emacs Lisp默认采用动态作用域（动态绑定）。这意味着变量的绑定由调用链决定，而非定义时的词法环境。这曾导致了许多难以追踪的bug。自Emacs 24起，词法作用域（lexical binding）成为可选特性，通过文件局部变量-*- lexical-binding: t -*-启用。词法作用域更符合现代编程语言习惯，使代码更可预测。当前，多数新包都启用词法绑定，但许多内置代码仍保持动态作用域以实现某些历史Tricks。

2.5.2 符号的let绑定与setq

let用于创建局部变量：

(let ((x 10) (y 20))
  (+ x y))

在词法作用域下，let创建的变量仅在let块内有效。setq用于给已存在的变量（包括全局变量）赋值。注意：setq不会创建新变量——如果变量未定义，会在动态作用域中创建一个全局变量（在词法模式下则会报错）。因此，通常使用defvar或defcustom显式声明全局变量。

3 核心功能与API

3.1 缓冲区操作

3.1.1 插入、删除与替换文本

  • insert "text"：在点位置插入字符串。
  • delete-region START END：删除指定区域。
  • replace-string "old" "new"：全局替换。
  • save-excursion：保存当前点和标记，执行代码后再恢复。

示例：

(with-current-buffer "*scratch*"
  (goto-char (point-max))
  (insert "\nHello, Elisp!"))

3.1.2 遍历缓冲区与正则表达式

Emacs Lisp提供丰富的正则表达式函数，如re-search-forward、string-match、replace-regexp-in-string。遍历缓冲区的常用模式：

(save-excursion
  (goto-char (point-min))
  (while (re-search-forward "\\<foo\\>" nil t)
    (replace-match "bar")))

此外，point、point-min、point-max等函数用于定位。

3.2 窗口与帧管理

窗口操作函数包括split-window-right、delete-window、other-window等。帧管理函数如make-frame、select-frame、frame-parameter。一个典型场景：在右侧打开一个新窗口显示帮助：

(progn
  (select-window (split-window-right))
  (display-buffer (get-buffer "*Help*")))

3.3 用户交互

3.3.1 模式与钩子

  • 主模式（major mode）：决定当前缓冲区的编辑行为（如text-mode、python-mode）。通过(setq major-mode 'text-mode)切换。
  • 次模式（minor mode）：叠加在主模式上的附加特性（如auto-fill-mode、flyspell-mode）。
  • 钩子（hook）：变量名以-hook结尾，用户可通过add-hook在事件发生时运行自定义函数。例如：
(add-hook 'text-mode-hook 'turn-on-auto-fill)

3.3.2 键盘宏与交互式命令

  • 键盘宏：记录一系列按键，可重复播放。用F3开始录制，F4结束并播放。
  • 交互式命令：通过defun配合(interactive ...)声明。例如：
(defun my-hello ()
  "提示用户输入名字并问候。"
  (interactive "sWhat is your name? ")
  (message "Hello, %s!" name))

这样，用户可通过M-x my-hello执行命令，并看到提示。

3.4 进程与外部系统

3.4.1 子进程的启动与控制

使用start-process启动一个异步进程：

(let ((proc (start-process "ping" "*ping*" "ping" "-c" "4" "google.com")))
  (set-process-sentinel proc
                        (lambda (proc event)
                          (message "Process %s: %s" (process-name proc) event))))

同步进程可使用call-process或shell-command-to-string。

3.4.2 网络与文件I/O

Emacs Lisp支持网络连接（open-network-stream）、文件读写（write-region、insert-file-contents）以及目录操作（directory-files、dired）。例如，读取文件内容：

(insert-file-contents "~/.emacs")

4 开发与调试

4.1 编辑与执行环境

4.1.1 *scratch*缓冲区与ielm解释器

  • *scratch*缓冲区是Emacs启动时默认打开的临时缓冲区，适合测试Elisp代码。在*scratch*中，键入表达式后按C-j求值。
  • ielm（Inferior Emacs Lisp Mode）提供了一个交互式REPL，通过M-x ielm启动。它支持历史、补全和更好的反馈，是调试和实验的利器。

4.2 调试工具

4.2.1 Edebug与调试器

Edebug是Emacs Lisp内置的源码级调试器。通过M-x edebug-defun或C-u C-M-x可以启用。执行到断点时，可用SPC单步、g继续、q退出。它支持条件断点、显示局部变量等功能，是排查逻辑错误的必备工具。

4.2.2 错误处理与condition-case

使用condition-case捕获异常：

(condition-case err
    (progn
      (/ 1 0)
      "success")
  (arith-error (format "算术错误: %s" err))
  (error (format "其他错误: %s" err)))

此外，(error "msg")手动抛出错误，(signal 'my-error nil)自定义错误类型。

4.3 性能优化

4.3.1 字节编译

字节编译将Elisp源文件（.el）转换成字节码文件（.elc）。字节码体积小、加载快（约提速2~4倍）。使用M-x byte-compile-file或命令行的emacs -batch -f batch-byte-compile。注意：字节编译并不保证执行速度大幅提升（尤其对于IO密集型任务），但显著减少加载时间。

4.3.2 热加载与增量编译（native-comp）

  • 热加载：Emacs可以在不重启的情况下重新加载单个文件（M-x load-file或M-x recompile），但需注意符号的重新定义可能带来微妙问题。
  • native-comp（原生编译）：自Emacs 28起，基于libgccjit的后端可将Elisp编译成机器码，显著提升执行速度（可达5~10倍）。用户可通过M-x emacs-lisp-native-compile触发，或在init.el中设置(setq native-comp-deferred-compilation t)。

5 包生态系统

5.1 包管理机制

5.1.1 ELPA与package.el

ELPA（Emacs Lisp Package Archive）是官方包仓库，地址为https://elpa.gnu.org/。Emacs自带的package.el是内置包管理器，通过M-x list-packages浏览、安装、更新包。用户可添加更多仓库源。

5.1.2 MELPA与Marmalade

  • MELPA（Milkypostman&#039;s Emacs Lisp Package Archive）是目前最大的第三方仓库，拥有数千个包。它有稳定版（stable）和滚动版（melpa）两个分支。
  • Marmalade：曾经的社区仓库，现已基本停止维护。绝大多数用户转而使用MELPA。

用户可在init.el中添加：

(require 'package)
(add-to-list 'package-archives
             '("melpa" . "https://melpa.org/packages/") t)
(package-initialize)

5.2 著名扩展包

5.2.1 helm与completing-read替代

helm（现已有consult等更现代替代）是一个增量搜索和补全框架。它接管了Emacs的completing-read，使选择文件、命令、符号等变得快速且高效。用户可通过M-x helm-M-x调用命令，C-x C-f自动使用Helm补全。不过，helm较重，轻量用户可选ivy或vertico。

5.2.2 magit（Git集成）

magit被誉为“史上最好的Git客户端”。它提供直观的缓冲区显示状态、暂存、提交、分支、历史等操作。用户只需在Git仓库中M-x magit-status，即可在一个窗口中完成几乎所有Git操作（s暂存、c提交、l日志等）。它的交互设计让学生党、职业程序员甚至猫都能轻松管理版本。

5.2.3 org-mode（笔记与任务管理）

org-mode是Emacs杀手级应用，用于笔记、待办事项、项目管理、写作甚至科学计算。其纯文本格式（* 标题、- 列表、[ ] 复选框）可导出为HTML、PDF、LaTeX等。Emacs用户常把整个生活计划写在org文件里，然后对着M-x org-agenda傻笑。

5.3 书写可分发包

5.3.1 文件结构与provide

一个Eloquent Elisp包通常包含：

;;; my-package.el --- 简短描述 -*- lexical-binding: t; -*-

;;; Commentary:

;; 更长说明...

;;; Code:
;; ... 实现 ...

(provide 'my-package)
;;; my-package.el ends here

provide让(require 'my-package)能正确加载。

5.3.2 文档注释与;;; Commentary:

  • 文件头部;;;开始的注释是文档，会被M-x describe-package读取。
  • Commentary:部分提供用法概要。
  • 每个函数前应写文档字符串：(defun foo () "文档" ...)。
  • 变量用defcustom而非defvar可提供自定义接口。

6 学习资源与社区

6.1 官方文档与手册

6.1.1 info节点与Emacs Lisp Reference

在Emacs内部，通过C-h i打开Info浏览器，然后选择Emacs Lisp Intro（入门）或Emacs Lisp Reference（参考手册）。这些文档详尽、权威，是学习的首选。也可在线访问GNU官网。例如，输入info "(elisp) Introduction"可直达引言。

6.2 经典书籍与教程

6.2.1 《An Introduction to Programming in Emacs Lisp》

这本书（又称“Elisp入门”）是自由软件基金会发布的免费电子书，适合编程新手。它以逐步教学方式讲解Elisp，并始终与Emacs编辑器操作结合。许多早期Emacs用户就是靠着这份文档从键盘菜鸟变成了括号艺术家。

6.3 社区论坛与贡献指南

  • GNU Emacs邮件列表：help-gnu-emacs@gnu.org用于求助，emacs-devel@gnu.org供开发者讨论。
  • Reddit：/r/emacs和/r/orgmode是活跃的英语社区，常有“分享.emacs”标签。
  • Emacs China：中文用户聚集的社区（emacs-china.org），讨论中文文档和配置。
  • Stack Overflow：标签[elisp]可找到大量具体问题的解答。
  • 贡献指南：FSF要求贡献者签署版权协议（如给Emacs核心补丁），但对于第三方包，只需遵守GPL许可证即可。社区欢迎任何改进，哪怕是修复一个括号错位。