ML
значит в основном чате
Я вроде всё ещё
Size: a a a
2020 April 14
AL
ну так выходит, что если и в расте надо смотреть на всю программу, и на С++ надо смотреть на всю программу, то чем раст по безопасности отличается от С++?
Тем, что я описал выше
.
Я вроде всё ещё
ну я хз, я растом полгода назад занимался
ML
ну так выходит, что если и в расте надо смотреть на всю программу, и на С++ надо смотреть на всю программу, то чем раст по безопасности отличается от С++?
Сорри, неверно прочитал твоё сообщение
RP
Arsenii Lyashenko
Тем, что я описал выше
а я отписал выше, что unsafe не локален.
ML
Не на всю, так как ансейф утекает только из unsafe блоков
S
ну так выходит, что если и в расте надо смотреть на всю программу, и на С++ надо смотреть на всю программу, то чем раст по безопасности отличается от С++?
в случае, если ты ищешь определенный узкий класс багов по неправильной работе с памятью, в Rust тебе надо шерстить только unsafe'ы
RP
UB может проявляться настолько по-разному, что стек текущего вызова будет чист и корректен
ML
Если UB триггерится сейфным кодом, это означает, что сейф API вокруг ансейфа кривой
ML
Это было причиной драмы с актиксом, например
RP
если UB триггерится в С++, значит ты неправильно используешь код вокруг функции
ML
Николай использовал свой апи, зная как он устроен, в то время как технически такой апи мог приводить к UB
RP
вроде бы и там и там все упирается во внимательность к функциям
RP
почему же тогда считается, что раст безопаснее?
ML
если UB триггерится в С++, значит ты неправильно используешь код вокруг функции
Если мы говорим про вызов исключительно сишных функций,то раст и кресты одинаково небезопасны
RP
да, меня только этот вопрос интересует
S
Ну... В чистом safe Rust вроде как помогает дата рейсов избежать
S
что-то такое
RP
так как "предполагается", что работа с голыми указателями у нас может протечь только из вызовов сишных функций (хоть это не так)
ML
да, меня только этот вопрос интересует
Если только этот — никаких различий нет, ответственность за корректность вызовов в сишку лежит на программисте