문자열은 컴퓨터 과학과 프로그래밍에서 문자를 순서대로 나열해 다루는 기본적인 자료형이다.[1][2] 보통 큰따옴표로 감싼 형태로 표기하며, 실제 저장 방식은 언어와 인코딩 체계에 따라 달라진다.[1][4] 텍스트를 다루는 거의 모든 프로그램에서 등장하므로, 단순한 표시 형식이 아니라 구조화된 데이터로 이해하는 편이 정확하다.[2]
1. 개요
문자열은 한 개 이상의 문자가 순서대로 이어진 수열로 볼 수 있다.[1][4] 이때 문자 하나를 어떤 코드로 대응시키는지는 인코딩 체계에 달려 있으며, 같은 문자열이라도 바이트 배열의 모습은 환경마다 달라질 수 있다.[1][2] 그래서 문자열을 설명할 때는 "무엇을 담고 있는가"와 "어떻게 저장되는가"를 구분하는 것이 중요하다.[2]
문자열은 값의 나열처럼 보이지만, 실제로는 언어의 규칙과 메모리 모델을 함께 반영하는 데이터 구조다.[2][4] 입력값 처리, 이름 저장, 문장 검색처럼 현실의 많은 작업이 문자열을 중심으로 돌아가기 때문에, 문자열의 정의를 정확히 이해하면 컴퓨터 프로그래밍에서 데이터 흐름을 더 쉽게 읽을 수 있다.[2]
2. 표현과 저장
C 계열 언어에서는 문자열을 포인터나 배열로 관리하고, 끝을 나타내기 위해 널 문자를 붙이는 방식이 널리 쓰였다. 반면 C++의 std::string은 문자열 길이와 저장을 객체가 관리하도록 해, 문자 배열을 직접 조작할 때보다 사용이 편하다.[3] 자바와 파이썬처럼 문자열을 언어 차원에서 더 높은 수준의 객체로 다루는 환경도 있어, 같은 문자열이라도 불변성이나 메모리 관리 방식은 다를 수 있다.[2][4]
이 차이는 단순한 문법 차이가 아니라 연산 가능성과 안전성의 차이로 이어진다.[2][4] 예를 들어 문자열이 내부적으로 배열처럼 저장되더라도, 개발자는 이어 붙이기나 일부 구간 추출 같은 연산을 객체의 메서드로 다룰 수 있다.[3][4] 따라서 문자열을 이해할 때는 표기 방식뿐 아니라 저장 방식과 접근 방식을 함께 살펴야 한다.[2]
3. 연산과 구현
문자열에 대해 자주 하는 일은 이어 붙이기, 길이 확인, 일부 구간 추출, 사전순 비교다.[2][4] 이런 연산은 텍스트 검색, 입력값 검증, 데이터 파싱의 기본이 되며, 구현 언어에 따라 제공되는 함수 이름과 비용이 다르다.[4] 특히 문자열을 반복해서 덧붙이는 방식은 성능에 영향을 줄 수 있어, 자료 구조와 사용 패턴을 함께 봐야 한다.[2][4]
문자열 구현은 프로그래밍 언어마다 다르지만, 핵심 목표는 읽기 쉬운 코드와 예측 가능한 동작을 제공하는 데 있다.[2][3] 자료형이 값을 분류하고, 그 분류에 맞는 연산만 허용하도록 돕는 것처럼 문자열도 정해진 규칙 안에서 처리될 때 오류를 줄일 수 있다.[1][2] 그래서 문자열은 단순한 텍스트 보관 수단이 아니라, 프로그램의 의미를 안정적으로 전달하는 기본 단위로 취급된다.[1][4]
4. 문자열 알고리즘
문자열을 다루는 문제는 단순 저장을 넘어서 문자열 매칭과 패턴 탐색으로 이어진다.[6] 대표적으로 접두사와 접미사의 겹침을 활용하는 방식이나, 긴 텍스트에서 짧은 패턴의 위치를 빠르게 찾는 알고리즘이 있다.[6] 예를 들어 KMP는 불필요한 비교를 줄이기 위해 부분 일치를 재사용하는 접근으로 알려져 있다.[6]
이런 알고리즘은 검색, 편집기, 컴파일러 전처리처럼 텍스트 기반 작업 전반에서 쓰인다.[6] 문자열 비교가 단순해 보이더라도 입력 길이가 커지면 계산량 차이가 크게 드러나므로, 문자열을 다룰 때는 자료형의 의미와 알고리즘의 효율을 함께 보는 것이 중요하다.[4][6]