Rust part27 (399Ϊ½)
γΊO1-V
oπ KΑͺ―Ά°({Ζ) (Χ) Ϊ½x Ϊ[ρ
283: 02/12(
)22:57 ID:f3u+GZc6(1) AAS
Pointers (this includes values of reference type) in Rust have two components.
- The pointer's "address" says where in memory the pointer is currently pointing.
- The pointer's "provenance" says where and when the pointer is allowed to access memory.
We have to know not only the address the pointer points to,
but also track which other pointer(s) it is "derived from".
Provenance is useful because it allows powerful optimizations.
Provenance can affect whether a program has undefined behavior.
γΊO1-VΦΚΒυέxπ
½Ϊξρ ΤΪ½o ζΪ½o πΜ’Η½Ϊ AA»ΡΘ²Ω
Κ±Μθ Κ±TOP 0.856s*