EG
Соответственно, тот ноль, который мы получили из
mmap не является нулевым указателемSize: a a a
2020 March 11
EG
Потому что не константен
EG
И, согласно всё тому же 6.3.2.3.3 обязан compare unequal к настоящему NULL
AZ
Т-34 85
Потому что так написан operator==()
а почему он так написан?
AZ
Т-34 85
В достаточно выразительных языках ты можешь скопировать память побитово. Но вообще, чем дальше от истоков, тем более дальше от исходного смысла
эмм, в расте i32 x = mem::unitialized() это УБ
AZ
pointer is not a byte, как говорится
EG
Т-34 85
О, отлично, PVS дураки разрабатывают
Только они пишут не об этом.
> если lvalue-выражение не указывает на объект при своем вычислении, возникает неопределенное поведение.
Оно указывает на объект, мы создали там объект до этого вызовом
> если lvalue-выражение не указывает на объект при своем вычислении, возникает неопределенное поведение.
Оно указывает на объект, мы создали там объект до этого вызовом
mmap().EG
Статья написана из предположения, что мы не аллоцировали память в нуле.
EG
И первый же комментарий к статье — про то, что это не всегда правда.
EG
http://c-faq.com/null/machexamp.html
И вот ещё про машины, которые используют не-ноль в качестве нулевого указателя.
И вот ещё про машины, которые используют не-ноль в качестве нулевого указателя.
RP
Alexander Krivitskiy
Такое исключение, что аж в stddef определено: https://github.com/gcc-mirror/gcc/blob/master/gcc/ginclude/stddef.h
^
Т8
Ну а ты комменты почитай
Там ты отписался?
RP
зачем?
RP
я же не безмозглый фанатик, которого хлебом не корми, лишь бы дай пофлеймить
Т8
Единственное, что требует стандарт — это что
(type*)0 == (type*)NULL. Самого побитового равенства NULL и 0 стандарт не требует.Тут и не надо требовать, это следствие
EG
Т-34 85
Тут и не надо требовать, это следствие
Пруф.
Я тебе привёл даже название платформы, на которой это не так.
Я тебе привёл даже название платформы, на которой это не так.
RP
"это неправильные платформы"
p
Alexander Krivitskiy
1. У раста её нет. Поведение программ на расте не определно? 2. Ты веришь, что спецификация будет реализована без багов?
2 баги не являются частью спецификации
EG
И документацию системного вызова mmap(), которая в явном виде разрешает выделять память на 0x0.
p
эмм, в расте i32 x = mem::unitialized() это УБ
Лол