在Julia中用可变类型的字段理解不可变复合类型

Question

type MyType
    x::Vector{String}
end

MyType.x[1] = "NewValue"
push!(MyType.x, "NewElementToAdd")

MyType.x = ["a", "different", "string", "array"]

最后一点：如果这似乎与SO上的其他问题重复，我道歉。如前所述，我已经看了他们，但无法得到我想要的理解。

Answer 1

所以这里有一件事要考虑（至少对我来说是这样）：

julia> immutable Foo
         data::Vector{Float64}
       end

julia> x = Foo([1.0, 2.0, 4.0])
Foo([1.0,2.0,4.0])

julia> append!(x.data, x.data); pointer(x.data)
Ptr{Float64} @0x00007ffbc3332018

julia> append!(x.data, x.data); pointer(x.data)
Ptr{Float64} @0x00007ffbc296ac28

julia> append!(x.data, x.data); pointer(x.data)
Ptr{Float64} @0x00007ffbc34809d8

因此，数据地址实际上随着向量的增长而改变，需要重新分配！但是，正如你所指出的，你不能自己更改数据。

我不确定有100%正确的答案是真的。在某些性能关键的情况下，我主要对简单类型使用immutable，比如文档中的complex示例，我这样做是出于“防御性编程”的原因，例如，代码不需要写入这种类型的字段，所以我这样做是错误的。当类型是一个数字的扩展时，它们是一个很好的选择，例如complex、rgbcolor，我用它们代替元组，作为一种命名元组（无论如何，元组现在在Julia中似乎表现不佳，而不可变类型表现出色）。