이 랩에서는 Rust 가 제공하는 강력한 매크로 시스템을 탐구할 것입니다. 이 시스템은 매크로를 추상 구문 트리 (Abstract Syntax Trees, AST) 로 확장하여 메타 프로그래밍을 가능하게 합니다. macro_rules! 매크로는 매크로를 생성하는 데 사용되며, 함수와는 달리 느낌표 !로 끝나는 특징을 가지고 있습니다. 매크로는 코드 중복을 피하고, 도메인 특화 언어 (Domain-Specific Languages, DSL) 를 만들며, 가변 인자를 받는 함수를 위한 가변 인터페이스를 정의하는 데 유용합니다.
참고: 랩에서 파일 이름을 지정하지 않은 경우, 원하는 파일 이름을 사용할 수 있습니다. 예를 들어,
main.rs를 사용하고rustc main.rs && ./main으로 컴파일하고 실행할 수 있습니다.
Rust 는 메타 프로그래밍을 가능하게 하는 강력한 매크로 시스템을 제공합니다. 이전 챕터에서 보았듯이, 매크로는 함수처럼 보이지만, 이름이 느낌표 !로 끝난다는 점이 다릅니다. 하지만 함수 호출을 생성하는 대신, 매크로는 소스 코드로 확장되어 프로그램의 나머지 부분과 함께 컴파일됩니다. 그러나 C 및 기타 언어의 매크로와 달리, Rust 매크로는 문자열 전처리가 아닌 추상 구문 트리 (Abstract Syntax Trees, AST) 로 확장되므로 예상치 못한 우선 순위 버그가 발생하지 않습니다.
매크로는 macro_rules! 매크로를 사용하여 생성됩니다.
// This is a simple macro named `say_hello`.
macro_rules! say_hello {
// `()` indicates that the macro takes no argument.
() => {
// The macro will expand into the contents of this block.
println!("Hello!")
};
}
fn main() {
// This call will expand into `println!("Hello")`
say_hello!()
}그렇다면 매크로가 유용한 이유는 무엇일까요?
DRY (Don't Repeat Yourself, 중복 금지). 여러 위치에서 서로 다른 타입으로 유사한 기능이 필요한 경우가 많습니다. 종종 매크로를 작성하는 것은 코드 중복을 피하는 유용한 방법입니다. (자세한 내용은 나중에)
도메인 특화 언어 (Domain-Specific Languages, DSL). 매크로를 사용하면 특정 목적을 위한 특별한 구문을 정의할 수 있습니다. (자세한 내용은 나중에)
가변 인터페이스 (Variadic interfaces). 때로는 가변 개수의 인수를 받는 인터페이스를 정의하고 싶을 수 있습니다. 예시는 형식 문자열에 따라 임의의 수의 인수를 받을 수 있는 println!입니다. (자세한 내용은 나중에)
축하합니다! Macro_rules! 랩을 완료했습니다. LabEx 에서 더 많은 랩을 연습하여 실력을 향상시킬 수 있습니다.