Re:Checked C
by wvenable on Friday February 19, 2021 @01:27PM
(#26196221)
You need unsafe in Rust just to do a doubly-linked list.
[ Parent
| on HN ]
Re:Checked C
by a1369209993 on Friday February 19, 2021 @10:13PM
(#26201145)
> You need unsafe in Rust just to [implement] a doubly-linked list.
And? That's what unsafe is for.
Yes, I agree, you can implement a doubly-linked list in Rust exactly as you can in C, with the same precise control.
You can even implement intrusive collections: https://docs.rs/intrusive-collections/
Unsafe is a normal part of the language, and how you manually implement precise control behind a safe reusable abstraction whose correct use can be verified by the compiler.
Do you have any examples of precise control you can express in C, but can't express in Rust?