p
В случае раста есть алгоритм:
1) если в коде есть подстрока unsafe, то включи мозг
2) иначе можешь про UB не париться
1) если в коде есть подстрока unsafe, то включи мозг
2) иначе можешь про UB не париться
Конечно можно не париться
Size: a a a
2020 April 10
p
Нужно будет париться потом
p
Когда код начнет выдавать странные результаты
MB
Когда код начнет выдавать странные результаты
в том-то и дело что не начнет
p
Ага
MB
Пока ты не написал ансейфа, UB не появится
p
Пока ты не написал ансейфа, UB не появится
Ансейф кто-то другой может написать
MB
Да, и мы надеемся на его умение думать
MB
И уповаем на safety dance
p
Да, и мы надеемся на его умение думать
Да, остаётся только надеяться
MB
Да, остаётся только надеяться
И safety dance еще. (коммьюнити-проект по ревью всего ансейф-кода в экосистеме)
MB
Опять же, явное разделение сейф/ансейф сильно упрощает им задачу. Многие библиотеки они могут просто скипнуть, если
ls src/**/*.rs |grep unsafe пустой
ls src/**/*.rs |grep unsafe пустой
В
Тут скорее вопрос, что почему не пользоваться теми средствами которые есть в хттп, раз уж они там есть
Резонно
В
Хотя мне всё равно не нравится
AZ
Я думаю, что 3 важнее
1, 2 и 4 во многом следствие 3, хз о чем спор
AZ
Раст не дает совершить уб "просто так", по недосмотру
посмотри на стд, там полно таких уб по недосмотру
MB
1, 2 и 4 во многом следствие 3, хз о чем спор
1,2,4 теоретически могли бы быть и без 3.
AZ
1,2,4 теоретически могли бы быть и без 3.
в том же расте это всё - резалт, и без 3 резалтов нет
MB
посмотри на стд, там полно таких уб по недосмотру
Там рядом был кейворд unsafe все-таки.
MB
Если бы его не было - таких UB было бы в разы больше