D
ага
Size: a a a
2021 April 17
D
ну вот опять же, нам надо, язык не дает права, че делать?)
EG
Rule of a thumb тут «никогда не кастуй число в поинтер, поинтеры — не числа»
D
спасибо не знал))
EG
В C++ есть магическая функция, которая проставляет поинтеру provenance, кажется
EG
Можешь попробовать через cxx его туда-сюда прогнать :)
D
да, ты говоришь о правильных вещах: "provenance"
EG
Но вообще — а зачем «надо»? У тебя есть
.offset(), чем тебе его не хватает? Что вообще должно значить получение поинтера из числа?EG
Я полагаю, ты можешь написать функцию
fn pointerize<T>(arg: usize) -> *const T, которая внутри содержит более или менее пустой ассемблерный блокEG
Компилятор никогда ничего не предполагает про то, что произошло после ассемблерных блоков -> ты можешь относиться к этому поинтеру как к «полученному из внешней библиотеки»
EG
Хотя я представления не имею зачем
D
не мне конкретно надо
D
это я просто говорю в контексте того что все стандарты немного не отражают текущее положение дел, и хз как с этим жить
EG
Стандарт тебе запрещает «получать поинтер из числа, которое не получено из поинтера»
Я говорю о том, что эта операция и так не имеет смысла
Я говорю о том, что эта операция и так не имеет смысла
EG
«Стандарт запрещает операции, которые не имеют смысла» это не проблема
D
если б все было так просто
D
D
ща попытаюсь найти топовый пример с кастами
D
а ну да, опять же ральф https://www.ralfj.de/blog/2020/12/14/provenance.html
D
char p[1], q[1] = {0};
uintptr_t ip = (uintptr_t)(p+1);
uintptr_t iq = (uintptr_t)q;
if (iq == ip) {
*(char*)iq = 10;
print(q[0]);
}