朱莉娅：重新解释的反面是什么？

Question

我们可以这样做将数组UInt8变成UInt64

reinterpret(UInt64, rand(UInt8, 8))

这有逆吗？要UInt64变成Vector{UInt8}？

Answer 1

再次重新解释。请记住，即使长度为1，重新解释也可以使它像数组一样工作。

julia> a8 = rand(UInt8, 8)
8-element Array{UInt8,1}:
 0x25
 0xaf
 0x2c
 0x33
 0xca
 0xbe
 0xd8
 0xa6

julia> a64 = reinterpret(UInt64, a8)
1-element reinterpret(UInt64, ::Array{UInt8,1}):
 0xa6d8beca332caf25

julia> a8 = reinterpret(UInt8, a64)
8-element reinterpret(UInt8, reinterpret(UInt64, ::Array{UInt8,1})):
 0x25
 0xaf
 0x2c
 0x33
 0xca
 0xbe
 0xd8
 0xa6

Answer 2

值得注意的是，它reinterpret以两种不同的方式起作用。一种是将原始类型重新解释为另一种原始类型，如中所述reinterpret(Char, 0x00000077)。另一个方法是将类型T的数组重新解释为另一个类型的数组，如中所示reinterpret(UInt128, [1, 2])。在这两种情况下，这两个操作均不涉及实际更改或复制数据。

如果您询问如何将位类型（如UInt64）转换为数组，则有所不同，因为您实际上需要分配数组，从而复制数据。因此，您不是在“重新解释”现有数据，而是在创建新数据。

您可以使用指针执行此操作：

function to_array(x::UInt64)
    arr = Vector{UInt8}(undef, 8)
    GC.@preserve arr unsafe_store!(Ptr{UInt64}(pointer(arr)), x)
    return arr
end

这是高效的。但是，这完全不是重新解释操作。