Julia中非原始类型标记const后可修改是否合法？const语义是否因类型而异？

这不是Bug，完全是Julia里const关键字针对不同类型的设计语义差异，核心区别在于const限制的是变量的绑定关系，而非对象本身的可变性：

1. 原始类型（如Int这类不可变值类型）的const行为 #

当你用const i = 32声明时，变量i被绑定到了一个值为32的Int对象上。由于Int是不可变类型，你无法修改这个对象本身的值，只能把i重新绑定到新的Int对象（比如33）。而const的规则就是禁止变量被重新绑定到新对象，所以调用modify_i()执行i = 33时，就触发了“重定义常量”的警告——这完全符合const的设计逻辑。

对应的示例警告：

julia> ExampleModule.modify_i()
WARNING: redefinition of constant ExampleModule.i. This may fail, cause incorrect answers, or produce other errors.
33

2. 复合/可变类型（如Dict这类容器）的const行为 #

当你用const d = Dict{String, Any}()声明时，变量d被绑定到了一个特定的Dict对象上。const只限制d不能被重新绑定到其他Dict对象，但Dict本身是可变容器，你完全可以修改它内部的键值对（比如添加、删除、修改元素）——这并没有改变d绑定的对象，只是修改了对象的内部状态，所以不会触发const的警告。

对应的示例执行结果：

julia> ExampleModule.modify_d()
3-element Vector{Int64}:
 1
 2
 3

额外验证：如果尝试重新绑定复合类型变量 #

要是你写个函数给d重新赋值，比如：

function rebind_d()
    global d
    d = Dict{String, Int}()
end

调用这个函数时，同样会触发和modify_i()一样的“重定义常量”警告，因为这是把d绑定到了新的Dict对象，违反了const的绑定规则。

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