p
То есть при уб неизвестно что программа будет делать в принципе.
Size: a a a
2021 May 27
TK
...или недетерминированный результат исполнения
TK
(то же самое другими словами)
П
Ну эт подходит в какой-то мере
p
1. Результата может не быть.
2. Исполнение может не закончиться.
2. Исполнение может не закончиться.
p
Потому что программа не обязана ничем после ub.
П
Результат = последствия
TK
Результат не как возвращаемое значение, а как итоговое исполнение программы
p
Я не понимаю что это, объясни
П
Да я сам хз что происходит
TK
safe подмножество полностью задокументировано и фиксировано версией языка совместо со словом пацанов. Возникновение unsound (ub в чистом safe) - баг компилятора. unsafe не специфицирован, но частично документирован, и там можно считать всё ub.
П
В рефе и из сейфа дофига нет, емнип
П
Finally, this book is not normative. It may include details that are specific to rustc itself, and should not be taken as a specification for the Rust language.
А ну и да
А ну и да
H
согласно Пирсу, UB в общем случае — когда программа может пойти любыми путями исполнения. когда её семантика не определена
H
попробую найти цитату. там что-то такое было
Т8
О, а implementation defined - это синоним?
H
очевидно нет
H
реализация по спецификации может фиксировать ID, UB не может
TK
Implementation defined идёт одним выбранным путём исполнения, неподконтрольным программисту
TK
(то есть заведомо неизвестным, но детерминированным способом)