Т8
а он не знает, кажется, что это. Он просто думает, что это ногострельность
Size: a a a
2021 May 27
TK
Неопределённое поведение как недетерминированный результат исполнения задокументированного выражения на невалидных значениях
H
_фиксирует_
H
об этом полунин и говорил
p
Но важнее то что писал Хиро - если ты хочешь писать небезопасный код то ты точно должен знать какие операции к уб приводят а какие нет.
П
А задокументированное выражение в расте это где?
П
В рефе?
TK
Считай тогда, что конкретная версия языка на стейбле фиксирует некую недоспеку
TK
Что слабее, конечно
p
Недетерминированный результат исполнения это undefined value
П
Та я ху его, есть набор операций, которые обозвали ub. И от этого списка уже выходит ансаунд. Это в расте, в остальном мире хз. И я хз чо как сравнивать раст и плюсы в этом плане
TK
"Результат" не в смысле только лишь возвращаемого значения
H
так и есть. но версии компилятор меняются. и + я не хочу лазить в дебри компилятора, я хочу текстом человеческим прочесть спецификацию, чтобы удостовериться, что я всё делаю как надо
П
Версии яп ничего не фиксируют. Версии компилятора еще мб
П
Но опять эт херня какая-то выходит
TK
unsafe тогда полностью ub, можно сказать ещё. Но не весь язык.
p
Compilers are not required to diagnose undefined behavior (although many simple situations are diagnosed), and the compiled program is not required to do anything meaningful
H
как unsafe неполностью задокументирован, так и весь язык
p
the compiled program is not required to do anything meaningful
H
мы полагаемся в таком случае на поведение компилятора и интуицию как должно правильно работать. и то, и другое — не лучший выход, очевидно