Lisp转二进制函数中使用全局变量是否需规避？替代方案有哪些？

全局变量是不是禁忌？ #

不是绝对禁忌，但在你这种纯计算型函数里用是严重的坏实践，原因如下：

• 函数会污染全局状态：第一次调用后lis会保留上次的结果，第二次调用如果不手动清空lis，输出直接错误。
• 破坏函数的引用透明性：输出不再只由输入决定，调试、测试、复用都变得麻烦。
• 违背函数式编程的核心思路：这种简单计算完全没必要引入副作用。

所以这类场景里，全局变量必须换掉。

替代实现方案 #

方案1：内部辅助函数+累加参数（高效推荐） #

用labels定义内部辅助函数，通过累加参数存储中间结果，用cons构建列表（比你原代码的append高效得多，append每次需要遍历整个列表），最后反转得到正确顺序：

(defun make-binary (x &optional (bits 8))
  (labels ((helper (num remaining acc)
             (if (< remaining 0)
                 (reverse acc)
                 (let ((power (expt 2 remaining)))
                   (if (<= power num)
                       (helper (- num power) (1- remaining) (cons 1 acc))
                       (helper num (1- remaining) (cons 0 acc)))))))
    (helper x bits '())))

方案2：直接递归构建列表（逻辑直观） #

如果不想写内部函数，也可以直接递归拼接列表，虽然效率略低，但逻辑容易理解：

(defun make-binary (x &optional (bits 8))
  (if (< bits 0)
      '()
      (let ((power (expt 2 bits)))
        (if (<= power x)
            (cons 1 (make-binary (- x power) (1- bits)))
            (cons 0 (make-binary x (1- bits)))))))

方案3：位运算+循环（最简洁高效） #

利用Lisp内置的logbitp直接检查指定位是否为1，配合loop生成列表，代码最短、性能最优：

(defun make-binary (x &optional (bits 8))
  (loop for i from bits downto 0
        collect (if (logbitp i x) 1 0)))

测试验证 #

调用(make-binary 10)，三种方案都会返回(0 0 0 0 1 0 1 0)，且无论调用多少次，结果都一致，不存在任何副作用。

内容的提问来源于stack exchange，提问作者Mattias Smedstad