[PYTHON] 객체 비교의 2가지 핵심, is와 == 연산자의 내부 동작 차이와 메모리 최적화 해결 방법

is와 == 연산자

 

 

파이썬(Python) 개발 과정에서 가장 빈번하게 발생하는 논리적 오류 중 하나는 객체의 동일성(Identity)과 동등성(Equality)을 혼동하는 것입니다. "값이 같으면 같은 것 아닌가?"라는 질문은 파이썬의 메모리 관리 체계인 CPython의 내부 동작을 이해하지 못했을 때 나오는 위험한 접근입니다. 본 포스팅에서는 is 연산자와 == 연산자가 CPU와 메모리 수준에서 어떻게 다르게 처리되는지 심층 분석하고, 파이썬의 인터닝(Interning) 시스템이 개발자의 예상과 다르게 결과를 도출하는 특이 사례를 해결하는 7가지 실무 예제를 제시합니다.

---

1. Identity(is) vs Equality(==)의 내부 메커니즘

파이썬의 모든 것은 객체입니다. 각 객체는 고유한 메모리 주소(ID), 타입, 그리고 값을 가집니다. 두 연산자의 차이는 바로 '무엇을 비교 대상으로 삼는가'에 있습니다.

• == (Equality): 객체의 값(Value)이 같은지 비교합니다. 내부적으로는 해당 객체의 __eq__() 매직 메서드를 호출하여 논리적 일치 여부를 판단합니다.
• is (Identity): 두 변수가 동일한 메모리 주소(Memory Address)를 가리키고 있는지 비교합니다. C 레벨에서는 id(a) == id(b)와 동일한 연산을 수행하며, 값의 내용과는 상관없이 '객체 그 자체'의 동일성을 확인합니다.

---

2. is와 == 연산자의 결정적 차이 요약

두 연산자의 기술적 특성과 최적화 동작을 표로 정리하였습니다.

비교 항목	is 연산자 (Identity)	== 연산자 (Equality)
비교 대상	메모리 주소 (C 포인터 주소)	객체의 데이터 값 (내용물)
내부 메서드	없음 (ID 직접 비교)	__eq__(self, other)
연산 속도	매우 빠름 (O(1))	상대적 느림 (값에 따라 O(N)까지 증가)
None 비교	권장 (싱글톤 보장)	비권장 (오버라이딩 위험)
주요 특징	정수/문자열 인터닝의 영향을 받음	사용자 정의 클래스에서 재정의 가능

---

3. 실무 최적화를 위한 7가지 Sample Examples

개발자가 실무에서 겪을 수 있는 메모리 구조와 연산자 활용의 핵심 사례를 소개합니다.

Example 1: 정수 인터닝(Integer Interning)의 함정

파이썬은 메모리 효율을 위해 -5부터 256까지의 정수를 미리 메모리에 생성해 둡니다. 이 범위를 벗어날 때의 is 결과 차이를 확인하세요.

a = 256
b = 256
print(a is b)  # True (인터닝 범위 내)

x = 257
y = 257
print(x is y)  # False (범위를 벗어나 별도 객체 생성)
print(x == y)  # True (값은 동일함)

Example 2: None 체크에서의 올바른 연산자 사용

객체의 값이 None인지 확인할 때는 반드시 is를 사용해야 합니다. ==는 __eq__ 오버라이딩에 의해 왜곡될 수 있기 때문입니다.

class BadObject:
    def __eq__(self, other):
        return True  # 무조건 True를 반환하는 위험한 설계

obj = BadObject()
print(obj == None) # True (논리적 오류 발생)
print(obj is None) # False (정확한 신원 확인)

Example 3: 리스트 복사와 동일성 분석

가변(Mutable) 객체인 리스트가 메모리 상에서 어떻게 다른 주소를 갖는지 보여줍니다.

list_a = [1, 2, 3]
list_b = [1, 2, 3]
list_c = list_a

print(list_a == list_b) # True (내용이 같음)
print(list_a is list_b) # False (서로 다른 리스트 객체)
print(list_a is list_c) # True (동일한 주소를 참조)

Example 4: 문자열 인터닝과 대소문자 차이 해결

문자열의 경우 공백이 없거나 특정 조건에서 인터닝이 발생하지만, 런타임에 생성된 문자열은 다를 수 있습니다.

s1 = "hello"
s2 = "".join(["h", "e", "l", "l", "o"])
print(s1 == s2) # True
print(s1 is s2) # False (런타임 생성 문자열은 인터닝되지 않을 수 있음)

Example 5: 사용자 정의 클래스의 동등성(Equality) 구현

실무에서 DTO나 모델 클래스를 비교할 때 __eq__를 정의하여 == 연산 결과를 해결하는 방법입니다.

class User:
    def __init__(self, user_id, name):
        self.user_id = user_id
        self.name = name

    def __eq__(self, other):
        if not isinstance(other, User):
            return False
        return self.user_id == other.user_id

u1 = User(1, "Alice")
u2 = User(1, "Bob")
print(u1 == u2) # True (ID가 같으므로 동등함)
print(u1 is u2) # False (물리적으로 다른 객체)

Example 6: Interning 강제 적용을 통한 성능 최적화

sys.intern()을 사용하여 메모리 사용량을 줄이고 is 연산의 속도를 활용하는 고급 기법입니다.

import sys
str1 = sys.intern("very_long_string_unlikely_to_be_interned")
str2 = sys.intern("very_long_string_unlikely_to_be_interned")
print(str1 is str2) # True (강제 인터닝 성공)

Example 7: 불변(Immutable) 튜플의 특이 케이스

튜플 내부에 가변 객체가 포함된 경우의 동등성 비교 동작입니다.

t1 = (1, 2, [3])
t2 = (1, 2, [3])
print(t1 == t2) # True
t1[2].append(4)
# 이제 t1은 (1, 2, [3, 4])이므로 t2와 값이 달라짐
print(t1 == t2) # False

---

4. 결론: 안전한 코딩을 위한 가이드라인

파이썬 개발 시 값의 일치 여부가 중요하다면 무조건 ==를 사용해야 합니다. is는 객체의 싱글톤 여부(None, True, False, Enum 등)를 확인할 때만 제한적으로 사용해야 합니다. 인터닝 범위 내의 숫자나 문자열에서 우연히 is가 True를 반환한다고 해서 이를 남발하면, 값이 조금만 커져도 코드가 깨지는 치명적인 버그를 유발하게 됩니다.

---

5. 참고 문헌 및 자료 출처

• Python Documentation - "Comparisons: Identity vs Equality".
• CPython Source Code - "Objects/object.c: PyObject_RichCompare".
• "Fluent Python" by Luciano Ramalho - Chapter 8: Object References, Mutability, and Recycling.
• PEP 8 - "Programming Recommendations: Comparisons to Singletons".