беседы состоит в том что iadd в случае с листом у нас in place, а в случае с i который у меня в классе не in place, так ведь ?
Да.
по идеи, могли бы и для чисел сделать ведь in place. Мне кажется разница диктуется тем, что под копытом. Числа и прочие атомы (или маленькие объектики) не жалко делать не in place, а вот листы и прочее уже все in place. Если не лезть, а так интуитивно "угадать".
Это сильно реализацию перекраивать, так что не могли бы. Сильно в теории да, но деление на mutable/immutable сквозит через всю спецификацию языка.
ну в теории если язык с нуля строить, то там хлопот даже меньше, чем так как сейчас помоему. Вот у вас есть целое число, допустим в системе 32 bit для простоты и у него есть адрес икс. Берешь число, кладешь в регистр, добавляешь к нему 1, кладешь обратно в память в тот же адресс, вот оно и in place. один read из памяти, один write в память (их не избежать по любому). А не in place как бы сложнее, так как переменная это всего лишь ссылка, то в случае не in place я подозреваю что делается оно так: читаешь из память значение из адресса икс, кладешь в регистр, добавляешь 1 (значение), теперь берешь другой новый адрес, и туда кладешь новое значение, а переменную указываешь на новый адрес, вот оно не in place. То есть в первое случае не надо просить у ОС нового адреса, можно использовать ту же ячейку. Иначе говоря, похоже что выбор mutable/immutable он условен, вроде как все типы могли бы быть mutable грубо говоря. Но я не настолько глубоко знаю питон, немного сейчас углубляюсь в его теорию, хочется принципы понимать.
Не, не могли бы. Всё куда сложнее и запутанее. Как только всё становится mutable, можно начать махать ручкой хэшируемости, словарям и прочему. Технически оно не сломается, но на практике будет боль и страдание.
а ну вот в этом и причина, хай левел да
Обсуждают сегодня