如何指定Lisp表单eval时的包环境以跨TCP传输执行

这问题本质是prin1默认不会输出符号的包限定信息（除非符号不在当前包的use列表里，或是内部符号），导致接收端读取后，符号被默认解析到common-lisp-user包，而非目标的mypack。给你几个实用的解决思路：

方法1：发送时输出带完整包信息的可读形式 #

不要用单纯的prin1，改用write并开启:readably t选项——它会强制输出符号的完整包限定名，确保接收端用read读取时能准确识别符号所属的包：

; 发送端代码
(write `(setf mypack:*somevar* ,mypack:*somevar*) 
       :stream the-stream 
       :readably t 
       :escape t)

接收端读取后直接eval即可，因为符号已经带有明确的包前缀，不会被解析到错误的包。

方法2：接收端在指定包环境下执行eval #

如果不想改动发送端代码，可以在接收端eval前临时切换默认包到mypack，这样未带包前缀的符号会被自动解析到目标包：

; 接收端代码
(let ((*package* (find-package 'mypack)))
  (eval (read the-stream)))

注意：这种方式只适合表单里的符号都属于mypack的场景，如果表单包含多包符号，还是得用方法1来确保每个符号的包信息都被保留。

方法3：显式给所有符号加包前缀 #

构造发送表单时，手动给每个目标符号加上完整的包限定（比如mypack::*somevar*对应内部符号，mypack:*somevar*对应外部符号），这样即使prin1输出，也会保留包信息：

; 发送端代码
(prin1 `(setf mypack::*somevar* ,mypack::*somevar*) the-stream)

不过这种方式比较繁琐，只适合符号数量少的场景。

补充说明：Common Lisp的eval始终在当前动态环境下执行，其中*package*变量直接决定了未限定符号的解析规则。要么让发送的字符串本身包含完整的包信息，要么在读取/eval时切换到正确的*package*，就能彻底解决这个问题。

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