Т8
стоп! Я понял, почему в Rust нет UB. Да просто потому, что нет никакого стандарта! Как появится - так и UndB и UnsB появятся
Size: a a a
2020 August 14
Ct
unique_ptr еще есть
use-after-move оно тоже поймает?
EP
> If lock is called by a thread that already owns the mutex, the behavior is undefined
https://en.cppreference.com/w/cpp/thread/mutex/lock
лол
https://en.cppreference.com/w/cpp/thread/mutex/lock
лол
это идёт с нижних уровней (библиотеки потоков, ос)
https://pubs.opengroup.org/onlinepubs/009695399/functions/pthread_mutex_lock.html
https://pubs.opengroup.org/onlinepubs/009695399/functions/pthread_mutex_lock.html
Т8
Т-34 85
стоп! Я понял, почему в Rust нет UB. Да просто потому, что нет никакого стандарта! Как появится - так и UndB и UnsB появятся
и тогда вы уже будете говорить "да класть на mrustc, бери rustc"
Т8
Т-34 85
и тогда вы уже будете говорить "да класть на mrustc, бери rustc"
да, @Psilon ?
r
Т-34 85
стоп! Я понял, почему в Rust нет UB. Да просто потому, что нет никакого стандарта! Как появится - так и UndB и UnsB появятся
ISO и прочие IECи тут вообще ни при чём
RP
Т-34 85
да, @Psilon ?
нет.
Т8
red75prime
ISO и прочие IECи тут вообще ни при чём
ну, как же. Это они же решают, что есть UB, а что нет
CD
use-after-move оно тоже поймает?
nullptr
r
Т-34 85
ну, как же. Это они же решают, что есть UB, а что нет
Они печать ставят и деньги берут
CD
так вот, объясните мне, каким образом мой код стал безопаснее от того, что я указатель перекастовал в инт
Ct
nullptr
Дереференс nullptr уже defined behavior чтобы на него полагаться?
CD
Дереференс nullptr уже defined behavior чтобы на него полагаться?
На любой ОС где работает хром - да
Т8
Дереференс nullptr уже defined behavior чтобы на него полагаться?
да, это будет sigill
Ct
На любой ОС где работает хром - да
При чем тут ОС если у тебя код еще компилятор покрошить может
Т8
При чем тут ОС если у тебя код еще компилятор покрошить может
gcc не может
RP
так вот, объясните мне, каким образом мой код стал безопаснее от того, что я указатель перекастовал в инт
данные живут в vec, который проверяет индексы. поэтому use-after-free невозможнен.
CD
При чем тут ОС если у тебя код еще компилятор покрошить может
В случае с nullptr в unique не сможет
EP
Т-34 85
да, это будет sigill
это же про инструкции
CD
данные живут в vec, который проверяет индексы. поэтому use-after-free невозможнен.
указатели ведут в хипу, которая может нулить всю свободную память и поставить страничные заглушки на границу, поведение будет полностью defined