Julia中不可变struct存储的向量被意外修改问题咨询

首先要明确Julia中不可变结构体的「不可变」约束边界：

• 不可变的是字段绑定的对象引用本身：你无法将结构体的某个字段重新指向另一个对象，比如执行swap_object.orig_points = [newp,p2]会直接触发报错，这才是不可变特性禁止的操作。
• 约束不涉及字段指向的可变对象的内部内容：如果字段存的是可变类型（比如Vector、Dict、其他可变struct），你完全可以修改这个对象内部存储的值，这个过程不会改变字段绑定的引用，完全符合不可变结构体的规则。

你代码里的问题出在func_swap的赋值逻辑：new_p = val.orig_points这行没有创建任何新向量，只是把局部变量new_p绑定到了和val.orig_points完全相同的那个向量实例上。后续执行new_p[1] = val.new_point是直接在这个共享的向量实例上修改元素，自然结构体中存储的向量内容会同步变化——本质上你从始至终操作的都是同一个向量对象，根本没有生成新向量。

要实现「不改动原始结构体里存储的向量，同时得到替换首元素后的新向量」，只需要在修改元素前先对原向量做拷贝，所有修改操作都在拷贝出的新向量上执行即可：

function func_swap(val::swap_first)
    # 拷贝原向量生成独立的新实例，后续修改不影响原对象
    new_p = copy(val.orig_points)
    new_p[1] = val.new_point
    return new_p
end

验证运行效果：

# 重新初始化测试数据
p1 = Point(1,2)
p2 = Point(3,4)
orig = [p1,p2]
newp = Point(10,11)
swap_object = swap_first(orig, newp)

new_vec = func_swap(swap_object)
println(new_vec)                # 输出修改后的新向量：Point[Point(10.0, 11.0), Point(3.0, 4.0)]
println(swap_object.orig_points)# 原始字段值保持不变：Point[Point(1.0, 2.0), Point(3.0, 4.0)]

• 由于你定义的Point是不可变结构体，存储Point的向量用copy()做浅拷贝即可满足需求，不存在元素内部状态联动修改的问题。
• 如果向量存储的是可变类型实例，且你需要新向量和原向量的元素状态完全隔离，才需要用deepcopy()做深拷贝，该方法性能开销更高，当前场景不需要使用。

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