AN
Кароче если любая приватная функция которая может нарушить инвариант ансейф, то тогда весь код ансейф. Потому что я могу заинлацнить эту функцию внутрь сейф апи функции и она становится
Size: a a a
2021 April 17
AN
Ансейф
D
человеку есть что сказать, не мешай
AN
😂 я смайлик долго выбирал и не нашел в итоге
[
понял
[
долгий путь, понимаю
К
В итоге выбрал дефолтный: 😂
К
AN
Ладно мне ещё предстоит прочитать 💯 сообщений
D
@emmanuelGoldstein вот тебе еще один пример того что текущие стандарты говно(не отражают реальное положение дел) https://www.hpl.hp.com/techreports/2012/HPL-2012-68.pdf
https://pitdicker.github.io/Writing-a-seqlock-in-Rust/
https://docs.rs/seqlock/0.1.2/src/seqlock/lib.rs.html#147
https://pitdicker.github.io/Writing-a-seqlock-in-Rust/
https://docs.rs/seqlock/0.1.2/src/seqlock/lib.rs.html#147
p
Эм?
p
В эмбеде все только так и работает
p
"по такому-то адресу находятся такие то данные"
D
Да, с этим тоже есть проблемы
TK
Это называется unsound, ты не должен делать ub в unsafe коде, иначе тебя как автора библиотеки пошлют куда подальше
X
В чате 454 человек, все говорят, что вся документация по расту - художественная литература, но никто не пишет нормальную спеку
EG
Нельлзя пролсто так взять и написать нормальную спеку
С
Тут все работают
TK
Покажи ub в std, вызываемый из пользовательского кода, не помеченным блоком unsafe и не являющимся багом библиотеки/компилятора (по одной штуке видел)
PG
Про ковариантность лайфтаймов слышал?