EG
*модуль
Size: a a a
2021 April 17
EG
Единица безопасности в Rust — модуль
ΑZ
а то по твоему определению
main() это источник уб, хотя очевидно по слову ИСТОЧНИК мы хотим исключить main (и некоторые другеи функции) из множестваEG
Ты имеешь право написать unsafe-блок, который вызывает UB, если он приватный и ты не вызываешь его внутри модуля
p
Да, ведь вызывая Мейн ты получаешь уб
ΑZ
т.е. если я делаю &-> &mut в рамках одного модуля это не уб?
p
Если бы не вызывал не получил
ΑZ
окей, давай придумаем определение по которому unsafe-блок будет считаться, а мейн =- нет
ΑZ
можно так сделать?
ΑZ
или ты запрещаешь?
EG
Если это делаешь в приватной функции и не вызываешь её, то нет
ΑZ
так если в приватной и вызываю?
p
Это будет бесполезное определение
EG
Тогда это UB, ессна. Я не про это.
ΑZ
нет, бесполезное определение - твое
EG
Иными словами,
Vec может иметь приватную безопасную функцию set_len(), которая, теоретически, вызвала бы UB, если её вызвать не с тем значением.ΑZ
у тебя нет способа найти уб кроме как анализировать всю программу
ΑZ
у меня есть - грепать блоки unsafe
p
Это не rust-way
p
Если может то помечать как ансейф надо