p
но его тщательно тестируют
Size: a a a
2020 January 14
AK
Теперь представь, сколько времени нужно отладить 7 ансейф блоков и 1 ансейф блок длинною в целую программу
От ошибки зависит. Сегфолты очень быстро разруливаются. Сейчас 95% багов, которые мне встречаются в плюсовой код базе - рейс кондишоны. Раст от них не защищает. А мемори корапшон вообще давно не видел.
AZ
это которые пользуются std c unsafe? И небось зависимости с unsafe могут использовать
стд любого языка считается надежной если чо
AZ
даже стд жса
AZ
или питона
B
Alexander Krivitskiy
Unsafe раст гораздо хуже той же сишки. Чего только эта ебала стоит https://github.com/rust-lang/rust/issues/17417
Исправлены ошибки компиляции древенго примера с 2014:
https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=b19d65bb9b7d41f553b419ad6bbcf218
воспроизводится
Исправленый каст автора
https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=99c2a7291b4019daf465f01c2ea93ac5
clippy не ругается, видать посыл: юзаешь ансейф — думай что деалаешь
https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=b19d65bb9b7d41f553b419ad6bbcf218
воспроизводится
Исправленый каст автора
https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=99c2a7291b4019daf465f01c2ea93ac5
clippy не ругается, видать посыл: юзаешь ансейф — думай что деалаешь
LC
стд любого языка считается надежной если чо
да, но не любой язык называют safe и делят на safe\unsafe'
AZ
да, но не любой язык называют safe и делят на safe\unsafe'
Это совершенно естественное разделение.
Например TCP гарантирубщий доставку построен поверх IP который её не гарантирует
Например TCP гарантирубщий доставку построен поверх IP который её не гарантирует
B
это которые пользуются std c unsafe? И небось зависимости с unsafe могут использовать
всмысле? а как может быть код делаеющий тчо-то полезное без ансейфа внутри?
AZ
Rust позволяет организовывать safe поверх unsafe
B
как с OS взаимодействовать?
AZ
и так далее
B
вы не понимаете суть ансейфа
r
Alexander Krivitskiy
От ошибки зависит. Сегфолты очень быстро разруливаются. Сейчас 95% багов, которые мне встречаются в плюсовой код базе - рейс кондишоны. Раст от них не защищает. А мемори корапшон вообще давно не видел.
Какие race conditions? Deadlock'и? Data race - это тоже race condition, если что.
AK
как ни странно, сейф раст делает твой код абсолютно безопасным
Хотя ты прав. Если программа не компилируется - твой код никому не навредит.
B
это возможность сделать что-то, что не п озволяет безопасный сабсет, например общатся с OS
но при этом надо быть в два раза внимтельней и проверять результаты
но при этом надо быть в два раза внимтельней и проверять результаты
LC
Rust позволяет организовывать safe поверх unsafe
не, он позволяет оборачивать unsafe в safe и говорить, что "я как язык безопасный, а вы сами виноваты, потому что используете unsafe"
r
не, он позволяет оборачивать unsafe в safe и говорить, что "я как язык безопасный, а вы сами виноваты, потому что используете unsafe"
Осталось придумать язык, который будет делать то, что нужно, а не то, что ему говорят.
P
Alexander Krivitskiy
Большинство Линукс софта писано на си. Сколько сегфолтов в неделю ловишь? Всякий софт для муз. индустрии(DAW, VSTшки) это в основном C да плюсы. На вылеты не жалуюсь. Игры, софт для 3д моделирования, видео/фото редакторы, Python, JVM... К чему у тебя претензии? Без ошибок не пишет никто. Сейф раст исключает лишь несколько классов ошибок, а не делает твой код абсолютно безопасным. Да и не обязательно нужен мемори коррапшон, чтобы получить RCE
ну, короче, у меня Gtk-обвязка для графики в жвм крашится иногда из-за сегфолта в нативном коде (есть репродьюсибл пример), но там бага ушла в цикл по "not enough info — resolved" и "duplicate of" и потому дебилы не сподобились её зафиксить
AZ
не, он позволяет оборачивать unsafe в safe и говорить, что "я как язык безопасный, а вы сами виноваты, потому что используете unsafe"
ну когда ты поймешь что позволяет, тогда можно продолжить разговор