this post was submitted on 26 Jun 2024
99 points (100.0% liked)

Rust

6030 readers
1 users here now

Welcome to the Rust community! This is a place to discuss about the Rust programming language.

Wormhole

[email protected]

Credits

  • The icon is a modified version of the official rust logo (changing the colors to a gradient and black background)

founded 1 year ago
MODERATORS
 

Found this on Mastodon https://fosstodon.org/@dpom/112681955888465502 , and it is a very nice overview of the containers and their layout.

top 4 comments
sorted by: hot top controversial new old
[–] [email protected] 10 points 5 months ago (2 children)

Nice sheet, though I have a few critiques:

  1. Why does it say where T: Sized for references &T? A reference can definitely point to an unsized type, e.g. &str.
  2. The yellow boxes really mean "must be heap allocated" - all the other references (&T, &[T] and &dyn Trait) may either point to the stack or the heap.
[–] [email protected] 6 points 5 months ago* (last edited 5 months ago)
  1. Why does it say where T: Sized for references &T? A reference can definitely point to an unsized type, e.g. &str.

I think the point being made is that the layout shown only applies for Sized T. Layouts for &[T] and &dyn Trait are shown elsewhere on the sheet. &str is noted under &[T].

Edit: although, similar considerations would apply to other pointer types, but that isn't noted on the sheet except for Box<[T]>

[–] sgued 4 points 5 months ago

Because when T is !Sized, the layout is different, it looks more like the layout of &[T].

[–] sgued 10 points 5 months ago

This is outdatded. Mutexes don't allocate anymore. That's how Mutex::new can be const.