¿Qué características permiten determinar que un objeto en un programa es inmutable?

Объект считается неизменяемым (immutable), если после его создания его состояние нельзя изменить. В Python это означает, что:

• Все атрибуты объекта нельзя изменить после инициализации.
• Методы, которые могли бы изменить объект, отсутствуют или возвращают новый объект.
• Тип объекта относится к встроенным неизменяемым типам, например, int, float, str, tuple, frozenset.

Пример: строка str является неизменяемым объектом — любые операции создают новый объект, а не меняют существующий.

s = "hello"
s2 = s.upper()  # s не изменился, создан новый объект s2

Если объект пользовательский, можно определить неизменяемость, реализовав класс с атрибутами только для чтения (например, через @property без сеттера) и без методов, изменяющих состояние.