Common Lisp：解释器或编译器是否允许合并相同常量表达式？

1. 执行代码后y是否会被反转？ #

不一定。如果Lisp实现对字面常量'(1 2 3)做了常量合并（即让x和y引用同一个列表实例），那么(nreverse x)这个破坏性操作会同时改变y的值；如果实现为两个'(1 2 3)创建了独立的列表实例，那么y不会被影响。

2. CLHS是否允许常量合并操作？ #

允许，但有关键约束：CLHS明确指出，修改字面常量属于未定义行为。字面常量（如字面列表、字面字符串等）的存储由实现决定，实现可以选择共享相同结构的常量实例（即合并），也可以选择为每个字面量创建独立实例——两种行为都符合标准。

3. 相关内容在CLHS的哪个章节？ #

这部分内容不属于DEFVAR的专属说明，而是在CLHS关于字面对象与常量处理的通用章节中，核心规则是：程序不应当依赖字面常量的唯一性，也不应当修改字面常量，因为这类操作的结果是标准未定义的。

4. 解释器与编译器的行为是否可以存在差异？ #

是的，CLHS允许解释器和编译器在常量合并的行为上存在差异。例如：

• 解释器可能为每个出现的字面量创建新的实例，因此修改x不会影响y；
• 编译器可能会优化合并相同的常量，导致x和y指向同一个实例，修改x会影响y。
  两种行为都符合CLHS的规范，因为标准将修改字面常量的行为定义为未定义，程序不应依赖这类场景的具体结果。

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