[Python 학습] 2-1 문자열은 단순한 글자가 아니다: 인덱싱, 슬라이싱 그리고 불변성의 이해

프로그래밍을 배우면서 가장 먼저 마주하는 자료형 중 하나가 바로 '문자열(String)'이다. 처음에는 그저 화면에 출력하기 위한 '텍스트' 혹은 단순한 단어의 나열 정도로만 생각했다. 하지만 오늘 첨부된 자료와 여러 웹 문서를 학습하며, 문자열은 단순한 글자가 아니라 '순서가 있는 문자 데이터의 묶음'이라는 것을 명확히 깨달았다.

데이터 분석, 사용자 입력 처리, 파일명 가공 등 실무에서 문자열 처리는 매우 자주 등장한다고 한다. 문자열을 구조적인 데이터로 바라보는 관점을 가져야만, 필요한 글자만 꺼내거나 잘라 쓰는 작업이 가능해진다. 오늘 공부한 파이썬 문자열의 핵심인 인덱싱, 슬라이싱, 그리고 문자열만의 고유한 특징들을 잊지 않기 위해 내 블로그에 정리해 둔다.

--------------------------------------------------------------------------------

1. 문자열의 위치를 가리키는 '인덱싱(Indexing)'과 0부터 시작하는 이유

파이썬에서 문자열은 각 문자가 고유한 위치 번호를 가지는데, 이를 인덱스(Index)라고 부른다. "python"이라는 문자열이 있다면 첫 번째 글자인 'p'는 0번, 'y'는 1번 위치에 있다. 일상생활에서 사람은 보통 1부터 순서를 세지만, 컴퓨터 프로그래밍에서는 0부터 숫자를 세는 것이 일반적이다.

처음엔 "왜 1이 아니라 0부터 시작할까?"라는 의문이 들어 많이 헷갈렸다. 자료를 찾아보니 컴퓨터 과학의 역사에 그 답이 있었다. 파이썬의 창시자 귀도 반 로섬(Guido van Rossum)은 '처음 n개 항목 가져오기'와 같은 슬라이싱 작업을 수식으로 표현할 때, 0부터 시작하는 인덱싱과 반개방 간격(Half-open interval)의 조합이 어색한 덧셈, 뺄셈 보정 없이 매우 우아하게 작동하기 때문이라고 밝혔다.

또한, 다익스트라(Dijkstra)의 노트에 따르면 인덱스 구간을 표현할 때 [a, b)처럼 시작은 포함하고 끝은 제외하는 반닫힌 구간 규칙을 쓰면, 시작을 0으로 잡았을 때 마지막 번호가 데이터 집합의 크기(N)와 정확히 일치하게 된다. 이런 0 기반 인덱싱 원리를 제대로 이해하지 못하면, 루프를 돌 때 1번 더 실행되거나 덜 실행되는 일명 'Off-by-one Error(OBOE)'라는 경계 조건 버그를 발생시키기 쉽다.

덧붙여, 파이썬은 편리하게도 '음수 인덱싱'을 지원한다. 인덱스에 음의 값을 주면 뒤에서부터 위치를 세게 되는데, text[-1]은 뒤에서 첫 번째(즉, 마지막) 요소를 가리키게 되어 매우 직관적이고 편리하다.

--------------------------------------------------------------------------------

2. 원하는 만큼 잘라 쓰는 마법, '슬라이싱(Slicing)'

인덱싱이 문자열 내의 단일 위치를 가리킨다면, 슬라이싱은 문자열에서 원하는 범위의 구간을 잘라내는 방식이다. 기본 문법은 [start:end:step] 형태를 띤다.

예를 들어 text = "python"일 때 text[0:2]를 입력하면 "py"가 추출된다. 여기서 가장 주의해야 할 점은 **'끝 위치(end)는 결과에 포함하지 않는다'**는 규칙이다. 즉 0번과 1번 인덱스만 가져오고 2번 인덱스 직전에서 멈추는 것이다. 귀도 반 로섬은 이러한 규칙 덕분에 문자열을 여러 부분으로 나눌 때 a[:i], a[i:j], a[j:] 처럼 앞 슬라이스의 끝 인덱스가 뒤 슬라이스의 시작 인덱스로 자연스럽게 이어지는 완벽한 불변성이 만들어진다고 설명했다.

슬라이싱의 마지막 요소인 step(간격)을 활용하면 더욱 다채로운 가공이 가능하다. 예를 들어 간격을 -1로 주어 [::-1]이라고 입력하면, 파이썬은 아주 간단하게 문자열 전체를 거꾸로(역방향으로) 뒤집어서 반환해 준다. 데이터를 역순으로 정렬하거나 텍스트를 거꾸로 출력해야 할 때 굉장히 유용하게 쓰일 팁이다.

--------------------------------------------------------------------------------

3. 문자열의 중요한 특징 : '불변성(Immutability)'

문자열의 구조를 공부하다 보니 파이썬의 대표적인 자료형인 '리스트(List)'와 매우 비슷하다는 느낌을 받았다. 실제로 인덱싱, 슬라이싱 기능은 물론이고 for 반복문 사용이나 len() 함수를 통해 길이를 구하는 것, 그리고 덧셈(+) 기호로 이어 붙이는 것까지 똑같이 적용할 수 있다.

하지만 결정적인 차이점이 존재한다. 파이썬의 객체는 수정 가능한 가변(Mutable) 객체와 수정 불가능한 불변(Immutable) 객체로 나뉘는데, 리스트는 생성 후에도 값을 바꿀 수 있는 가변 객체인 반면, 문자열은 한 번 생성되면 절대 바꿀 수 없는 불변 객체라는 사실이다.

리스트는 list = 'A'처럼 특정 위치의 요소를 직접 바꿀 수 있지만, 문자열에 text = 'P'와 같이 인덱스를 활용해 일부분 수정을 시도하면 타입 에러(TypeError)가 발생한다. 따라서 문자열의 특정 부분을 변경하고 싶다면, 원본을 억지로 수정하는 것이 아니라 슬라이싱을 통해 필요한 부분만 자른 뒤 새로운 문자와 결합하여 완전히 새로운 문자열 객체를 복사하여 생성하는 방식으로 접근해야 한다.

--------------------------------------------------------------------------------

4. 학습 회고 및 요약

오늘 학습을 통해 단순히 '글자를 읽는 것'과 프로그래밍에서 '문자열을 구조적으로 처리하는 것'의 근본적인 차이를 확실히 알게 되었다. 문자열은 텍스트를 담는 단순한 상자가 아니라, "인덱스를 통해 조작하고 자르고 결합할 수 있는 데이터 구조"이다.

처음엔 사람의 사고방식과 달라 낯설었던 파이썬의 '0부터 시작하는 인덱싱'과 '마지막 값을 포함하지 않는 슬라이싱 범위' 원리도, 그 안에 담긴 컴퓨터 과학자들의 깊은 고민과 논리를 알고 나니 훨씬 합리적이고 우아하게 다가온다. 오늘 문자열에서 익힌 이 '순서가 있는 데이터'에 대한 감각을 잘 체화해 두면, 향후 배우게 될 리스트나 튜플 같은 다른 순서형 자료구조도 훨씬 자연스럽고 덜 낯설게 다룰 수 있을 것이다.