A - 키워드

이 부록은 러스트 문법을 다시 가르치기보다, 컴파일 오류가 가리키는 단어가 어떤 종류의 키워드인지 빠르게 찾아보는 참고 자료입니다. 목록은 Rust 2024 에디션의 Rust Reference 키워드 목록을 따릅니다.

부록 A: 키워드

다음 목록에는 러스트 언어가 지금 쓰고 있거나 앞으로 쓰려고 예약해 둔 키워드가 들어 있습니다. 그래서 이 키워드들은 식별자로 쓸 수 없습니다(뒤의 원시 식별자에서 이야기할 경우는 예외입니다). 식별자는 함수, 변수, 매개변수, 구조체 필드, 모듈, 크레이트, 상수, 매크로, 정적 값, 속성, 타입, 트레이트, 라이프타임의 이름입니다. 아래 그림은 키워드의 세 분류와 전체 목록을 보여 줍니다.

엄격 키워드와 예약 키워드는 일반 식별자로 쓸 수 없고, 약한 키워드는 정해진 문맥에서만 특별한 뜻을 가집니다. 그림처럼 _는 엄격 키워드, gen은 Rust 2024에서 예약 키워드, 'static은 약한 키워드로 서로 다른 갈래에 있다는 점을 기억해 두면, 에디션과 문법의 역할을 헷갈리지 않습니다. 원시 식별자는 네 번째 분류가 아니라, 엄격 키워드나 예약 키워드와 이름이 겹칠 때 쓰는 식별자 문법입니다.

엄격 키워드

다음 키워드는 지금 문법에서 쓰이며, 각각 설명한 기능을 가집니다.

async, await, dyn은 2018 에디션에서 키워드가 되었습니다.

예약 키워드

다음 키워드는 아직 기능이 없지만, 앞으로 쓸 가능성이 있어 러스트가 예약해 둔 것입니다. 엄격 키워드와 같은 제약을 받습니다.

try는 2018 에디션에서, gen은 2024 에디션에서 예약 키워드가 되었습니다.

약한 키워드

다음 키워드는 특정 문맥에서만 특별한 뜻을 가지며, 그 밖의 곳에서는 일반 식별자로 쓸 수 있습니다.

원시 식별자

원시 식별자(raw identifier)는 보통은 키워드를 쓸 수 없는 곳에서 키워드를 쓰게 해 주는 문법입니다. 키워드 앞에 r#을 붙여 씁니다. 아래 그림은 이름이 키워드와 겹칠 때 무엇을 먼저 확인할지 보여 줍니다.

키워드와 이름이 겹쳐 expected identifier 진단을 받으면, 먼저 그 이름을 내가 정할 수 있는지 봅니다. 공개된 이름까지 바꿀 수 있다면, 뜻이 드러나는 새 이름으로 바꾸고 호출하는 곳을 고친 뒤 컴파일과 테스트로 확인합니다. 바꿀 수 없는 외부 이름이나 에디션의 문제라면, 그 단어가 엄격 키워드나 예약 키워드인지 확인합니다. 약한 키워드라면 쓰는 위치의 문맥과 다른 진단을 다시 봅니다. 다음으로 r#_, r#crate, r#self, r#Self, r#super 다섯 표기는 원시 식별자로도 만들 수 없으므로, 그런 경우에는 다른 API 경로를 고릅니다. 그 밖의 경우에는 r#name을 쓰고, 정의와 호출을 함께 컴파일하고 테스트합니다.

예를 들어 match는 키워드입니다. match를 이름으로 쓰는 다음 함수를 컴파일하려 하면,

fn match(needle: &str, haystack: &str) -> bool {
    haystack.contains(needle)
}

다음 오류가 납니다. 타입을 검사하기도 전, 코드를 문법에 맞춰 읽는 단계에서 함수 이름 자리에 키워드가 왔다는 것을 알아챈 오류입니다.

error: expected identifier, found keyword `match`
 --> src/main.rs:1:4
  |
1 | fn match(needle: &str, haystack: &str) -> bool {
  |    ^^^^^ expected identifier, found keyword
  |
help: escape `match` to use it as an identifier
  |
1 | fn r#match(needle: &str, haystack: &str) -> bool {
  |    ++

이 오류는 match 키워드를 함수의 식별자로 쓸 수 없다는 것을 보여 줍니다. 출력의 help 줄처럼 컴파일러도 이름 앞에 r#을 붙이라고 제안합니다. match를 함수 이름으로 쓰려면, 다음처럼 원시 식별자 문법을 써야 합니다.

fn r#match(needle: &str, haystack: &str) -> bool {
    haystack.contains(needle)
}

fn main() {
    assert!(r#match("foo", "foobar"));
}

이 코드는 오류 없이 컴파일됩니다. 함수의 정의에서도, main에서 함수를 부르는 곳에서도 이름 앞에 r#을 붙였다는 점을 보세요. r#은 이름의 내용이 아니라 문법의 접두사이므로, r#foo와 foo는 서로 다른 두 이름이 아니라 같은 이름입니다.

원시 식별자를 쓰면, 그 단어가 예약된 키워드이더라도 원하는 어떤 단어든 식별자로 고를 수 있습니다. 그래서 식별자 이름을 더 자유롭게 고를 수 있고, 그 단어가 키워드가 아닌 언어로 쓰인 프로그램과 함께 쓸 수도 있습니다. 또 원시 식별자로, 크레이트가 쓰는 것과 다른 러스트 에디션으로 쓰인 라이브러리를 쓸 수 있습니다. 예를 들어 try는 2015 에디션에서는 키워드가 아니지만, 2018, 2021, 2024 에디션에서는 키워드입니다. 2015 에디션으로 쓰인 라이브러리에 try 함수가 있고 그것에 기대고 있다면, 2018 에디션 이후의 코드에서 그 함수를 부르려면 r#try라는 원시 식별자 문법을 써야 합니다. 에디션에 대한 자세한 정보는 E - 에디션을 보세요.

에디션 마이그레이션

직접 관리하는 크레이트를 다음 에디션으로 옮길 때는, 먼저 지금의 에디션 상태에서 다음 명령을 실행합니다. --edition을 주면 코드를 지금 에디션에서도 컴파일되고 다음 에디션에서도 같은 뜻이 되도록 고치므로, Cargo.toml의 edition을 바꾸기 전에 실행해야 합니다.

cargo fix --edition

이 명령은 새 에디션에서 키워드가 되는 이름을 원시 식별자로 바꾸는 것 같은, 자동으로 고칠 수 있는 변경을 코드에 적용합니다. 그다음 Cargo.toml의 edition 값을 새 에디션으로 바꾸고, 다시 빌드하고 테스트해 남은 문제를 고칩니다. 자동으로 바꾼 r#name이 직접 관리하는 이름이라면, 나중에 뜻이 드러나는 다른 이름으로 바꾸는 것이 읽기에 더 좋습니다.

정리

• 엄격 키워드는 지금 문법에서 쓰이며 식별자로 쓸 수 없고, _도 엄격 키워드입니다.
• 예약 키워드는 아직 기능이 없지만 앞으로를 위해 막아 둔 것이며, Rust 2024에서는 gen이 더해졌습니다.
• 약한 키워드 'static, macro_rules, raw, safe, union은 정해진 문맥에서만 특별합니다.
• 엄격 키워드나 예약 키워드를 식별자로 써야 한다면 r#match처럼 원시 식별자를 쓰며, r#_, r#crate, r#self, r#Self, r#super는 만들 수 없습니다.
• 다른 에디션의 라이브러리에 있는 try 같은 이름을 부를 때 원시 식별자가 쓸모 있으며, 에디션을 옮길 때는 cargo fix --edition을 먼저 실행합니다.

연습 문제

1. 식별자로 쓸 수 있을까

(가) let union = 3; (나) let gen = 1; (Rust 2024) (다) fn r#type() {} (라) let r#self = 0;은 각각 컴파일되나요?

2. 이름을 바꿀까, r#을 붙일까

내 크레이트 안에서만 쓰는 함수 match와, 다른 팀이 2015 에디션으로 배포한 라이브러리의 공개 함수 try를 Rust 2024 코드에서 써야 합니다. 각각 어떻게 하나요?

다음 부록 B - 연산자와 기호에서는 러스트의 연산자와 기호를 문맥별로 정리합니다.