Rust를 배우며 마주치는 첫 번째 벽, 변수 선언 에러
Rust 프로그래밍을 처음 시작하면 가장 먼저 당혹스러운 순간을 마주하게 돼요. 분명히 변수에 값을 넣었는데, 다음 줄에서 그 값을 살짝 바꾸려고 하면 빨간 줄이 뜨면서 에러 메시지가 나타나거든요. “cannot assign twice to immutable variable”라는 문구는 많은 입문자가 겪는 통과의례와 같아요.
대부분의 언어에서는 변수를 만들면 자유롭게 값을 바꿀 수 있는 것이 당연하게 여겨져요. 하지만 Rust는 철학부터가 달라요. 기본적으로 모든 변수는 한 번 정해지면 절대 변하지 않는 불변(Immutable) 상태로 만들어져요. 이 규칙 때문에 처음에는 코드를 짜는 게 답답하고 번거롭게 느껴질 수 있어요.
하지만 이 엄격함이 바로 Rust의 가장 강력한 무기예요. 변수가 변하지 않는다는 확신이 있으면, 프로그램이 복잡해져도 데이터가 어디서 어떻게 바뀌었는지 추적할 필요가 없거든요. 이는 곧 버그를 줄이고 멀티스레드 환경에서 안전한 코드를 작성할 수 있게 해줘요. 오늘 이 글을 통해 Rust 변수와 가변성 비교를 완벽히 이해하고, 언제 어떤 선언 방식을 써야 할지 명확한 기준을 세워보세요.
이 글에서는 다음과 같은 내용을 핵심적으로 다뤄요.
- 불변 변수와 가변 변수의 근본적인 차이점
- 데이터를 안전하게 다루는 섀도잉(Shadowing) 활용법
- 실무에서 바로 써먹는 상황별 선택 기준
- 초보자가 자주 저지르는 선언 실수와 해결책
변수 선언 전 반드시 알아야 할 핵심 개념
Rust에서 변수를 다루기 전에 먼저 용어와 개념을 정리해둘 필요가 있어요. 단순히 값을 저장하는 상자를 만드는 것을 넘어, 그 상자의 성격(가변성)을 결정하는 것이 Rust 프로그래밍의 시작이기 때문이에요.
불변성과 가변성의 정의
Rust에서 let 키워드를 사용하여 변수를 선언하면, 그 변수는 기본적으로 불변 상태가 돼요. 즉, 생성된 이후에는 값을 수정할 수 없어요. 만약 값을 바꾸고 싶다면 반드시 let mut와 같이 mut 키워드를 붙여서 가변성을 명시해야 해요.
Rust의 가변성은 ‘의도’를 표현하는 수단이에요. 개발자가 이 변수를 바꿀 계획이 있는지 없는지를 컴파일러에게 미리 알려줌으로써, 시스템의 예측 가능성을 높이는 데 도움을 줘요.
선택을 위한 기준 비교표
어떤 상황에서 무엇을 선택해야 할지 고민된다면 아래 표를 참고해 보세요. 상황에 따라 적절한 도구를 골라 쓰는 것이 숙련된 Rust 개발자로 가는 지름길이에요.
| 비교 항목 | 불변 변수 (let) | 가변 변수 (let mut) |
|---|---|---|
| 기본 성격 | 데이터 고정 (Read-only) | 데이터 변경 가능 (Read-Write) |
| 안전성 수준 | 매우 높음 (실수 방지) | 보통 (주의 필요) |
| 최적화 가능성 | 높음 (컴파일러가 예측 가능) | 상대적으로 낮음 |
| 주요 용도 | 설정값, 상수, 변하지 않는 데이터 | 카운터, 누적 합계, 상태 변경 |
단순히 ‘바꿀 수 있다’와 ‘없다’의 차이를 넘어, 이 선택이 코드 전체의 신뢰도에 얼마나 큰 영향을 미치는지 이해하는 것이 중요해요. 무작정 mut를 남발하는 습관은 나중에 해결하기 어려운 복잡한 논리 오류를 만들어낼 수 있어요.
상황별 변수 활용 전략: 불변성부터 섀도잉까지
이제 본격적으로 Rust에서 변수를 어떻게 전략적으로 사용할지 단계별로 알아볼게요. 단순히 문법을 외우는 것이 아니라, 어떤 시나리오에서 어떤 방식을 사용하는 것이 가장 효율적인지 배우는 과정이에요.
STEP 1. 데이터의 무결성을 지키는 불변 변수 활용
가장 먼저 익혀야 할 습관은 모든 변수를 불변으로 선언하는 것이에요. 프로그램이 실행되는 동안 값이 절대 변하지 않는 데이터라면, 고민할 필요 없이 let만 사용하세요.
예를 들어, API의 엔드포인트 주소나 사용자의 고유 ID, 시스템 설정값 등은 프로그램이 돌아가는 동안 바뀔 이유가 없어요. 이런 값들을 불변으로 유지하면, 나중에 코드를 다시 읽을 때 ‘아, 이 값은 여기서부터 끝까지 변하지 않는구나’라고 안심하며 로직을 파악할 수 있어요. 또한 컴파일러는 이 값을 바탕으로 메모리 최적화를 더 공격적으로 진행할 수 있어서 성능 면에서도 유리해요.
STEP 2. 상태 변화가 필수적인 가변 변수 사용하기
물론 세상 모든 데이터가 변하지 않는 것은 아니에요. 값이 계속해서 변해야 하는 로직이 있다면 let mut를 사용해야 해요. 대표적인 예가 바로 반복문에서의 카운터나, 데이터를 하나씩 쌓아가는 누적 합계 계산이에요.
사용자가 입력한 값을 계속 더해서 총합을 구해야 하는 상황을 가정해 볼게요. 이때는 총합을 담는 변수가 반드시 가변적이어야 해요.
가변 변수를 사용할 때는 해당 변수가 어디서, 어떻게 바뀌는지 눈에 잘 띄게 작성하는 것이 좋아요. 변수의 생명 주기를 최대한 짧게 유지하면 가변성으로 인한 위험을 최소화할 수 있어요.
STEP 3. 타입 변환과 이름 재사용을 위한 섀도잉(Shadowing)
이 부분이 Rust의 아주 매력적인 특징 중 하나예요. 섀도잉은 기존에 선언된 변수와 동일한 이름을 가진 새로운 변수를 다시 선언하는 것을 말해요. let 키워드를 다시 사용하기 때문에, 이전 변수는 ‘가려지고(shadowed)’ 새로운 변수가 그 자리를 대신하게 돼요.
왜 굳이 이런 방식을 쓸까요? 가장 큰 이유는 데이터의 타입은 바꾸고 싶지만, 변수 이름은 그대로 유지하고 싶을 때 유용하기 때문이에요. 예를 들어, 사용자로부터 입력받은 문자열(String)을 숫자로 변환해야 하는 상황을 생각해 보세요.
- 가변 변수를 쓸 경우:
input_str을input_int로 바꾸는 식의 새로운 이름을 계속 만들어야 해요. 변수 이름이 너무 많아지면 코드가 지저분해지죠. - 섀도잉을 쓸 경우:
let input = "42";다음에 바로let input: i32 = input.parse().unwrap();라고 선언하면 돼요. 이름은 똑같지만 타입은 숫자로 깔끔하게 바뀝니다.
STEP 4. 실전 시나리오: 계산기 프로그램 구현 예시
위에서 배운 내용들을 종합해서 간단한 계산 로직을 어떻게 구성하는지 시나리오로 살펴볼게요. 이 흐름을 이해하면 실무 적용이 훨씬 쉬워져요.
[시나리오: 사용자의 입력값을 받아 세금을 계산하는 과정]
- 단계 1 (불변): 세율(Tax Rate)은 고정값이므로
let tax_rate = 0.1;로 선언해요. - 단계 2 (섀도잉): 사용자로부터 받은 입력값은 문자열이에요. 이를 계산을 위해 숫자로 변환할 때 섀도잉을 사용하여
let amount: f64 = input.parse()...와 같이 처리해요. - 단계 3 (가변): 여러 항목의 금액을 더해나가는 과정이 있다면, 합계를 저장할 변수를
let mut total_sum = 0.0;로 선언하여 값을 누적해요.
이처럼 각 단계마다 변수의 성격에 맞는 선언 방식을 선택함으로써, 코드는 안전하면서도 읽기 쉬운 상태를 유지할 수 있어요.
섀도잉을 너무 남용하면 코드를 읽는 사람이 현재 변수의 타입이 무엇인지 헷갈릴 수 있어요. 타입 변환이 일어나는 지점은 명확하게 코드로 드러나야 합니다.
자주 하는 실수와 해결법 및 FAQ
자주 하는 실수와 해결법
Rust를 처음 접할 때 누구나 한 번쯤은 저지르는 실수들이 있어요. 미리 알고 있으면 삽질(?) 시간을 획기적으로 줄일 수 있답니다.
❌ 모든 변수에 습관적으로 mut를 붙이는 경우
왜 발생하는가: 에러 메시지를 마주하는 것이 귀찮거나, 나중에 바뀔지도 모른다는 불안감 때문이에요.
✅ 해결법: 일단 let으로 선언하세요. 컴파일러가 정말로 바꿔야 한다고 소리칠 때, 그때 mut를 추가하는 것이 가장 Rust다운 방식이에요.
❌ 섀도잉과 가변 변수를 혼동하는 경우
왜 발생하는가: 두 방식 모두 ‘값이 바뀐다’는 느낌을 주기 때문이에요.
✅ 해결법: 타입(형태)까지 바꿔야 한다면 섀도잉을, 타입은 그대로 두고 값만 업데이트해야 한다면 가변 변수를 사용하세요.
❌ 가변 변수의 범위를 너무 넓게 잡는 경우
왜 발생하는가: 변수를 함수 맨 위에서 선언하고 끝까지 들고 가려는 습관 때문이에요.
✅ 해결법: 변수가 필요한 시점에 선언하고, 사용이 끝나면 최대한 빨리 스코프(Scope)를 벗어나게 하세요. 가변성이 유지되는 범위를 좁힐수록 코드는 안전해져요.
❌ 상수(const)를 가변 변수처럼 쓰려고 하는 경우
왜 발생하는가: 고정된 값이라서 const를 썼는데, 나중에 값을 수정하려고 시도하기 때문이에요.
✅ 해결법: const는 컴파일 타임에 결정되는 완전한 상수예요. 실행 중에 바뀔 여지가 조금이라도 있다면 let을 사용해야 해요.
자주 묻는 질문
Q. 가변 변수를 사용하면 프로그램 성능이 떨어지나요?
무조건 그렇지는 않아요. 다만 불변 변수를 사용하면 컴파일러가 데이터의 흐름을 완벽히 파악할 수 있어서 더 효율적인 기계어를 만들어낼 가능성이 커져요. 성능을 극한으로 뽑아내야 하는 루프 안에서는 가변성을 신중하게 다뤄야 해요.
Q. 섀도잉을 쓰면 메모리 공간을 새로 차지하나요?
섀도잉은 새로운 이름을 가진 새로운 변수를 만드는 것이지만, 컴파일러가 최적화 과정에서 기존 메모리 공간을 재사용하도록 관리해주는 경우가 많아요. 따라서 메모리 걱정보다는 코드의 가독성 측면에서 접근하는 것이 좋아요.
Q. 왜 Rust는 이렇게까지 불변성을 강조하나요?
데이터 경합(Data Race)을 막기 위해서예요. 여러 스레드가 동시에 하나의 값을 바꾸려고 하면 프로그램이 터질 수 있는데, 기본이 불변이라면 이런 위험이 원천 봉쇄되거든요. Rust의 철학은 ‘안전함’에 있답니다.
Q. 초보자에게 권장하는 변수 선언 순서는 무엇인가요?
무조건 let부터 시작하세요. 코드를 작성하다가 cannot assign 에러가 뜨면 그때 mut를 붙이고, 타입 변환이 필요하면 섀도잉을 고려하는 순서가 가장 효율적이에요.
현명한 Rust 개발자로 거듭나기 위한 마무리
오늘 우리는 Rust의 핵심 개념인 변수의 불변성과 가변성, 그리고 섀도잉에 대해 깊이 있게 살펴보았어요. 처음에는 제약 사항처럼 느껴졌던 규칙들이 사실은 여러분의 코드를 지켜주는 든든한 방패라는 사실을 꼭 기억하세요.
- 기본은 항상
let(불변)으로 선언하여 데이터 안전성을 확보하세요. - 값이 변해야 하는 상황에서만
let mut를 명시적으로 사용하세요. - 타입을 바꾸면서 같은 이름을 유지하고 싶을 땐 섀도잉을 활용하세요.
- 가변 변수의 생명 주기는 최대한 짧게 유지하는 것이 안전합니다.
- 에러 메시지를 두려워하지 말고, 컴파일러의 가이드를 따라 선언 방식을 수정하세요.
이제 이론은 충분합니다. 직접 코드를 타이핑하며 느껴보세요. 에러 메시지가 나타날 때마다 ‘아, 내가 이 변수를 어떻게 정의했는지 다시 점검해볼 타이밍이구나’라고 생각하면 훨씬 마음이 편안해질 거예요.
🚀 오늘 바로 실천해볼 일
- 기존에 작성했던 Rust 코드에서 모든
mut를 제거해보고, 꼭 필요한 곳에만 다시 붙여보기 - 문자열을 숫자로 바꾸는 예제에서 섀도잉을 사용하여 코드 깔끔하게 만들기
Rust 변수와 가변성 선택 기준을 명확히 이해하셨나요? 이제 더 복잡한 소유권(Ownership) 개념으로 나아갈 준비가 되었습니다. 현명한 변수 선언으로 더 견고한 프로그램을 만드시길 응원할게요!
더 궁금한 점이 있다면 입문 Rust 학습 가이드나 Rust 변수와 가변성 관련 심화 글을 확인해 보세요.
