BV
Создание указателя из числа это unspecified behaviour
specified
Size: a a a
2020 October 06
EG
Я не знаю, как определяется лайфтайм объекта при этом
EG
specified
Ноп. Defined, но не specified.
EG
6.3.2.3.5: An integer may be converted to any pointer type. Except as previously specified, the result is implementation-defined, might not be correctly aligned, might not point to anentity of the referenced type, and might be a trap representation.
BV
Ноп. Defined, но не specified.
там даже описано в стандарте про поинтеры что они могут как преобразованы из чисел так и наоборот - главное чтобы остальные правила не нарушались при этом
EG
Тебе даже не гарантируется, что
(void*)(int)p это всё тот же указатель, хотя для всех нормальных имплементаций это верноEG
Тебе даже не гарантируется, что
(void*)(int)p это всё тот же указатель, хотя для всех нормальных имплементаций это верноИли хотя бы, что это корректный указатель, кстати
BV
Тебе даже не гарантируется, что
(void*)(int)p это всё тот же указатель, хотя для всех нормальных имплементаций это вернотак вопрос не про гарантии что оно будет одним и тем же, вопрос про ограничения
EG
Когда ты конвертируешь число в указатель, ты получаешь некое неопределённое стандартом значение.
EG
Соответственно, лайфтайм объектов, полученных с помощью такого каста, из стандарта узнать нельзя. Нужно читать документацию к компиляторам, наверное.
DF
в с++ есть некие гарантии например на intptr_t что каст туда обратно не меняет значение указателя
BV
Соответственно, лайфтайм объектов, полученных с помощью такого каста, из стандарта узнать нельзя. Нужно читать документацию к компиляторам, наверное.
ну тут у тебя небольшая путанница по поводу терминов - из раста набрал
DF
но с просто числом это уже УБ в с++
EG
ну тут у тебя небольшая путанница по поводу терминов - из раста набрал
Слово «лайфтайм» определено в 6.2.4.1 стандарта C11, при чём тут Rust?
BV
Слово «лайфтайм» определено в 6.2.4.1 стандарта C11, при чём тут Rust?
у указателя нет времени жизни в С, есть оно у типа на который он указывает
EG
Dollar Føølish
в с++ есть некие гарантии например на intptr_t что каст туда обратно не меняет значение указателя
C++ я обсуждать не готов. Стандарт C++ я не читал, он слишком длинный.
EG
у указателя нет времени жизни в С, есть оно у типа на который он указывает
Да, я про это же.
Время жизни объектов, на которые указывает указатель, полученный с помощью каста из числа, не определено стандартом C.
Время жизни объектов, на которые указывает указатель, полученный с помощью каста из числа, не определено стандартом C.
EG
Стандарт C вообще ничего не определяет для указателей, полученных из числа.
EG
Поэтому, возвращаясь к исходному вопросу, с хардварью всё очень просто — не определено.
DF
ну да уже Мануэль все правильно говорит по моему, если последнее его "не определено" читать как unspecified