AB
Но физически ведь нет области памяти с адресом 0?
Есть
Size: a a a
2021 February 23
AB
но NULL это не 0 же.
В плюсах 0, может быть не интом, а скажем лонгом
s
nullptr не указатель
ну в данном случае деталь не существенная
AB
(void*)0
В си это возможно, в плюсах нет
D
(void*)0
Это в Си
s
В некоторых языках это называется None и мне кажется это более точное название
в питоне? питон - динамическую типизацию имеет - это значит что мы можем в рантайме взять и поменять тип ссылки любой на None - и проверять тип просто - не None ли он. Плюсы и си - статичискую типизацию имеют, то есть если на этапе компиляции определено что указатель имеет тип такой - мы не можем сказать в рантайме - "а теперь это становится типом None" - соответственно пометить как либо мы можем только через значение
PY
эй, а касты? reinterpret
AB
В некоторых языках это называется None и мне кажется это более точное название
Это точное название в другом языке
s
эй, а касты? reinterpret
мы не меняем при этом тип указателя
AB
эй, а касты? reinterpret
Типы должны быть преобразуемы. В общем случае из foo не сделать bar, даже реинтерпретом
s
тип который мы кастуем тот же остается
LA
Типы должны быть преобразуемы. В общем случае из foo не сделать bar, даже реинтерпретом
Почему не сделать? Сделать. Просто будет strict aliasing violation
s
ну возможно кто-то возразит - ведь есть dynamic_cast и все такое - ну да, только для этого мы вынуждены хранить иерархию классов в таблице отдельной к которой должны обращаться
PY
тип который мы кастуем тот же остается
а есть языки, в которых это не так?😳
s
Переслано от Mikhail Kalugin
Хранить где-то. Проще всего в ней самой, но можно (хотя и не надежно) и отдельно.
s
Переслано от std::slavik
ну окей - отдельно, тогда нам нужно вдовесок к адресу самому еще выделять машинное слово под флаг
s
Переслано от std::slavik
и мы получается увеличиваем размер указателей всех
s
s
а есть языки, в которых это не так?😳
есть
s
python