R中modify-in-place机制实操与《Advanced R》描述不符疑问

复现地址变化的原因 #

你观测到对象地址变化是因为执行代码的环境并非纯净的交互式控制台：从tracemem输出的调用栈中evaluate、block_exec等字段可以判断，你是在R Markdown/Quarto渲染、或者其他带结果捕获的Notebook类环境中运行的代码。这类环境为了保存代码执行结果、捕获输出，会给运行的对象增加额外的绑定，导致对象的绑定计数不为1，不满足就地修改的条件，因此触发了拷贝。

你可以在原生R控制台或者RStudio的交互式控制台中执行相同代码，即可得到和书中描述一致的结果，不会触发对象拷贝：

l = c(1,2,3,4)
tracemem(l)
#> [1] "<0000000018166270>"

l[[1]] = 2
# 无tracemem拷贝提示，对象地址保持不变

modify-in-place 完整触发规则 #

《Advanced R》中对该机制的描述是简化版本，实际触发就地修改需要同时满足三个条件：

• 对象的绑定计数（NAMED值）为1，即整个R运行环境中只有一个变量指向该对象
• 修改操作仅针对向量（原子向量、列表均可）的已有元素赋值，且不会改变对象的整体存储类型：比如将整数向量的元素替换为字符串这种需要调整存储结构的操作，无论绑定计数多少都会触发拷贝
• 修改对象不属于ALTREP（替代表示）对象：R 3.5版本后引入的ALTREP机制会对特殊对象（比如1:10生成的连续序列、只读外部导入向量等）做压缩存储，这类对象哪怕绑定计数为1，修改时也会触发拷贝

如果需要验证对象的绑定计数，可以安装lobstr包后调用lobstr::ref()函数查看，确认是否符合NAMED == 1的要求。

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