在测试包中访问包的内部符号

Question

我有一个程序，我想使用证明进行测试。目前，我有一个单独的测试包。我面临的问题是我真的不想从主包中导出每个符号（我目前只导出一个），但我希望能够访问测试包中的所有内容。

使用main-package::symbol 可以，但我猜这很丑而且是个坏主意。有没有更好的方法来做到这一点，而不必为了测试它们而导出我的所有符号？我考虑过使用相同的包来编写测试，但是当我只将它用于测试代码时，我不想在我的主包中有一个(:use :prove)。有什么方法可以做类似(:use :package) 的事情，但只针对一个文件？如果有，在这里使用它是否有意义？

Answer 1

您可以将测试分离到它们自己的系统中。这样，您的主系统将完全不依赖于证明。在测试系统中，您可以加载相同的源文件，但不同的包定义（这当然假设您将包定义放在不同的文件中，而不是使用将它们放在源文件顶部的奇怪习惯......） .

例如，主程序可能如下所示：

foo.asd:

;; Here I'm obviously putting the package def in the same file
(in-package :cl-user)
(defpackage :foo-asd
  (:use :cl :asdf))
(in-package :foo-asd)

(defsystem "foo"
  :components ((:file "foo-package")
               (:file "foo")))

foo-package.lisp:

(in-package :cl-user)
(defpackage :foo
  (:use :cl)
  (:export :foo))

foo.lisp:

(in-package :foo)

(defun foo (x)
  (+ (bar x)
     (bar x)))

(defun bar (x)
  (* x x))

和测试系统在同一目录下：

foo-test.asd:

(in-package :cl-user)
(defpackage :foo-test-asd
  (:use :cl :asdf))
(in-package :foo-test-asd)

(defsystem "foo-test"
  :depends-on (:prove)
  :components ((:file "foo-test-package")
               (:file "foo")
               (:file "foo-test")))

foo-test-package.lisp

(in-package :cl-user)
(defpackage :foo
  (:use :cl :prove))

foo-test.lisp:

(in-package :foo)

(plan 2)
(is (bar 2)
    4)
(is (foo 2)
    8)
(finalize)

这使您可以使用sbcl --noinform --eval "(ql:quickload :foo-test)" --eval "(sb-ext:quit)" 之类的内容轻松地在新映像中运行测试（以确保实际在您磁盘上的代码版本有效）。如果您愿意，当然可以将测试放在函数后面。