А
Я чел новый🤔Токсичное комунити у раста?
ну тут токсичное, плюс ещё царь сюда пришёл
Size: a a a
2021 March 04
p
да, ты не можешь формально доказать что твой unsafe на самом деле safe
На самом деле можешь. Но для раста пока маловато тулзов для верификации.
RB
просто изучит тему, пж.
А
Roman Blog
нет, не ok. Никакие гарантий нет - это раз. Два, оно не может быть safe. Это просто "мамой клянусь" не более. И самое главное - это так работать не может
может и работает
А
на unsafe крестах написано миллион safe языков
RB
Ты можешь через unsafe-хак получить две мутабельные ссылки, но это нарушает safe-инвариант
p
Roman Blog
нет, не ok. Никакие гарантий нет - это раз. Два, оно не может быть safe. Это просто "мамой клянусь" не более. И самое главное - это так работать не может
Возле каждого unsafe в комментариях пишут почему он safe, основываясь на правилах safe раста.
RB
безопасность раста базируется, что мутабельная ссылка может быть только одна
А
конечно баги иногда пролезают из unsafe
RB
если ты это хакнул - ты нарушил базовый инвариант. Поэтому твоя херня уже должна давать какой-то другой механизм безопасности
RB
допусти там блокировка, либо ещё какая херня
p
Roman Blog
Ты можешь через unsafe-хак получить две мутабельные ссылки, но это нарушает safe-инвариант
Да, это вызовет уб. И? Ничего не мешает писать unsafe код который не нарушает гарантий safe раста
p
unsafe это возможность нарушить гарантии а не их нарушение.
RB
Да, это вызовет уб. И? Ничего не мешает писать unsafe код который не нарушает гарантий safe раста
это так не работает. Ты чини методичку. Если ты признаёшь, что гарантии уровня "мамой клянусь" являются гарантиями, то ты множишь на ноль смысл существования раста
А
Roman Blog
это так не работает. Ты чини методичку. Если ты признаёшь, что гарантии уровня "мамой клянусь" являются гарантиями, то ты множишь на ноль смысл существования раста
у тебя все кресты - это гарантии уровня "мамой клянусь"
RB
у тебя все кресты - это гарантии уровня "мамой клянусь"
да, в этом и смысл
А
и все твои программы на крестах в итоге дают гарантии уровня "мамой клянусь"
RB
если ты признаёшь это нормальным, то весь хейт крейстов ломается
p
Roman Blog
это так не работает. Ты чини методичку. Если ты признаёшь, что гарантии уровня "мамой клянусь" являются гарантиями, то ты множишь на ноль смысл существования раста
Смысл разделения сейфа и ансейфа чтобы не писать "мамой клянусь" возле всех участков кода, а только возле unsafe
p
Для более продвинутого использование есть ATS