Что подразумевается под неизменностью состояния класса в объектно-ориентированном программировании?

Неизменность состояния класса (immutable state) в объектно-ориентированном программировании означает, что после создания объекта его внутреннее состояние нельзя изменить. Все поля объекта становятся только для чтения, и любые операции, которые могли бы изменить состояние, вместо этого возвращают новый объект с обновлёнными значениями.

Это помогает избежать ошибок, связанных с изменением данных в разных частях программы, упрощает отладку и делает код более предсказуемым.

Пример в Python с использованием @dataclass(frozen=True):

from dataclasses import dataclass

@dataclass(frozen=True)
class Point:
    x: int
    y: int

p1 = Point(1, 2)
# p1.x = 3  # Это вызовет ошибку, так как объект неизменяем

# Чтобы "изменить" точку, создаём новый объект
p2 = Point(p1.x + 1, p1.y)