Почему этот макрос приводит к ошибке неразрешенного имени?

Question

Я хотел бы компилировать код похож на этот минимальный тестовый пример:

macro_rules! why { 
    ([ $saved:ident ] $body:block) => { 
     let $saved = 3; 
     $body 
     let _a = $saved; 
    } 
} 

fn bar() { 
    why!([saved] { 
    }); 
} 

fn main() { 
} 

Когда я пытаюсь скомпилировать его, я получаю следующее сообщение об ошибке:

src/main.rs:10:20: 10:21 error: unresolved name `saved` [E0425] 
src/main.rs:10   why!([saved] { 
           ^
src/main.rs:10:9: 11:12 note: in this expansion of why! (defined in src/main.rs) 
src/main.rs:10:20: 10:21 help: run `rustc --explain E0425` to see a detailed explanation 

Другие макросы, которые вводят переменные работы; в чем проблема?

Answer 1

Это потому, что macro_rules! является своего рода сломанным, когда дело доходит до макросов, которые расширяются до операторов.

Проблема в основном состоит в том, что он считает каждое заявление самостоятельно для целей гигиены. Другими словами, третий оператор буквально не может видеть привязку, определенную в первой строке.

В некоторых случаях, вы можете обойти эту проблему, обернув заявления в блоке:

macro_rules! why { 
    ([ $saved:ident ] $body:block) => { 
     { 
      let $saved = 3; 
      $body 
      let _a = $saved; 
     } 
    } 
} 

Answer 2

Ваш fn bar не имеет ничего имени saved в области действия на сайте вызова.