Size: a a a

2021 May 01

EG

Emmanuel Goldstein in rust_offtopic
6.3.2.3.5?
источник

EG

Emmanuel Goldstein in rust_offtopic
ХЗ почему там entity, с моей точки зрения с тем же успехом мог быть object
источник

B

Börgar in rust_offtopic
который про поинтер из инта
источник

EG

Emmanuel Goldstein in rust_offtopic
А, потому что поинтеры бывают не только на object, но ещё и на function
источник

EG

Emmanuel Goldstein in rust_offtopic
function это entity, но не object
источник

EG

Emmanuel Goldstein in rust_offtopic
Но к функциям требования ещё строже
источник

B

Börgar in rust_offtopic
мб storage duration как раз, но его можно дерефать в некоторых имплах
источник

B

Börgar in rust_offtopic
так или иначе
источник

B

Börgar in rust_offtopic
наверное
источник

EG

Emmanuel Goldstein in rust_offtopic
Поэтому, кстати, сносный интерпретатор C это едва ли не более сложная задача, чем компилятор
источник

EG

Emmanuel Goldstein in rust_offtopic
Реальные программы на C постоянно опираются не на гарантии стандарта, а на то, что C компилируется в понятно какой машинный код
источник

EG

Emmanuel Goldstein in rust_offtopic
Интерпретатор C на попытку разыменовать указатель полученный из числа (или из mmap(), кстати) непонятно что должен делать, потому что он такого объекта не знает
источник

B

Börgar in rust_offtopic
тоесть на гарантии стандарта + гарантии реализации
источник

EG

Emmanuel Goldstein in rust_offtopic
Я не уверен, что это хоть где-то прописано
Но
Типа
Все знают, что разыменовывание поинтера компилируется в чтение из памяти
источник

EG

Emmanuel Goldstein in rust_offtopic
Компиляторы не используют тот факт, что чтение по поинтеру полученному из числа это UB
источник

EG

Emmanuel Goldstein in rust_offtopic
Компиляторы не используют то, что NULL это специальное значение, а не 0
источник

EG

Emmanuel Goldstein in rust_offtopic
Все это знают
источник

B

Börgar in rust_offtopic
а вдруг значение в регистре?
источник

EG

Emmanuel Goldstein in rust_offtopic
У виртуальной машины C нет регистров
источник

EG

Emmanuel Goldstein in rust_offtopic
Т. е. вру
источник