Как я вижу расширенный код макроса, который вызывает мою ошибку компиляции?

Question

У меня есть ошибка компиляции с использованием макроса:

<mdo macros>:6:19: 6:50 error: cannot move out of captured outer variable in an `FnMut` closure
<mdo macros>:6 bind ( $ e , move | $ p | mdo ! { $ ( $ t ) * } ) ) ; (
                                 ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
<mdo macros>:1:1: 14:36 note: in expansion of mdo!
<mdo macros>:6:27: 6:50 note: expansion site
<mdo macros>:1:1: 14:36 note: in expansion of mdo!
<mdo macros>:6:27: 6:50 note: expansion site
<mdo macros>:1:1: 14:36 note: in expansion of mdo!
src/parser.rs:30:42: 37:11 note: expansion site
error: aborting due to previous error

К сожалению, макрос является рекурсивным, поэтому трудно понять, на что жалуется компилятор, плюс кажется, что номера строк относятся к расширенному макросу, а не к моему коду.

Как я могу увидеть расширенный макрос? Есть ли флаг, который я могу передать Rustc (или даже лучше, груз), чтобы выбросить это?

(Этот макрос из rust-mdo, хотя я не думаю, что это имеет значение.)

Answer 1

Да, вы можете передать специальный флаг rustc, называется --pretty=expanded:

% cat test.rs
fn main() {
    println!("Hello world");
}
% rustc -Z unstable-options --pretty=expanded test.rs
#![feature(no_std)]
#![no_std]
#[prelude_import]
use std::prelude::v1::*;
#[macro_use]
extern crate "std" as std;
fn main() {
    ::std::old_io::stdio::println_args(::std::fmt::Arguments::new_v1({
                                                                         static __STATIC_FMTSTR:
                                                                                &'static [&'static str]
                                                                                =
                                                                             &["Hello world"];
                                                                         __STATIC_FMTSTR
                                                                     },
                                                                     &match ()
                                                                          {
                                                                          ()
                                                                          =>
                                                                          [],
                                                                      }));
}

Вы должны сначала разрешить это, однако, передав -Z unstable-options,

Начиная с Rust 1.1 вы можете передавать эти аргументы в Cargo, например:

cargo rustc -- -Z unstable-options --pretty=expanded

Answer 2

Более краткая альтернатива cargo rustc -- -Zunstable-options --pretty=expanded грузовой ящик Предоставляет подкоманду Cargo cargo expand который печатает результат расширения макроса. Он также передает расширенный код через rustfmt что обычно приводит к гораздо более читаемому коду, чем вывод по умолчанию от rustc.

Установить, запустив cargo install cargo-expand,

Answer 3

Если вы хотите увидеть расширенный код еще до компиляции, вы можете использовать Expand Macro Recursivelyособенностьrust-analyzer(расширение vscode для языка Rust).

Answer 4

Начиная с, нужно пройти вместо -Zunstable-options --pretty=expanded, нравится:

      % rustc -Zunpretty=expanded test.rs

или:

      % cargo rustc -- -Zunpretty=expanded

Соответствующие коммиты rustc

В --pretty аргумент был удален из nightly-2021-07-28через этот коммит . Поддержка для -Zunpretty=expanded был добавлен в nightly-2018-01-24через этот коммит .