Avatar
We are proposing a new abstraction for safe, direct access ot memory: Span. This is a substantial update to our earlier pitch, "Safe Access to Contiguous Storage", and is a companion to the Non-Escapable Types proposal. Some of the changes in this version are: The type's name is changed to Span. As a name, Span is short, pithy, precedented, ...
11:21 PM
メモリアドレスと要素数を持つSpanの提案 ArraySliceとかSubstringみたいなコレクションの一部を切り出す型だけど、それらと違って根元のコレクションと独立で、メモリ領域を抽象化する 特筆すべきはnon Escapableになっていること
11:22 PM
ポインタと違って脱出させられないから本体が削除されてdanglingになることがない