Python의 불변 유형과 가변 유형: 서브클래싱은 언제 불변성을 깨뜨립니까?

불변 유형과 가변 유형: 더 깊은 이해

불변 유형과 가변 유형의 차이는 특히 혼란의 원인이 될 수 있습니다. 불변 유형에서 상속되는 특정 클래스에.

불변 유형: 변경되지 않는 설계

Python에서 불변 유형은 값을 제자리에서 수정할 수 없는 객체입니다. 불변 객체는 일단 생성되면 변경되지 않고 그대로 유지됩니다. 이를 수정하려고 시도하면 새 개체가 생성됩니다. 예를 들어 float 객체는 불변입니다. 즉, 직접 변경할 수 없습니다.

SubclassingImmutable Types: Creating the Illusion of Mutability

그러나 다음을 생성하는 것은 가능합니다. 변경 가능한 것처럼 보이는 변경 불가능한 유형의 하위 클래스입니다. 이는 __new__ 메서드를 재정의하여 달성됩니다. 예를 들어 RoundFloat 클래스는 해당 값을 소수점 이하 두 자리로 반올림하는 float의 하위 클래스입니다.

class RoundFloat(float):
    def __new__(cls, val):
        return float.__new__(cls, round(val, 2))

이 코드는 float에서 상속되는 새 클래스를 정의하지만 RoundFloat 개체는 변경할 수 없습니다. 이는 __new__ 메소드가 단순히 반올림된 값으로 새 부동 객체를 생성할 뿐 원래 부동 객체를 변경하지 않기 때문입니다.

변경 가능한 유형: 내부에서 변경

반대로 가변 유형은 값을 직접 수정할 수 있습니다. 메서드를 정의하는 클래스는 변경 가능한 것으로 간주될 수 있습니다. 예를 들어 SortedKeyDict 클래스는 dict에서 상속하고 example() 메서드를 정의합니다.

class SortedKeyDict_a(dict):
    def example(self):
        return self.keys()

이 클래스를 사용하면 제공된 메서드 내에서 해당 값을 수정할 수 있습니다. 그러나 SortedKeyDict 클래스 자체는 여전히 변경할 수 없다는 점에 유의하는 것이 중요합니다. 해당 값은 변경될 수 있지만 기본 인스턴스는 동일하게 유지됩니다.

실제 가변성 이해

불변 유형과 가변 유형의 차이점을 더 잘 이해하려면 다음을 고려하세요. 대본. __new__를 사용하여 d 세트를 SortedKeyDict 클래스에 전달하면 오류가 발생하지만 __new__를 사용하여 RoundFloat 클래스에 전달하면 오류가 발생하지 않습니다.

d = (('zheng-cai', 67), ('hui-jun', 68),('xin-yi', 2))

SortedKeyDict.__new__(cls, d)  # Error raised
RoundFloat.__new__(cls, 12)  # No error

이는 SortedKeyDict는 변경 가능하고 RoundFloat는 변경 불가능함을 보여줍니다. SortedKeyDict는 변경 가능하므로 메서드 내에서 수정할 수 있습니다. 반면에 RoundFloat는 불변이므로 __new__에 전달해도 원본 객체는 수정되지 않습니다.

위 내용은 Python의 불변 유형과 가변 유형: 서브클래싱은 언제 불변성을 깨뜨립니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!