s
там ссылка(переменная) это ключ в словаре
Size: a a a
2021 February 23
s
значением может быть что угодно
s
и там же содержится информация о типе
поменяли значение по ключу - поменяли тип
поменяли значение по ключу - поменяли тип
PY
а в плюсах адрес не ключ тот же? переменные класса лежат в чанке том же, захотели, только часть взяли, и вот уже другой тип
s
а в плюсах адрес не ключ тот же? переменные класса лежат в чанке том же, захотели, только часть взяли, и вот уже другой тип
адрес - значение
s
ключ - абстракция времени компиляции
s
классов нет в коде нигде скомилированном
они существуют только на этапе компиляции
в этом смысл статической типизации
они существуют только на этапе компиляции
в этом смысл статической типизации
CD
классов нет в коде нигде скомилированном
они существуют только на этапе компиляции
в этом смысл статической типизации
они существуют только на этапе компиляции
в этом смысл статической типизации
это с какой стороны посмотреть
CD
с точки зрения логики в памяти объекты лежат
AB
а в плюсах адрес не ключ тот же? переменные класса лежат в чанке том же, захотели, только часть взяли, и вот уже другой тип
Ты не можешь обращаться к объекту, который не создан
AB
Реинтерпрет не создает объект
s
с точки зрения логики в памяти объекты лежат
лежат, но в скомпилированном коде нет информации об их структуре
s
просто функция которая работает с этими объектами по нужным смещениям которые определил компилятор достает данные
PY
Ну это понятно, что код на плюсах, условно говоря, перегоняется в си и в ассемблер, и в машинные инструкции. И каждый слой не знает более высокие вещи предыдущего.
AB
Типы должны быть преобразуемы. В общем случае из foo не сделать bar, даже реинтерпретом
Вернее compatible
PY
Вернее compatible
а что значит в данном контексте compatible
AB
Смотри в стандарте, это набор правил
AB
А лучше смотри, где можно использовать реинтерпрет и динамик
s
Ну это понятно, что код на плюсах, условно говоря, перегоняется в си и в ассемблер, и в машинные инструкции. И каждый слой не знает более высокие вещи предыдущего.
ну собственно это компромисс в итоге - если мы переносим все в рантайм - программировать удобно, но за это придется платить доп памятью и процессорным временем и еще таскать с собой скорей всего интерпретатор, если переносим все в компайл тайм - платим сложностью программирования
s
вот типа использование 0 адреса как нулевого указателя - один из компромиссов - потеряв по сути одно слово машинное из адресного пространства мы получаем возможность в рантайме по сути "изменять тип указателя" делая его с точки зрения языка инициализированным/не инициализированным, при этом сохраняя статическую типизацию