B - 연산자와 기호

이 부록은 러스트 문법에서 자주 나오는 연산자와 기호를 빠르게 찾아보는 용어집입니다. 같은 기호라도 놓이는 자리에 따라 뜻이 달라지므로, 기호의 모양보다 먼저 그 기호가 어떤 문법 위치에 있는지 좁히는 것이 좋습니다. 아래 그림은 낯선 기호를 만났을 때 위치를 좁혀 가는 순서를 보여 줍니다.

먼저 매크로를 부르는 곳이나 macro_rules!의 규칙 안인지 봅니다. 그렇다면 !, $, =>, 반복 기호를 매크로 문법으로 읽습니다. 다음으로 match, let, 함수 매개변수 같은 패턴 위치인지 봅니다. 그곳에서는 _, @, |, ..가 값을 계산하지 않고 모양을 맞춥니다. 그다음 &T, Vec<T>, T: Trait + 'a처럼 값이 아니라 타입과 제약을 설명하는 타입이나 바운드 위치인지 봅니다. 셋 다 아니라면 &expr, *expr, expr?처럼 값을 계산하는 표현식으로 읽습니다. 경로의 ::는 이 네 갈래를 가로지르는 별도의 문맥이 아니라 어디에나 나올 수 있으므로 따로 확인합니다. crate::는 현재 크레이트에서, ::crate_name은 명시한 외부 크레이트에서 시작하는 경로이고, method::<T>는 표현식의 터보피시(turbofish), <T as Trait>::item은 완전 정규화 경로입니다. 경로가 시작하는 규칙은 에디션에 따라 조금 다를 수 있습니다.

부록 B: 연산자와 기호

이 부록에는 러스트 문법의 용어집이 들어 있으며, 연산자와, 그 자체로 쓰이거나 경로, 제네릭, 트레이트 바운드, 매크로, 속성, 주석, 튜플, 괄호의 문맥에서 나타나는 다른 기호들이 있습니다. 아래 표는 자주 헷갈리는 기호가 문맥마다 어떤 뜻을 가지고, 어디까지 오버로드할 수 있는지 비교한 것입니다.

&는 &expr에서 대여를 만들고, &T에서 참조 타입을, 패턴에서 참조 패턴을 나타내며, a & b처럼 이항 위치에서만 비트 AND이고 BitAnd로 오버로드할 수 있습니다. *는 곱셈, 역참조, 원시 포인터 타입을 위치에 따라 나타내며, 곱셈은 Mul, 포인터가 아닌 값의 역참조는 Deref와 DerefMut로 오버로드합니다. ..는 범위를 만들거나, 구조체 업데이트에서 남은 필드를 채우거나, 패턴에서 나머지를 무시하며, 그 자체는 오버로드하지 않고 컬렉션의 인덱싱만 Index와 IndexMut로 합니다. !는 비트와 논리 NOT, 매크로 호출, 돌아오지 않는 never 타입이라는 서로 다른 역할을 하며, 앞에 붙는 NOT만 Not으로 오버로드합니다. ?는 expr?에서 값을 꺼내거나 나머지를 호출한 쪽에 돌려주고, T: ?Sized에서 암묵적인 Sized 바운드를 완화하며, 매크로 반복에서는 0번이나 1번을 뜻합니다. expr?는 Try를 바탕으로 하지만, 안정 버전의 사용자가 Try를 구현해 오버로드하는 수단으로 보지는 않습니다. 한 기호의 어떤 연산이 트레이트로 오버로드되더라도, 타입이나 패턴, 매크로에서 같은 모양의 기호까지 오버로드되는 것은 아닙니다.

연산자

다음 표는 러스트의 연산자와, 그 연산자가 문맥에서 어떻게 나타나는지의 예, 짧은 설명, 그리고 그 연산자를 오버로드할 수 있는지를 보여 줍니다. 오버로드할 수 있는 연산자에는 오버로드하는 데 쓸 트레이트를 적었습니다.

범위 리터럴의 PartialOrd는 범위를 오버로드한다는 뜻이 아니라, 범위의 원소 타입이 비교할 수 있어야 범위가 쓸모 있다는 뜻입니다.

비연산자 기호

다음 표들에는 연산자로 동작하지 않는 기호를 모았습니다. 이 기호들은 함수나 메서드 호출처럼 동작하지 않습니다. 먼저 그 자체로 나타나며 여러 곳에서 유효한 기호입니다.

다음 표는 모듈 계층을 거쳐 아이템에 이르는 경로의 문맥에서 나타나는 기호입니다.

다음 표는 제네릭 타입 매개변수를 쓰는 문맥에서 나타나는 기호입니다.

다음 표는 트레이트 바운드로 제네릭 타입 매개변수를 제약하는 문맥에서 나타나는 기호입니다.

다음 표는 매크로를 부르거나 정의하는 문맥과, 아이템에 속성을 지정하는 문맥에서 나타나는 기호입니다.

다음 표는 주석을 만드는 기호입니다.

다음 표는 괄호가 쓰이는 문맥입니다.

다음 표는 중괄호가 쓰이는 문맥입니다.

다음 표는 대괄호가 쓰이는 문맥입니다.

정리

• 같은 기호도 매크로, 패턴, 타입과 바운드, 표현식 가운데 어디에 있는지에 따라 뜻이 다르므로, 먼저 문법 위치를 좁힙니다.
• 경로의 ::는 어느 위치에든 나타나며, crate::, ::crate_name, 터보피시 ::<T>, 완전 정규화 경로 <T as Trait>::item을 구분합니다.
• +, *, &, ! 같은 연산자의 일부 쓰임만 Add, Mul, BitAnd, Not 같은 트레이트로 오버로드할 수 있으며, 대여나 타입, 패턴의 같은 기호는 오버로드되지 않습니다.
• ..는 범위, 구조체 업데이트, 나머지 패턴을, ?는 오류 전파, ?Sized, 매크로 반복을 문맥에 따라 나타냅니다.

연습 문제

1. 같은 기호, 다른 뜻

다음 코드의 각 &와 *는 무엇을 뜻하나요? 기호가 타입 자리에 있는지, 식 안에서 피연산자 하나 앞에 붙었는지, 두 피연산자 사이에 있는지를 보고 구분해 보세요.

fn f(x: &i32, flags: u8) -> i32 {
    let y = *x * 2;
    let low = flags & 0b0000_1111;
    y + low as i32
}

2. 오버로드할 수 있을까

직접 만든 Matrix 타입에 (가) a * b (나) -a (다) a && b (라) a += b를 쓰고 싶습니다. 각각 어떤 트레이트를 구현하나요?

다음 부록 C - 파생 가능한 트레이트에서는 derive 속성으로 자동 구현할 수 있는 트레이트를 정리합니다.