Nim语言中let赋值的语义疑问：为何表现不一致？

核心结论 #

Nim里的let是绑定不可变，而非「值不可变」或「引用不可变」。你遇到的行为差异，本质是Nim字符串（序列同理）作为可变引用类型的特性，结合写时复制（COW）、只读字面量规则共同作用的结果，和let本身的绑定规则无关。

逐个解析你的示例场景 #

场景1：proc内var变量msg追加" World!"后，let绑定的copy未改变

当你用&=修改msg时，如果当前字符串实例存在其他引用（这里let copy就是另一个引用），Nim会触发写时复制：创建一个新的字符串实例，把原内容+新内容写入新实例，然后让var msg指向这个新实例。而let copy依然指向原来的旧实例，所以你看到copy没有变化。

场景2：proc内msg追加"!"后，copy随之改变

如果msg是proc内的局部变量，在绑定let copy后，这个字符串实例没有其他额外引用（除了msg和copy），此时执行&=时，Nim会直接在原字符串的内存空间上修改内容（因为没有其他引用需要保护，不需要触发COW）。由于copy和msg指向同一个实例，所以copy的内容会跟着变化。

场景3：全局msg追加"!"后，copy未改变

全局作用域的字符串字面量，默认会被Nim标记为只读内存块。当你尝试用&=修改它时，Nim会自动创建一个新的可写字符串实例，把原内容+新内容写入后，让全局msg指向这个新实例。而let copy绑定的是原来的只读字面量实例，所以内容不会变化。

再明确let的本质 #

let的唯一作用是：变量本身的绑定不可修改——你不能给let变量重新赋值另一个实例，但如果它指向的是引用类型（字符串、序列、对象等），只要有其他可变变量（比如var）能操作这个引用指向的内存，内容依然可以被修改。

关于官方文档的疑问 #

官方文档确实没有把let绑定规则、引用类型特性、COW机制、只读字面量这些点做集中的关联解释，而是分散在语法指南、内存模型、字符串/序列章节中，导致新手容易混淆这些规则的交互效果。

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