Представление объектов в памяти

@Полурослик · Регистрация: 28.03.2016

Студворк — интернет-сервис помощи студентам

Может кто объяснить почему код возвращает одинаковые id и True при сравнении на is:

Python
1
2
3
4
5
6
a = '100'
b = '100'
 
print(id(a))
print(id(b))
print(a is b)

но при этом следующий код возвращает разные id и False соответственно, несмотря на то, что str неизменяемый тип и в источниках встречал что двум неизменяемым объектам выделять память избыточно?

Python
1
2
3
4
5
6
a = '100'
b = str(100)
 
print(id(a))
print(id(b))
print(a is b)

Какое правило тут? Явно не "если строка вычислена, а не задана литералом, поиск совпадающих по памяти не происходит", т.к. следующий пример тоже возвращает Тру:

Python
1
2
3
4
5
6
a = '100'
b = '1' + '0' * 2
 
print(id(a))
print(id(b))
print(a is b)

@Whitecolor · 19.03.2025, 17:29

Сообщение от Полурослик

b = str(100)

В этом случае создаётся новый объект строки, поэтому это разные объекты в памяти и выдается False, так как is проверяет, ссылаются ли две переменные на один и тот же объект в памяти

@Полурослик · 19.03.2025, 17:39 **[ТС]**

Whitecolor, да, это понимаю. По какому правилу решается когда создать именно новый объект? Вот в этом вопрос.

Например, если я к int привожу из любого типа, а такое число уже есть, новый объект не создается. А если привожу к строке или кортежу — создается. Потому что они не атомарные?

@Eduard1977 · 19.03.2025, 17:41

Сообщение от Полурослик

a = '100'
b = '100'

Для экономия места в памяти эти два числа находятся в одном и том же месте в памяти. Так как они одинаковы.

@Полурослик · 19.03.2025, 17:44 **[ТС]**

Eduard1977, это я и беру за начальное предположение — одинаковые неизменяемые объекты не хранятся дважды, а указывают на одну область памяти.

Почему только тогда в примере 2 одинаковые строки, полученные разными способами, хранятся отдельно?

@s_t_r_a_j · 19.03.2025, 18:42

потому что str это изменяемый тип данных, а int неизменяемый. тоже самое (как с int) произойдет и с типом данных tuple кортежем, так как он тоже неизменяемый, а вот со списком тоже как со строкой получится (изменяемый тип)

@Welemir1 · 19.03.2025, 19:25

Сообщение от Полурослик

в источниках встречал что двум неизменяемым объектам выделять память избыточно?

это где ты встречал?

Сообщение от Полурослик

По какому правилу решается когда создать именно новый объект? Вот в этом вопрос.

внутренние особенности cpython полагаться на которые в коде не стоит

Сообщение от Полурослик

если я к int привожу из любого типа, а такое число уже есть, новый объект не создается

только для чисел от -5 до 255 (если точно помню верхнюю границу)

Python
1
2
3
4
5
6
7
8
9
10
>>> x=100500
>>> id(x)
4343925360
>>> y=int('100500')
>>> id(y)
4343924720
>>> x == y
True
>>> x is y
False

Сообщение от Полурослик

Явно не "если строка вычислена, а не задана литералом, поиск совпадающих по памяти не происходит",

именно так и работает) если можно выражение вычислить при компиляции в байткод, то тогда будет использовано интернирование строк (один и тот же объект в памяти), если нет, то разные объекты.
В своем 3 примере просто вынеси 2 в переменную и сразу поменяется результат, потому что интерпретатор не знает в момент компиляции результат

Python
1
2
3
4
5
6
7
a = '100'
x=2
b = '1' + '0' * x
 
print(id(a))
print(id(b))
print(a is b)

Добавлено через 2 минуты

Сообщение от s_t_r_a_j

str это изменяемый тип данных

точно?

Strings are immutable sequences of Unicode code points.

@Полурослик · 19.03.2025, 19:46 **[ТС]**

Welemir1, спасибо! Единственное что осталось неясно теперь, почему так с интами?

Python
1
2
3
4
5
x = 1
a = 10 + x
b = 11
 
print(a is b) # True

и

Python
1
2
3
4
5
x = 1
a = 100000 + x
b = 100001
 
print(a is b) # False

Из-за того, как представлено целое число для "длинной арифметики" в памяти или еще по какой-либо причине?

@Welemir1 · 19.03.2025, 19:51

Сообщение от Полурослик

Единственное что осталось неясно теперь, почему так с интами?

я же написал, для оптимизации целые числа от -5 до 255 (самые используемые) создаются ровно 1 раз. И то не помню верхнюю границу, может и 253.

@Eduard1977 · 19.03.2025, 19:57

Сообщение от Welemir1

И то не помню верхнюю границу, может и 253.

наверно 250. Так как 255 - 5 = 250

Добавлено через 27 секунд
Используется один байт. Это предположение моё.

@Welemir1 · 19.03.2025, 20:01

Eduard1977, а ты не гадай, а проверь, написав код проверки от -100 до 1000, и тут напиши что получилось, интересная задачка вроде для разминки

@Eduard1977 · 19.03.2025, 20:20

Сообщение от Welemir1

я же написал, для оптимизации целые числа от -5 до 255 (самые используемые) создаются ровно 1 раз. И то не помню верхнюю границу, может и 253.

По моему это не так. Вот этот код выдаёт следующее.

Python
1
2
3
a = 103500
b = 103500
print(id(a),id(b))

2258400426864 2258400426864

Добавлено через 47 секунд
Для большого числа один и тот же адрес.

@Welemir1 · 19.03.2025, 20:44

эххх... то есть выше про интернирование и создание объектов на этапе компиляции не стал читать?

@Eduard1977 · 19.03.2025, 21:11

Вот этот код дал результаты

Python
1
2
3
for a in range(-100, 1000):
    b = int(str(a))
    print(a, id(a), id(b))

от -5 до 256

Добавлено через 11 минут
Не знаю код правильный или нет?

@Welemir1 · 19.03.2025, 21:11

Сообщение от Eduard1977

от -5 до 256

бинго!

Новые блоги и статьи Все статьи Все блоги /
WordPad для Windows 11 Jel 10.01.2026 WordPad для Windows 11 — это приложение, которое восстанавливает классический текстовый редактор WordPad в операционной системе Windows 11. После того как Microsoft исключила WordPad из. . .	Classic Notepad for Windows 11 Jel 10.01.2026 Old Classic Notepad for Windows 11 Приложение для Windows 11, позволяющее пользователям вернуть классическую версию текстового редактора «Блокнот» из Windows 10. Программа предоставляет более. . .	Почему дизайн решает? Neotwalker 09.01.2026 В современном мире, где конкуренция за внимание потребителя достигла пика, дизайн становится мощным инструментом для успеха бренда. Это не просто красивый внешний вид продукта или сайта — это. . .	Модель микоризы: классовый агентный подход 3 anaschu 06.01.2026 aa0a7f55b50dd51c5ec569d2d10c54f6/ O1rJuneU_ls https:/ / vkvideo. ru/ video-115721503_456239114
Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ФедосеевПавел 06.01.2026 Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ВВЕДЕНИЕ Введу сокращения: аналоговый ПИД — ПИД регулятор с управляющим выходом в виде числа в диапазоне от 0% до. . .	Модель микоризы: классовый агентный подход 2 anaschu 06.01.2026 репозиторий https:/ / github. com/ shumilovas/ fungi ветка по-частям. коммит Create переделка под биомассу. txt вход sc, но sm считается внутри мицелия. кстати, обьем тоже должен там считаться. . . .	Расчёт токов в цепи постоянного тока igorrr37 05.01.2026 / * Дана цепь постоянного тока с сопротивлениями и напряжениями. Надо найти токи в ветвях. Программа составляет систему уравнений по 1 и 2 законам Кирхгофа и решает её. Последовательность действий:. . .	Новый CodeBlocs. Версия 25.03 palva 04.01.2026 Оказывается, недавно вышла новая версия CodeBlocks за номером 25. 03. Когда-то давно я возился с только что вышедшей тогда версией 20. 03. С тех пор я давно снёс всё с компьютера и забыл. Теперь. . .

@Полурослик 71 / 55 / 24 Регистрация: 28.03.2016 Сообщений: 171
	19.03.2025, 17:39 [ТС]
	Whitecolor, да, это понимаю. По какому правилу решается когда создать именно новый объект? Вот в этом вопрос. Например, если я к int привожу из любого типа, а такое число уже есть, новый объект не создается. А если привожу к строке или кортежу — создается. Потому что они не атомарные? 0

@Полурослик 71 / 55 / 24 Регистрация: 28.03.2016 Сообщений: 171
	19.03.2025, 17:44 [ТС]
	Eduard1977, это я и беру за начальное предположение — одинаковые неизменяемые объекты не хранятся дважды, а указывают на одну область памяти. Почему только тогда в примере 2 одинаковые строки, полученные разными способами, хранятся отдельно? 0

@s_t_r_a_j 526 / 179 / 58 Регистрация: 12.02.2023 Сообщений: 641
	19.03.2025, 18:42
	потому что str это изменяемый тип данных, а int неизменяемый. тоже самое (как с int) произойдет и с типом данных tuple кортежем, так как он тоже неизменяемый, а вот со списком тоже как со строкой получится (изменяемый тип) 0

@Welemir1 Автоматизируй это! 7390 / 4817 / 1246 Регистрация: 30.03.2015 Сообщений: 13,664 Записей в блоге: 29
	19.03.2025, 20:01
	Eduard1977, а ты не гадай, а проверь, написав код проверки от -100 до 1000, и тут напиши что получилось, интересная задачка вроде для разминки 0

@Welemir1 Автоматизируй это! 7390 / 4817 / 1246 Регистрация: 30.03.2015 Сообщений: 13,664 Записей в блоге: 29
	19.03.2025, 20:44
	эххх... то есть выше про интернирование и создание объектов на этапе компиляции не стал читать? 0

Представление объектов в памяти

Решение