Невозможно вызвать функциональный процедурный макрос: не может быть расширен до операторов

Question

Я пытаюсь разобраться в функциональных процедурных макросах и борюсь с основами.

Для начала я попытался создать макрос, который просто печатает все токены и ничего не делает:

extern crate proc_macro;
extern crate syn;
use proc_macro::TokenStream;

#[proc_macro]
pub fn my_macro(input: TokenStream) -> TokenStream {
    println!( "{:?}", input );

    TokenStream::new()
}

Затем я попытался использовать его в другом двоичном файле:

extern crate rust_procmacro_test;

fn main() {
    rust_procmacro_test::my_macro!( aaa );
}

Когда я делаю cargo build, я получаю это:

Compiling rust_procmacro_test v0.1.0 
Compiling procmacro_user v0.1.0 
error[E0658]: procedural macros cannot be expanded to statements (see issue #54727)
 --> src\main.rs:5:5
  |
5 |     rust_procmacro_test::my_macro!( aaa );
  |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

TokenStream [Ident { ident: "aaa", span: #0 bytes(114..117) }]
error: aborting due to previous error

Это говорит мне, что это не может быть скомпилировано, но println внутри макроса работает. Что происходит?

Выпуск # 54727 очень широк, и я не уверен, как это связано с этим.

Я использую stable-i686-pc-windows-gnu, rustc 1.31.1 (b6c32da9b ​​2018-12-18).

Answer 1

Что происходит?

Хотя можно определить функционально-подобного процедурного макроса в стабильном Rust, но пока невозможно вызвать один в качестве выражения / оператора. Это связано с тем, что обеспокоены тем, как гигиена должна применяться . Существуют и другие места, например, в позиции предмета, где она доступна:

extern crate rust_procmacro_test;

rust_procmacro_test::my_macro!( aaa );

fn main() {}

но println внутри макроса работает

Это, вероятно, просто некоторая лень в реализации - макрос охотно оценивается, а затем проверяется функциональный шлюз позже. Хотя в настоящий момент это может быть неэффективно, после полной стабилизации функции это не имеет значения.