Nim序列赋值值语义困惑：let与var拷贝为何表现不同？

Nim的序列（seq）并非总是执行深拷贝，它采用**引用类型+写时复制（Copy-On-Write, COW）**的设计，这是你遇到两种赋值行为差异的核心原因。结合你的代码，具体原理如下：

1. let copy = x：共享底层数组引用 #

• let声明的变量是不可变绑定，编译器可以确定该变量不会触发任何写操作（除非通过unsafeAddr这类绕过安全机制的方式）。
• 因此赋值时不会执行拷贝，copy与原序列x（即调用时传入的originalSeq）共享同一块底层内存数组的引用。
• 当你通过unsafeAddr(copy[0])获取指针并修改内存时，直接修改了原序列的底层数组，导致originalSeq被改变。

2. var copy = x：触发预拷贝生成独立实例 #

• var声明的变量是可变绑定，编译器无法预判后续是否会对其执行写操作，因此在赋值阶段就会触发COW机制的拷贝逻辑，为copy创建独立的底层数组实例。
• 此时copy与原序列x指向不同的内存区域，通过unsafeAddr修改copy的内存只会影响copy自身，不会波及originalSeq。

代码输出对应分析 #

• 第一个调用changeArgDespiteCopyAssignment后，originalSeq和ret都指向被修改的同一块内存，因此输出均为@[9999, 2, 3]；
• 第二个调用dontChangeArgWhenCopyIsDeclaredAsVar时，var copy是独立拷贝，修改后ret指向新的内存（值为@[7777, 2, 3]），而originalSeq保持之前的修改结果不变。

额外提示 #

如果需要强制深拷贝（无论let/var），可以显式调用copy()函数：

let copy = x.copy()

这样即使使用let声明，copy也会拥有独立的底层数组，避免通过指针操作影响原序列。

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