📗
elisp manual zh
  • LAND OF LISP
  • 引言
  • 进度 & 计划
  • 一些记录
  • Lisp 数据类型
    • 2 Lisp 数据类型
    • 2.1 打印表示 和 读取语法
    • 2.2 特定的读取语法
    • 2.3 注释
    • 2.4 编程类型
      • 2.4.1 整型
      • 2.4.2 浮点型
      • 2.4.3 字符型
        • 2.4.3.1 基本字符语法
        • 2.4.3.2 通用转义语法
        • Page 2
        • Page 3
        • Page 4
        • Page 1
      • 2.4.4 符号类型
      • 2.4.5 序列类型
      • 2.4.6 点对类型
        • 2.4.6.1 点对可视化
        • 2.4.6.2 点对记法
        • 2.4.6.3 关联列表
      • 2.4.7 数组类型
      • 2.4.8 字符串类型
        • 2.4.8.1 字符串的语法
        • 2.4.8.2 字符串中的非ASCII码
        • 2.4.8.3 不可打印字符
        • 2.4.8.4 字符串的文本属性
      • 2.4.9 向量类型
      • 2.4.10 字符表类型
      • 2.4.11 布尔向量类型
      • 2.4.12 哈希映射类型
      • 2.4.13 函数类型
      • 2.4.14 宏类型
      • 2.4.15 原函数类型
      • 2.4.16 字节码类型
      • 2.4.17 记录类型
      • 2.4.18 类型描述符
      • 2.4.19 自动加载类型
      • 2.4.20 终止类型
    • 2.5 编辑类型
      • 2.5.1 缓冲区变量
      • 2.5.2 标记类型
      • 2.5.3 窗口类型
      • 2.5.4 框架类型
      • 2.5.5 终端类型
      • 2.5.6 窗口配置类型
      • 2.5.7 框架配置类型
      • 2.5.8 进程类型
      • 2.5.9 线程类型
      • 2.5.10 互斥锁类型
      • 2.5.11 条件变量类型
      • 2.5.12 流类型
      • 2.5.13 按键映射类型
      • 2.5.14 覆盖类型
      • 2.5.15 字体类型
    • 2.6 循环结构对象
    • 2.7 类型谓语
    • 2.8 相等谓语
    • 2.9 可变性
  • 数字
    • 3.1 整型数
    • 3.2 浮点型基础
    • 3.3 谓词:数字相关
    • 3.4 数字比较
    • 3.5 数字类型转换
    • 3.6 数学变换
    • 3.7 取整
    • 3.8 位运算
    • 3.9 数学函数
    • 3.10 随机数
  • 字符串 和 字符
    • 4 字符串和字符
    • 4.1 字符串基础
    • 4.2 谓语:字符串相关
    • 4.3 创建字符串
    • 4.4 修改字符串
    • 4.5 字符串比较
    • 4.6 字符串转换
    • 4.7 字符串格式化
    • 自定义格式化
    • Case Conversion
    • Case Table
  • 列表
    • 5 列表
    • 5.1 列表与点对
    • 5.2 列表相关的谓词
    • 5.3 列表元素的存取
    • 5.4 列表与点对的构建
    • 5.5 列表变量的修改
    • 5.6 列表结构的修改
    • 5.7 列表和集合的使用
    • 5.8 关联列表 Association Lists (alist)
    • 5.9 属性列表 Property Lists (plist)
  • 序列, 数组, 和 向量
    • 6 序列、数组、以及向量
    • 6.1 序列
    • 6.2 数组
    • 6.3 数组相关函数
    • 6.4 向量
    • 6.5 向量相关函数
    • 6.6 字符表
    • 6.7 布尔向量
    • 6.8 大小固定的对象环的管理
  • 记录
    • 7 记录
    • 7.1记录相关函数
    • 7.2 向后兼容
  • 哈希表
    • 8 哈希表
    • 8.1 哈希表创建
    • 8.2 哈希表存取
    • 8.3 哈希表定制
    • 8.4 其他哈希表相关函数
  • 符号
    • 9 符号(3/4)
    • 9.1 符号的组成(DONE)
    • 9.2 定义符号(DONE)
    • 9.3 创建(Creating)并注册(Interning)符号(DONE)
    • 9.4 符号属性
      • 9.4.1 存取符号属性(DONE)
      • 9.4.2 标准符号属性
  • 求值
    • 10 求值(DONE)
    • 10.1 表达式类型(DONE)
      • 10.2.1 自求值表达式(DONE)
      • 10.2.2 符号表达式(DONE)
      • 10.2.3 列表表达式(DONE)
      • 10.2.4 函数符号转义(DONE)
      • 10.2.5 函数表达式求值(DONE)
      • 10.2.6 Lisp 宏求值(DONE)
      • 10.2.7 特殊表达式(DONE)
      • 10.2.8 自动加载(DONE)
    • 10.2 引用(Quoting)(DONE)
    • 10.3 反引用(DONE)
    • 10.4 Eval(求值)(DONE)
    • 10.5 延迟求值(DONE)
  • 控制结构
    • 11. 控制结构
    • 11.1 顺序执行(DONE)
    • 11.2 条件判断(DONE)
    • 11.3 条件组合结构(DONE)
    • 11.4 模式匹配(TODO)
    • 11.5 迭代(DONE)
    • 11.6 生成器(DONE)
    • 11.7 非局部退出
      • 11.7.1 显式非局部退出:catch 和 throw
      • 11.7.2 catch 和 throw 的例子
      • 11.7.3 错误
        • 11.7.3.1 如何传递出一个错误
        • 11.7.3.2 Emcas 的错误处理流程
        • 11.7.3.3 编写错误处理函数
        • 11.7.3.4 错误符号和条件名
      • 11.7.4 非局部退出后的清理工作
  • 变量
    • 12 变量
    • 12.1 全局变量
    • 12.2 常量变量
    • 12.3 局部变量
    • 12.4 无效(Void)变量
    • 12.5 定义全局变量
    • 12.6 定义变量的建议
    • 12.7 变量获取
    • 12.8 变量设置
    • 12.9 变量监视
      • 12.9.1 限制
    • 12.10 变量作用域规则
      • Untitled
      • 12.10.1 动态绑定
      • 12.10.2 动态绑定的建议
      • 12.10.3 词法绑定
      • 12.10.4 如何正确的使用词法绑定
    • 文件变量
    • 目录变量
    • 通信变量
    • 变量别名
    • 变量限制
    • 泛型变量
  • 函数
    • 13 函数
    • 13.1 函数是什么?(DONE)
    • 13.2 Lambda 表达式(WORKING)
      • 13.2.1 lambda表达式的组成部分
      • 13.2.2 一个简单的lambda表达式例子
      • 13.2.3 参数列表的特性
      • 13.2.4 函数的文档字符串
    • 13.3 函数命名
    • 13.4 函数定义
    • 13.5 函数调用
    • 13.6 函数映射式调用
    • 13.7 匿名函数
    • 13.8 泛型函数
    • 13.9 读取函数槽信息
    • 13.10 闭包
    • 13.11 Emacs Lisp 函数最佳实践
    • 13.12 声明废弃函数
    • 13.13 内联函数
    • 13.14 declare 表达式
    • 13.15 告知编译器某函数已定义
    • 13.16 函数安全调用
    • 13.17 有关函数的其他主题
  • 宏
    • Untitled
  • 自定义设置
  • 加载脚本
  • 字节码编译
  • 调试 Lisp 代码
  • 读取和打印
    • 19.1 读取与打印简介
    • 19.2 输入流
    • 19.3 输入函数
    • 19.4 输出流
    • 19.5 输出函数
    • 19.6 输出变量
  • Mini Buffer
  • Loop 循环
  • 按键绑定
  • Modes
  • 23.1 钩子
    • 23.1.1 运行钩子
    • 23.1.2 设置钩子
  • 23.2
  • Untitled
  • Untitled
  • Untitled
  • Untitled
  • 文档
    • Untitled
  • 文件访问
    • Untitled
  • 备份 及 自动保存
    • Untitled
  • Buffers
    • Untitled
  • 窗口
    • Untitled
  • 框架
    • Untitled
  • 位置
    • Untitled
  • 标记
    • Untitled
  • 文本
    • 32 文本
      • 32.1 位置点附近 (Near Point)
      • 32.2 缓冲区内容 (Buffer Contents)
  • 非 ASCII 字符
    • Untitled
  • 搜索 和 匹配
    • Untitled
  • 语法表
    • Untitled
  • 缩写 及 缩写拓展
    • 34 搜索 与 替换
      • 34.1 文本搜索
  • 进程
    • Untitled
  • 线程
    • Untitled
  • Emacs 显示
    • Untitled
  • 操作系统接口
    • Untitled
  • 标准错误
    • Untitled
  • 标准按键映射
    • Untitled
  • 标准 Hooks
    • Untitled
  • Tip & Conventions
    • Untitled
  • 索引
    • Untitled
  • 附录
    • Untitled
    • 附录 H: 标准钩子
由 GitBook 提供支持
在本页

这有帮助吗?

  1. 求值
  2. 10.1 表达式类型(DONE)

10.2.4 函数符号转义(DONE)

对于第一个元素为符号的非空列表,Lisp 解释器会先检查该符号的函数cell,然后用该cell的内容去求值。若该cell内容是另一个符号,那么 Lisp 会递归的检查此符号的函数cell,直到查找到一个非符号定义。这个过程称为函数符号转义(symbol function indirection)。查阅 函数名称 章节,以获取更多 函数符号转义 相关的信息。

很显然存在一种可能,即其转义序列是一个无穷的循环,这种情况下,符号的函数cell指回自身。除此之外,我们最终都会得到一个非符号定义,而这个非符号定义应当是函数,或其他合理的对象。

更具体的说,我们最终应当获取一个 Lisp 函数(lambda 表达式) ,或字节码函数,或基础函数,或 Lisp 宏,或 特殊表达式,或自动加载对象。以上列举的美中情况都会在后续章节介绍。如果获得的对象不是上面中列举的对象,Emacs 则会抛出 invalid-function 错误。

下面的例子展示了符号转义的过程。我们首先用 fset 设置符号的 函数cell,再用 symbol-function 来获取该函数 cell 的内容(具体查阅 Function Cells)。再具体一些,我们将符号 car 储存进 first 的函数cell,然后将符号 first 储存进 erste 的函数cell。

;; Build this function cell linkage:
;;   -------------       -----        -------        -------
;;  | #<subr car> | <-- | car |  <-- | first |  <-- | erste |
;;   -------------       -----        -------        -------
(symbol-function 'car)
     ⇒ #<subr car>
(fset 'first 'car)
     ⇒ car
(fset 'erste 'first)
     ⇒ first
(erste '(1 2 3))   ; Call the function referenced by erste.
     ⇒ 1

下面的例子不使用符号转义即可完成函数调用,因为其第一个元素是一个 Lisp 匿名函数,而非一个符号。

((lambda (arg) (erste arg))
 '(1 2 3))
     ⇒ 1

执行一个函数意味着对函数的body部分求值;这个例子里,其body部分使用了ersta的函数符号转义。

这种形式的写法已经很少用了,现在已经被废弃。替代的,你应该这么写:

(funcall (lambda (arg) (erste arg))
         '(1 2 3))

或者直接这么写

(let ((arg '(1 2 3))) (erste arg))

内置函数 indirect-function 提供了一个简单的方式,去显示地指向函数符号转义。

Function: indirect-function function &optional noerror

该函数返回 function 的定义。如果 function 是 一个 符号,那么会继续查找函数的定义,直到找到一个值。如果 function 并不是一个符号,那么返回 function 本身。

如果递归的最终符号没有绑定,那么该符号会返回 nil。如果其符号转义链是循环的,则会抛出 cyclic-function-indirection 错误。

可选参数 noerror 已经废弃,这里是为了保持向后兼容。

这里是一个简略的 indirect-function 定义:

(defun indirect-function (function)
  (if (symbolp function)
      (indirect-function (symbol-function function))
    function))
上一页10.2.3 列表表达式(DONE)下一页10.2.5 函数表达式求值(DONE)

最后更新于2年前

这有帮助吗?