트레이트 정의와 구현

트레이트는 특정 기능이나 동작을 명세하여 다양한 타입에서 구현할 수 있도록 하는 강력한 메커니즘이다. 객체지향 언어의 인터페이스(interface)와 유사해 보이지만, 러스트에서는 트레이트를 통해 정적 디스패치, 제너릭 제약, 트레이트 바운드 등 다양한 방식으로 활용할 수 있다. 러스트에서 재사용 가능한 코드 구조를 짜거나 제너릭을 더욱 탄탄하게 다루기 위해서는 트레이트 사용이 필수적이다. 트레이트를 정의하고 구현할 때는 여러 규칙과 기법이 있으며, 이를 숙지하면 더 안전하고 효율적인 코드를 작성할 수 있다.

트레이트는 trait 키워드를 사용하여 정의한다. 트레이트가 요구하는 동작(메서드, 연관 함수, 연관 타입 등)을 명시함으로써, 해당 트레이트를 만족하는 타입들은 그 동작을 구체적으로 구현해야 한다. 예시로 간단한 트레이트를 살펴보면 아래와 같다.

trait Describable {
    fn describe(&self) -> String;
}

Describable이라는 이름의 트레이트는 describe 메서드를 요구한다. 어떤 타입이든지 이 트레이트를 구현하려면 describe 메서드를 반드시 정의해야 한다. 트레이트를 정의하면 그 트레이트를 실제 타입에 구현하는 과정이 필요하다. 구현은 impl 키워드를 사용하여 수행한다.

struct Person {
    name: String,
    age: u8,
}

impl Describable for Person {
    fn describe(&self) -> String {
        format!("{} ({}세)", self.name, self.age)
    }
}

이렇게 하면 Person 타입은 Describable 트레이트를 구현하는 것이고, Person 객체에서 describe 메서드를 호출할 수 있게 된다. 트레이트 구현은 위의 예시처럼 한 개 이상의 메서드 정의를 포함해야 한다. 트레이트에 정의된 요구사항(메서드 시그니처, 연관 타입, 연관 함수 등)을 만족해야 하며, 누락 시 컴파일 에러가 발생한다.

트레이트 정의에서는 실제 구현 내용을 제공하지 않는 것이 기본이나, 디폴트 구현을 포함할 수도 있다. 디폴트 구현이 있다면 트레이트를 구현하는 쪽에서는 필요에 따라 이를 오버라이딩할 수 있다. 예시는 다음과 같다.

trait Calculate {
    fn add(&self, other: &Self) -> Self;
    fn subtract(&self, other: &Self) -> Self {
        panic!("구현되지 않음");
    }
}

위 트레이트에서는 subtract 메서드에 대한 디폴트 구현이 제공된다. Calculate 트레이트를 구현하려는 타입은 add 메서드를 반드시 구현해야 하지만, subtract는 별도로 구현하지 않으면 위의 디폴트 구현이 사용된다. 필요하면 subtract 메서드를 오버라이딩하여 더 구체적인 동작을 제공할 수 있다.

트레이트는 제너릭을 사용하여 특정 타입 파라미터에 대해 동작을 일반화할 수 있다. 또한 트레이트 내에서 연관 타입(associated type)을 정의하여 내부에서만 사용될 수 있는 타입을 명시할 수도 있다. 연관 타입을 사용하는 예시는 다음과 같다.

trait Iterator {
    type Item;

    fn next(&mut self) -> Option<Self::Item>;
}

Iterator 트레이트는 제너릭 파라미터 대신 연관 타입 Item을 사용한다. 이 트레이트를 구현하는 각 타입은 Item이 무엇인지를 지정해야 한다. 예를 들어 어떤 이터레이터가 i32 값을 순회한다면, Item을 i32로 설정할 수 있다.

트레이트를 구현할 때는 러스트가 제공하는 고유 규칙(오프팬(Orphan) 규칙)을 잘 이해해야 한다. 외부에서 정의된 트레이트를 외부에서 정의된 타입에 임의로 구현할 수 없다. 최소한 트레이트나 타입 중 하나는 현재 구현하는 크레이트에서 정의된 것이어야 한다. 이는 호환성과 충돌 방지, 안정성 등을 위해 마련된 규칙이다. 예를 들어 표준 라이브러리에 속한 Vec 타입과 Display 트레이트 모두 외부에서 온 것이라면, 우리 크레이트 안에서 임의로 Vec에 Display 트레이트를 구현할 수 없다. 만약 Display 트레이트를 우리가 정의했거나, Vec가 우리 크레이트에 정의된 타입이었다면 구현이 가능하다.

트레이트를 구현할 때 self 파라미터를 어떻게 사용할지도 중요하다. &self, &mut self, self 중 어떤 것으로 메서드를 정의하느냐에 따라 메서드의 사용 방식이 달라진다. &self는 불변 참조, &mut self는 가변 참조, self는 소유권 이동을 의미한다. 트레이트 내에서 각각의 메서드가 어떤 방식으로 객체에 접근해야 하는지를 명확히 결정하면 여러 문제를 예방할 수 있다.

트레이트를 정의하고 구현한 뒤에는 여러 방식으로 활용할 수 있다. 트레이트 바운드를 사용하여 제너릭 함수의 인자로 올 수 있는 타입을 제한할 수 있으며, 트레이트 객체를 통해 동적 디스패치를 구현할 수도 있다. 각각의 활용 방식은 제너릭 프로그래밍부터 폴리모피즘까지 넓은 영역에 걸쳐 러스트의 강력함을 극대화한다. 예컨대, 제너릭을 사용할 때 트레이트 바운드를 명시하는 예시는 아래와 같다.

fn print_description<T: Describable>(item: &T) {
    println!("{}", item.describe());
}

이 함수는 Describable 트레이트를 구현한 어떤 타입이든 인자로 받을 수 있다. 제너릭 T가 Describable을 구현한다고 선언했기 때문에, 함수를 호출하는 쪽에서는 해당 트레이트를 만족하는 타입만 전달할 수 있다. 또한 함수 내부에서는 Describable 트레이트 메서드인 describe를 안전하게 호출할 수 있다.

트레이트 객체를 사용하면 컴파일 시간에 타입이 고정되지 않아도 된다. 예를 들어 Box 같은 형태로 동적 디스패치를 구현할 수 있다. 이를 사용하면 런타임에 트레이트 구현을 갖는 여러 타입을 한 인터페이스로 다룰 수 있다. 반면 성능 상의 오버헤드가 생길 수 있으므로, 정적 디스패치와 동적 디스패치의 장단점을 숙지하고 적절히 선택해야 한다.

트레이트 정의와 구현은 러스트의 핵심적인 개념을 모두 아우른다. 제너릭과 맞물려서 사용될 때, 코드의 중복을 줄이고 유지보수를 용이하게 하며, 타입 안정성과 추상화를 동시에 이루는 강력한 도구가 된다. 트레이트의 설계 시점에서 최소한의 기능만을 요구하도록 트레이트를 잘게 나누는 방법도 종종 사용된다. 작은 트레이트들을 조합하여 더 복잡한 기능을 제공하도록 구성할 수도 있는데, 이를 트레이트 합성이라고 부른다. 이처럼 트레이트는 추상화 단위를 작게 나누거나 확장하는 데 매우 유용한 빌딩 블록으로 기능한다.

정리하면 트레이트를 정의할 때는 필요한 메서드나 연관 타입을 선언하고, 구현에서 각 타입마다 구체적인 동작을 제공해야 한다. 디폴트 구현을 제공할 수도 있고, 제너릭과 연관 타입을 적절히 섞어 더욱 풍부한 기능을 만들 수도 있다. 오프팬 규칙과 소유권 관련 사항을 준수하면서 트레이트를 잘 설계하고 구현한다면, 러스트의 컴파일 타임 보장과 안전성을 최대한 활용할 수 있다. 이러한 장점을 충분히 누리기 위해서는 트레이트를 체계적으로 이해하고 다양한 코드 예제를 통해 숙달하는 과정이 필수적이다.

Previous함수와 구조체에서의 제너릭 Next트레이트 바운드

Last updated 1 year ago