R语言中使用c()合并两个向量的底层实现机制探究

R里的c()函数拼接两个向量时，是创建新的向量存储空间来容纳合并后的元素，完全不会直接合并原有两个向量已分配的数据空间。

核心原因在于R的向量是不可变对象：一旦向量被创建，它的长度、内存地址就固定了，无法在原有内存空间上直接扩展，也没法把另一个向量的内存空间直接“拼接”过来。

你可以用tracemem()工具验证这个机制：

# 创建两个测试向量
x <- 1:3
y <- 4:6

# 跟踪x的内存地址
tracemem(x)
# 输出类似：<0x7f8b1c035a80>

# 调用c()拼接
new_vec <- c(x, y)

# 查看新向量的内存地址，会发现和x、y都不同
tracemem(new_vec)
# 输出类似：<0x7f8b1c035c00>

# 再次查看x的地址，完全没变，说明原向量未被修改
tracemem(x)

从结果能看到，c(x,y)返回的是一个全新的对象，它会把x和y的元素逐一复制到新分配的内存空间中，原向量x和y的内存地址、内容都不会有任何变化。

官方文档里“合并参数并生成一个向量”的描述，是从功能层面的概括，那些把第二个向量直接附加在第一个末尾的可视化，也只是为了方便理解功能逻辑，并非底层的运行机制——底层本质是复制元素+重新分配内存的过程。

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