Исправление zurg, (текущая версия) :
Это я все понимаю.
Да чёт не похоже )
Т.е. вся безопасность rust заключается в том чтобы сообщить компилятору я знаю что делаю и все :( ну ладно, я думаю что они так тупо не сделали в си пускал бы с каким то ключом компилятор и он бы без кодового слова ругался бы.
Нет, тупо это всю программу делать ансейф, есть принципиальная разница между доказательством технической (как минимум) корректности всей программы (что тебе обеспечивает эта самая система типов и владения) и маленького тривиального ансейфного кусочка, и никакие санитайзеры и статанализаторы с этим не сравнятся.
Ладно, идем дальше, что мешает кругом пихать это unsafe ?
Главное, язык даёт однозначный формализованный инструмент( в отличие от санитайзеров), в какой степени его использовать вопрос организации проекта
Исходная версия zurg, :
Это я все понимаю.
Да чёт не похоже )
Т.е. вся безопасность rust заключается в том чтобы сообщить компилятору я знаю что делаю и все :( ну ладно, я думаю что они так тупо не сделали в си пускал бы с каким то ключом компилятор и он бы без кодового слова ругался бы.
Нет, тупо это всю программу делать ансейф, есть принципиальная разница между доказательством технической (как минимум) корректности всей программы (что тебе обеспечивает эта самая система типов и владения) и маленького тривиального ансейфного кусочка, и никакие санитайзеры и статанализаторы с этим не сравнятся.
Ладно, идем дальше, что мешает кругом пихать это unsafe ?
Главное, язык даёт однозначный формализованный инструмент, в отличие от санитайзеров, насколько его использовать вопрос организации проекта