[Rust] Procedural 매크로

러스트는 println! 같은 단순한 매크로 함수 외에도, 코드에 간섭하고 직접 확장할 수 있는 자유로운 매크로 형식을 지원한다.

먼저 라이브러리 형식으로 프로젝트를 생성한다.

proc..매크로는 무조건 라이브러리 형식으로만 빌드될 수 있기 때문이다.
터미널에서 cargo new 명령어로 생성할 경우, --bin 플래그 대신 --lib를 준다.

그럼 뭐 이렇게 되어있을 것이다.

매크로의 사용을 위해 설정파일에서 proc-macro 값을 true로 설정해준다.

proc_crate를 extern crate하면 이제 procedural 매크로의 사용이 가능해진다.
한번 함수를 만드는 매크로를 만들어보겠다.

함수형(Function like) 매크로

proc 매크로도 함수의 형식으로 구현될 수 있는데, 함수 위에다 #[proc_macro] 매크로를 붙여주고 인자타입과 반환타입을 전부 TokenStream이라는 타입으로 맞춰준다.
코드를 받고 코드를 방출한다는 의미다. TokenStream은 소스코드를 나타내는 타입이다.
그럼

이런식으로 짜볼 수 있다.
저 매크로가 실행되면 그 실행된 위치에서 바로 저 반환한 텍스트가 자리를 차지하게 되는 것이다.

그러면 이제 빌드하고, 테스트를 해보겠다.

빌드가 이렇게 잘 됐다면, 이 프로젝트 폴더의 경로를 복사해두고, 따로 테스트용 프로젝트를 만들거나 연다.

아까 그 폴더를 의존성으로 추가해주고

이렇게 짜서 돌리면, 잘 돈다.

인자를 전달하는 것도 가능하다! 아까 매크로 정의의 item 인자가 그걸 받아오는 녀석이다.

터미널에 내용을 출력하도록 바꿔주고

돌리면

잘 돈다.

이외에도 몇가지 형식이 더 있다.

속성(attribute) 매크로

이건 함수 등의 정의 위에 붙여서 해당 정의를 수정할 수 있는 매크로다.
또, 속성에 인자를 전달할 수도 있다.
이런식으로 정의하고

이렇게 사용한다면,

저 attribute라는 인자로는 "으아악"이라는 텍스트가,
item에는 저 함수 정의 전체가 들어간다.

이렇게 말이다.

여기선 그냥 내용물을 보기만 했지만, TokenStream 객체를 만들어서 반환한다면 그게 기존의 함수 정의를 대체한다.

파생(derive) 매크로

이건 구조체 위에 붙여서 트레잇 등을 자동으로 구현하게끔 해줄 때 자주 사용된다.

proc_macro_derive라는 매크로를 사용해 구현되는데, 형태는 아래와 같다.

이 인자로 들어오는 텍스트가 우리가 정의할 매크로의 이름이 된다. 여기선 Boom이 이 매크로의 이름인 것이다.
그리고 이 매크로에서 반환할 TokenStream 코드는 전역 공간에 들어간다.
따라서 저 코드는 그냥 전역 함수 boom 하나만 방출하는 것이다...
일단 간결함을 위해서 대충 써서 그런데, 진짜 파생을 구현하고 싶다면 item으로 들어온 구조체 이름을 얻어서, impl 구문을 작성해주면 된다.

여튼 저걸 돌리면

이렇게 잘 돌아간다.

참조
https://doc.rust-lang.org/proc_macro/
https://doc.rust-lang.org/reference/procedural-macros.html