EG
Ну, скажем так
Size: a a a
2021 May 01
EG
Пара компилятор + платформа, и гарантировать должен компилятор
EG
volatile не обязывает компилятор действительно порождать доступы к памяти, оно обязывает «выполнять по правилам абстрактной машины, а не жульничать»
EG
Иначе у тебя интерпретатор C был бы невозможен
B
я могу понять почему компилятор (он не поймет мануал по-английски), но это не UB тк платформа
B
а если объект в памяти, то что нам говорит сделать абстрактная машина?
EG
Это может не дойти до платформы, если компилятор откажется порождать memory access. И он не обязан порождать memory access, он вообще не обязан пользоваться той же памятью, что и платформа.
EG
Это не объект.
EG
Это ты число кастанул к поинтеру и получил хз что.
EG
Сам по себе результат такой операции implementation-defined, где implementation это однозначно компилятор.
EG
Если тебе компилятор отдельно не гарантирует, что ты так получишь pointer to an object, если платформа это разрешает, то это не прокатит
B
если это не объект то UB Q.E.D. , но платформа нам там определяет обїект
EG
Conforming компилятор может на каждом доступе к памяти добавлять 1000 к указателям и это прокатит.
AN
просто это кароче какое то буквоедство. в стандарте имелось ввиду лишь то что среди значений переменной для поинтера должно быть специальное значение для NULL. И все эти абстрактные формулировки лишь для того чтобы сказать какое это значение - детали реализации. - получайте его через (void*)0. То что там в ядре что-то есть для старых конпиляторов костыли, то это просто костыли.
EG
И с volatile прокатит, правила абстрактной машины это не меняет.
B
так стоп
EG
Conforming компилятор может хранить все объекты на куче, ссылки на них — в массиве, а имплементации отдавать индексы массива как указатели
EG
И если он предоставляет рантайм, который производит обратное преобразование, то это тоже сработает
AN
иначе это просто немысленно что ты можешь не добавив в рантайм дополнительного значение протрекать все NULL в компайл тайм.
EG
Он может генерировать матерные слова и использовать их в качестве указателей, а объекты хранить в хешмапе