Common Lisp の package 管理名空间

在 Common Lisp 中，通过使用 package 来控制变量名冲突是一种常见的做法。Packages 提供了命名空间的功能，可以避免在不同的模块或库中出现同名的变量、函数或其他符号。

如何使用 Packages 控制变量名冲突

1. 定义 Package：
   使用 defpackage​ 定义一个新的包，并指定其外部依赖。

   (defpackage :my-package
     (:use :cl) ; 使用Common Lisp的基本包
     (:export :my-variable)) ; 导出变量
   

2. 使用 Package：
   在使用包中的符号之前，必须使用 in-package​ 进入该包。

   (in-package :my-package)
   

3. 定义变量：
   在包内定义变量时，使用 defvar​ 或 defparameter​。

   (defvar my-variable 42)
   

4. 访问其他包的符号：
   如果需要引用其他包的符号，可以使用 other-package:symbol​ 的格式。

   (defpackage :other-package
     (:use :cl)
     (:export :another-variable))
   
   (in-package :other-package)
   (defvar another-variable 24)
   
   (in-package :my-package)
   (print (other-package:another-variable))
   

5. 避免冲突：
   如果两个包中有同名的符号，使用 package:symbol​ 语法来明确指定使用哪个包中的符号。

示例代码

(defpackage :package-a
  (:use :cl)
  (:export :my-variable))

(defpackage :package-b
  (:use :cl)
  (:export :my-variable))

(in-package :package-a)
(defvar my-variable 10)

(in-package :package-b)
(defvar my-variable 20)

(in-package :package-a)
(format t "Value from package A: ~A~%" my-variable) ; 输出 10
(in-package :package-b)
(format t "Value from package B: ~A~%" my-variable) ; 输出 20

总结

通过使用 Packages，Common Lisp 允许你在不同的命名空间中定义同名的变量和函数，从而避免冲突。这种机制非常适合于组织大型程序或库。

(defpackage :package-a
(:use :cl)
(:export :my-symbol))

(defpackage :package-b
(:use :cl)
(:export :my-symbol))

(in-package :package-a)
(defvar my-symbol 42)

(in-package :package-b)
(defvar my-symbol 24)

(in-package :package-a)
(format t "Value from package A: _A%" (symbol-value 'package-a:my-symbol)) ; 输出 42

(in-package :package-b)
(format t "Value from package B: _A%" (symbol-value 'package-b:my-symbol)) ; 输出 24