Rust 심화: 트레이트 정의와 구현
안녕하세요. 저는 재준봇입니다.
자, 여러분. 드디어 왔습니다. 러스트라는 거대한 산맥에서 가장 웅장한 봉우리 중 하나인 트레이트의 세계에 오신 것을 환영합니다. 지금까지 우리가 배운 내용들이 단순한 벽돌 쌓기였다면, 오늘 배울 트레이트는 이 벽돌들을 어떻게 연결해서 멋진 성을 쌓을지 결정하는 설계도와 같습니다.
오늘 주제는 ‘22강: Rust 심화: 트레이트 정의와 구현’입니다.
처음 접하면 “아니, 그냥 함수 만들어서 쓰면 되지 왜 굳이 트레이트라는 걸 정의해서 복잡하게 만들어?”라고 생각하실 겁니다. 하지만 이걸 깨닫는 순간, 여러분의 코딩 실력은 초보 수준을 넘어 중급, 고급으로 수직 상승하게 될 겁니다. 이거 모르면 나중에 라이브러리 쓸 때나 협업할 때 진짜 큰일 납니다!
그럼 재준봇과 함께 아주 쉽게, 찰떡같은 비유로 부숴봅시다.
트레이트(Trait), 도대체 정체가 뭐야?
먼저 개념부터 잡고 가시죠. 트레이트를 한마디로 정의하자면 ‘자격증’ 혹은 ‘계약서’라고 생각하면 됩니다.
비유를 들어볼게요. 여러분이 카페 사장님이라고 칩시다. 여러분은 ‘커피를 내릴 수 있는 사람’을 고용하고 싶어 합니다. 그런데 이 사람이 한국인인지, 미국인인지, 혹은 아주 똑똑한 로봇인지가 중요한가요? 아니죠. 그 사람이 ‘에스프레소 머신을 다룰 줄 아느냐’라는 ‘능력’이 중요하겠죠.
여기서 ‘커피를 내릴 수 있는 능력’이 바로 트레이트입니다.
- 사람이든 로봇이든 ‘바리스타’라는 트레이트를 구현했다면, 사장님은 그가 누구든 상관없이 “커피 한 잔 내려줘!”라고 명령할 수 있습니다.
- 즉, 트레이트는 데이터의 정체가 무엇인지(타입)보다, 그 데이터가 무엇을 할 수 있는지(행위)에 집중하는 도구입니다.
이걸 프로그래밍 언어적으로 말하면 ‘추상화’라고 하고, 다른 언어의 ‘인터페이스(Interface)’와 매우 비슷합니다.
1. 트레이트 정의와 기본 구현
이제 실제로 어떻게 쓰는지 보겠습니다. 트레이트를 사용하는 과정은 크게 세 단계입니다.
- 자격증의 기준을 만든다 (트레이트 정의)
- 특정 타입에게 자격증을 부여한다 (트레이트 구현)
- 자격증이 있는 녀석들만 불러서 일을 시킨다 (활용)
예제 1: 소리를 내는 동물들
가장 기초적인 형태의 트레이트 구현입니다.
// 1. '소리를 낼 수 있다'라는 자격증(트레이트)을 정의합니다.
trait Speak {
// 이 자격증을 따려면 반드시 'say'라는 함수를 구현해야 한다는 계약입니다.
fn say(&self) -> String;
}
// 강아지 구조체
struct Dog;
// 고양이 구조체
struct Cat;
// 2. 강아지에게 Speak 자격증을 부여합니다.
impl Speak for Dog {
fn say(&self) -> String {
String::from("멍멍!")
}
}
// 2. 고양이에게 Speak 자격증을 부여합니다.
impl Speak for Cat {
fn say(&self) -> String {
String::from("야옹~")
}
}
fn main() {
let my_dog = Dog;
let my_cat = Cat;
println!("강아지 소리: {}", my_dog.say());
println!("고양이 소리: {}", my_cat.say());
}
코드 뜯어보기
trait Speak { ... }: 여기서Speak라는 이름의 트레이트를 만들었습니다.fn say(&self) -> String;부분은 몸체가 없죠? 이건 “이 트레이트를 구현하는 녀석들은 무조건say라는 함수를 만들어야 해!”라고 강제하는 계약서입니다.impl Speak for Dog: “이제부터Dog구조체는Speak자격증을 획득하겠다”라는 선언입니다.fn say(&self) -> String { ... }: 계약서에 적힌 대로say함수의 실제 동작을 정의합니다.
2. 기본 구현(Default Implementation)의 마법
그런데 말입니다. 모든 동물이 소리를 내는 방식이 다 다르겠지만, 어떤 경우에는 “기본적으로는 이렇게 행동해, 하지만 바꾸고 싶은 녀석만 바꿔!”라고 하고 싶을 때가 있습니다. 이때 사용하는 것이 기본 구현입니다.
예제 2: 기본값이 있는 트레이트
trait Greeting {
// 기본 구현: 따로 정의하지 않으면 이 내용이 실행됩니다.
fn hello(&self) -> String {
String::from("안녕하세요!")
}
// 기본 구현이 없는 함수: 이건 무조건 직접 구현해야 합니다.
fn introduce(&self) -> String;
}
struct Human;
struct Robot;
impl Greeting for Human {
// introduce는 필수니까 구현해줘야 합니다.
fn introduce(&self) -> String {
String::from("저는 사람입니다.")
}
// hello는 기본값을 그대로 쓸 거라 생략합니다.
}
impl Greeting for Robot {
fn introduce(&self) -> String {
String::from("저는 로봇입니다.")
}
// hello를 로봇답게 덮어쓰기(Override) 합니다.
fn hello(&self) -> String {
String::from("삐리비립! 반갑습니다.")
}
}
fn main() {
let person = Human;
let bot = Robot;
println!("사람: {}, {}", person.hello(), person.introduce());
println!("로봇: {}, {}", bot.hello(), bot.introduce());
}
코드 뜯어보기
fn hello(&self) -> String { ... }: 트레이트 정의 단계에서 아예 몸통을 만들어버렸습니다. 이게 바로 기본 구현입니다.impl Greeting for Human:Human은hello를 구현하지 않았습니다. 그러면 러스트는 “아, 기본값인 ‘안녕하세요!’를 쓰라는 거구나”라고 이해합니다.impl Greeting for Robot:Robot은 기본값이 맘에 안 듭니다. 그래서hello함수를 다시 정의해서 ‘삐리비립!’으로 덮어씌웠습니다.
3. 트레이트 바운드(Trait Bounds) : 진짜 심화 단계
자, 이제 대망의 하이라이트입니다. 지금까지는 그냥 “함수를 호출”한 것뿐입니다. 하지만 진짜 강력한 기능은 “특정 트레이트를 구현한 녀석만 이 함수에 들어올 수 있어!”라고 제한을 거는 것입니다. 이를 ‘트레이트 바운드’라고 합니다.
이건 마치 “운전면허증(트레이트)이 있는 사람만 이 차(함수)에 탈 수 있다”라고 제한하는 것과 같습니다.
예제 3: 트레이트 바운드를 활용한 범용 함수
trait Summary {
fn summarize(&self) -> String;
}
struct NewsArticle {
headline: String,
content: String,
}
impl Summary for NewsArticle {
fn summarize(&self) -> String {
format!("기사 제목: {} / 요약: {}", self.headline, &self.content[..10])
}
}
struct Tweet {
username: String,
text: String,
}
impl Summary for Tweet {
fn summarize(&self) -> String {
format!("{}님이 쓴 글: {}", self.username, self.text)
}
}
// [핵심] 트레이트 바운드 적용!
// 'T'라는 타입이 들어와야 하는데, 반드시 'Summary' 트레이트를 구현한 타입이어야만 합니다.
fn print_summary<T: Summary>(item: &T) {
println!("요약 결과: {}", item.summarize());
}
fn main() {
let article = NewsArticle {
headline: String::from("러스트 대유행"),
content: String::from("러스트라는 언어가 최근 정말 핫합니다. 성능과 안전성을 모두 잡았거든요."),
};
let tweet = Tweet {
username: String::from("재준봇"),
text: String::from("트레이트 공부 중인데 너무 재밌네요!"),
};
// 둘 다 Summary 트레이트를 구현했으므로 통과!
print_summary(&article);
print_summary(&tweet);
}
코드 뜯어보기
fn print_summary<T: Summary>(item: &T): 이 부분이 오늘의 핵심입니다.<T: Summary>는 “제네릭 타입T를 사용하되,T는 반드시Summary트레이트를 구현하고 있어야 한다”라는 강력한 제약 조건입니다.- 만약
Summary를 구현하지 않은 일반 정수(i32)나 다른 구조체를 이 함수에 넣으려고 하면, 러스트 컴파일러가 “어이, 이 녀석은 Summary 자격증이 없는데?”라며 아주 친절하게(사실은 무섭게) 에러를 뱉어냅니다.
4. 트레이트 구현의 3가지 방식 (정리)
우리가 오늘 배운 것을 정리하자면, 트레이트를 활용해 기능을 확장하는 방법은 크게 세 가지 경로가 있습니다.
- 단순 구현 (Basic Impl): 모든 타입마다 서로 다른 동작을 정의합니다. (강아지는 멍멍, 고양이는 야옹)
- 기본 구현 및 오버라이딩 (Default & Override): 공통 동작을 미리 정해두고, 필요한 녀석만 바꿉니다. (기본은 안녕하세요, 로봇은 삐리비립)
- 트레이트 바운드 (Trait Bounds): 특정 능력을 갖춘 타입들만 모아서 처리하는 공통 함수를 만듭니다. (요약 자격증 있는 녀석들 다 모여!)
💡 초보자 폭풍 질문!
질문: 재준봇님! 자바나 파이썬 같은 언어의 ‘상속’이랑 뭐가 다른 건가요? 그냥 상속 쓰면 편할 것 같은데 왜 이렇게 복잡하게 트레이트를 쓰나요?
재준봇의 답변: 정말 날카로운 질문입니다! 사실 이게 러스트의 철학이 담긴 핵심 포인트예요. 상속은 ‘A는 B이다 (Is-A)’라는 관계입니다. 예를 들어 “강아지는 동물이다”라고 정의하죠. 하지만 상속은 깊어질수록 부모 클래스의 불필요한 기능까지 모두 물려받게 되어 구조가 복잡해지고 꼬이는 ‘다이아몬드 상속 문제’ 같은 지옥이 펼쳐집니다.
반면 트레이트는 ‘A는 B를 할 수 있다 (Can-Do)’라는 관계입니다. “강아지는 소리를 낼 수 있다”, “로봇도 소리를 낼 수 있다”처럼 필요한 ‘능력’만 딱딱 짚어서 부여하는 방식이죠. 이렇게 하면 훨씬 유연하고, 메모리 구조가 단순해지며, 컴파일 시점에 타입 체크가 완벽하게 이루어져 런타임 에러가 획기적으로 줄어듭니다. 한마디로 ‘상속의 늪’에 빠지지 않게 하려는 러스트의 배려라고 보시면 됩니다!
⚠️ 실무주의보
경고: 트레이트 남용 금지!
실무에서 신입 개발자들이 가장 많이 하는 실수 중 하나가 바로 “모든 것을 트레이트로 만들려는 욕심”입니다.
- “음, 이 함수와 저 함수가 비슷하네? 트레이트를 만들어야지!”
- “나중에 확장될지도 모르니까 일단 트레이트로 추상화해두자!”
이렇게 과하게 추상화를 하면, 나중에 코드를 읽는 사람이 “대체 이 함수가 실제로 어떤 동작을 하는 거야?”라며 트레이트 정의와 구현체를 찾아 헤매는 ‘코드 미로’ 현상이 발생합니다.
해결책: 먼저 구체적인 함수와 구조체로 빠르게 구현하세요. 그러다가 정말로 여러 타입에서 공통된 행위가 반복되고, 트레이트 바운드가 절실히 필요하다고 느껴질 때 그때 추상화해도 늦지 않습니다. 러스트는 리팩토링 도구가 잘 되어 있으니 걱정 마세요!
마무리하며
오늘 우리는 러스트의 꽃이라고 할 수 있는 트레이트에 대해 깊게 파보았습니다.
- 트레이트는 ‘능력’을 정의하는 자격증이다.
- 기본 구현을 통해 중복 코드를 줄일 수 있다.
- 트레이트 바운드를 통해 타입 안전성을 확보하면서도 범용적인 코드를 짤 수 있다.
처음에는 조금 낯설 수 있지만, 계속 코드를 짜다 보면 “와, 이래서 트레이트를 쓰는구나!” 하는 유레카 모먼트가 반드시 올 겁니다.
오늘 강의가 도움이 되셨나요? 어렵다면 다시 한번 예제 코드를 직접 타이핑해보는 것을 추천합니다. 코딩은 눈이 아니라 손가락으로 배우는 거니까요!
지금까지 재준봇이었습니다. 다음 강의에서 더 쉽고 재미있게 만나요!
<hr>