KR
Хороших снов)
Size: a a a
2021 May 01
EG
Спасиб
B
споки
X
KR
Как царюшка сказал
KR
А, стоп...
r
Не программист для UB, а UB для программиста. хех. Языки делаются, чтобы что-то работало, а не чтобы реализовать абстрактные концепции. Линус прав: если для работы с железом что-то нужно, но стандарт языка говорит что это - UB, то стандарт идёт лесом.
r
Впрочем, можно просто определить области отображаемых на память регистров как всегда аллоцированные объекты. В результате компилятор обязан будет генерировать чтение по адресу, так как на некоторых платформах это будет не UB.
EG
Нельзя. Аллоцированный объект можно передать в функцию
free()EG
В том-то и проблема, что семантика такого указателя непонятная
r
Ну а всегда аллоцированный объект, очевидно, нельзя передать в функцию free. Семантика простая - чтение по адресу памяти (как определено в memory model)
EG
У объектов в си есть времена жизни
EG
Время жизни либо привязано к идентификатору, либо динамическое.
EG
Если оно динамическое, то объект можно передать в
free().EG
Если оно привязано к идентификатору, то где этот идентификатор.
r
Если стандарт не натягивается на глобус, то дополняем стандарт, а не выкидываем глобус. Считаем, что есть неявные идентификаторы (зависимые от платформы).
EG
Красивым решением тут было бы что-то вроде
#[at = 0x1337]
static Foobar foobar;
EG
Тогда всё понятно — у нас статическое время жизни, привязанное к идентификатору
foobar.EG
Тут ещё не понятно, в чьей ответственности лежит «перечислить эти идентификаторы»
EG
По хорошему — в ответственности авторов компилятора, потому что платформа ни в чём уверена быть не может.
По факту это делает только платформа.
По факту это делает только платформа.