파이썬 리스트를 그림으로 표현하기

다음 코드를 보고 메모리의 상태를 우선 그려봅시다.

>>> a = "hello"
>>> b = ["hello", "python"]

변수 a는 문자열 객체를 바인딩하고 변수 b는 리스트 객체를 바인딩합니다. a, b 변수가 바인딩하는 각 객체의 주소를 출력해보면 서로 다름을 확인할 수 있습니다.

>>> id(a)
>>> id(b)

a라는 변수가 바인딩하는 "hello"라는 문자열 객체와 b 리스트의 [0]이 바인딩하는 문자열 'hello'가 동일한 객체일까요? 주소 값을 출력하여 확인해보면 같은 객체임을 알 수 있습니다.

id(a), id(b[0])

Immutable과 Mutable

파이썬에서 객체는 수정 가능한 타입도 있고 수정 불가능한 타입도 있습니다. 여기서 수정 불가능한 객체를 immutable 객체라고 부르고 수정 가능한 객체를 mutable 객체라고 부릅니다. 우리가 알고 있는 파이썬 기본 데이터 타입 중 정수, 실수, 문자열, 튜플이 대표적인 immutable 객체이고 리스트와 딕셔너리가 mutable 객체입니다.

먼저 다음 코드를 실행해보고 메모리 상에서 어떤 변화가 있을지 생각해봅시다.
.```

a = "python2"
id(a)
4399272816
a = "python3"
id(a)
4399272880

위 코드는 다음과 같이 순차적으로 수행됩니다.

1) 'python2'라는 문자열 객체가 메모리의 4399272816 번지에 할당되고 해당 객체를 a라는 변수가 바인딩합니다.
2) 'python3'라는 문자열 객체가 메모리의 4399272880 번지에 할당되고 해당 객체를 a라는 변수가 바인딩합니다. 
3) 'python2'라는 문자열 객체는 아무도 자신을 참조하지 않기 때문에 가비지 컬렉터에 의해 자동으로 메모리에서 소멸됩니다. 
![](https://velog.velcdn.com/images/s2s2hyun/post/44de4e3c-70de-4dc4-8542-fdc6cb79a652/image.png)

이번에는 리스트에 대해서 수정을 해봅시다. a라는 변수는 리스트 객체를 바인딩합니다. 리스트에 값을 추가해도 리스트 객체의 시작 주소 값은 변하지 않음을 알 수 있습니다.

a = ["python2", "python3"]
id(a)
4398197808
a.append("python4")
a
['python2', 'python3', 'python4']
id(a)
4398197808
id(a[0])
4399272816
id(a[1])
4399272880
id(a[2])
4399272944

리스트 객체는 [0]번, [1]번, [2]번이 리스트의 원소인 문자열 객체를 다시 바인딩하는 구조로 갖습니다. 따라서 리스트에 원소를 추가하거나 삭제해도 리스트 객체의 시작 주소는 변하지 않는겁니다.
![](https://velog.velcdn.com/images/s2s2hyun/post/c3e2bb42-c160-4a23-9e79-1d7d7d158a7c/image.png)