Skip to content

dynamically-sized-types.md

Latest commit

 

History

History
44 lines (35 loc) · 2.71 KB

dynamically-sized-types.md

File metadata and controls

44 lines (35 loc) · 2.71 KB

r[dynamic-sized]

Dynamically sized types

r[dynamic-sized.intro] Most types have a fixed size that is known at compile time and implement the trait Sized. A type with a size that is known only at run-time is called a dynamically sized type (DST) or, informally, an unsized type. Slices, trait objects, and str are examples of DSTs.

r[dynamic-sized.restriction] Such types can only be used in certain cases:

r[dynamic-sized.pointer-types]

  • Pointer types to DSTs are sized but have twice the size of pointers to sized types, since they also store metadata:
    • Pointers to slices store the number of elements; pointers to str store the length in bytes.
    • Pointers to trait objects store a pointer to a vtable.
    • Pointers to a struct or tuple with an unsized tail store the same metadata as a pointer to that tail.

r[dynamic-sized.question-sized]

  • DSTs can be provided as type arguments to generic type parameters having the special ?Sized bound. They can also be used for associated type definitions when the corresponding associated type declaration has a ?Sized bound. By default, any type parameter or associated type has a Sized bound, unless it is relaxed using ?Sized.

r[dynamic-sized.trait-impl]

  • Traits may be implemented for DSTs. Unlike with generic type parameters, Self: ?Sized is the default in trait definitions.

r[dynamic-sized.struct-field]

  • Structs may contain a DST as the last field; this makes the struct itself a DST.

Note

Variables, function parameters, const items, and static items must be Sized.

r[dynamic-sized.tail] The unsized tail of a type is the dynamically sized component that the metadata of a pointer to the type describes. A slice ([T]) and a str are each their own unsized tail, described by a length; a trait object (dyn Trait) is its own unsized tail, described by a pointer to a vtable. When a struct (per [dynamic-sized.struct-field]) or a tuple has an unsized last field, its unsized tail is the unsized tail of that field. A sized type has no unsized tail.