Noratrieb/blog
1
0
Fork 0
mirror of https://github.com/Noratrieb/blog.git synced 2026-01-14 04:25:01 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

add note about mutation uniqueness

Browse source
This commit is contained in:
nora 2022-07-23 21:27:57 +02:00
parent 6632848833
commit 51573c9e72
1 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
content/posts/box-is-a-unique-type.md
View file

@ -206,6 +206,10 @@ having to write their own. Interestingly, this crate also provides a `Vec<T>`, e
in the current version of stacked borrows. just fine, although it's also not clear whether we want to keep it like this, but I
don't think this can reasonable be changed.
> One thing was just pointed out to me after releasing the post: Mutation usually goes through `&mut T` anyways, even when the value
> is stored as a `Box<T>`. Therefore, all the guarantees of uniqueness are already present when mutating boxes, making the uniqueness
> of box even less important.
# noalias, noslow
There is one clear potential benefit from this box behaviour: ✨Optimizations✨. `noalias` doesn't exist for fun, it's something