EG
Если только ты чётко не понимаешь что делаешь и самостоятельно энфорсишь безопасность
Size: a a a
2020 November 02
JC
unsafe это не про понимание языка, это про понимание UB
JC
A
unsafe это не про понимание языка, это про понимание UB
Насчёт UB
A
let x = 5;
let y = x;
let z = x;
let y = x;
let z = x;
ИЛ
let x = 5;
let y = x;
let z = x;
let y = x;
let z = x;
Копирование
A
Это же то считается, в некотором роде UB?
A
Копирование
Да, но оно же тут неявно происходит
ИЛ
Это же то считается, в некотором роде UB?
Нет, это implicit копирование
ИЛ
Да, но оно же тут неявно происходит
Ну и? Много что происходит неявно, по типу дерефов
JC
Undefined Behaviour это не про неявное, это про неопределенное
A
Undefined Behaviour это не про неявное, это про неопределенное
Не знал
JC
Например, когда у тебя масив выделен на пять элементов, а ты читаешь шестой. Что произойдет? А черт его знает.
JC
Может прочитается следующая переменная, может сегфолт, может вообще компилятор что-то так наоптимизирует, что какой-то код начнет исполнятся.
A
Может прочитается следующая переменная, может сегфолт, может вообще компилятор что-то так наоптимизирует, что какой-то код начнет исполнятся.
Все, понял, спс
JC
И в Расте есть такая "договоренность", что пока ты не пишешь unsafe, у тебя не выскочит подобных приколов.
Когда пишешь unsafe - требование исполнять гарантии безопасности на тебе.
Когда пишешь unsafe - требование исполнять гарантии безопасности на тебе.
JC
В доке обычно пишется какие требования надо выполнять
ᅠ
гарантии безопасности когда начинается блок unsafe: "fuck this shit i am out"
JC
ну не i'm out
JC
Все проверки (бороу-чекер, типы и т.д.) продолжают работать