Rust中的程序宏解析怪异

Question

我正在尝试解析与此宏类似的宏：

annoying!({
    hello({
        // some stuff
    });
})

尝试使用类似于以下内容的过程宏定义来执行此操作，但是我遇到了意外的行为，并且不确定自己是否在做我不应该做的事情，或者发现了错误。 在下面的示例中，我试图找到每个块所在的行，对于第一个块（正好在里面的那个烦人！），它报告正确的行，但是对于内部块，当我尝试打印它们时，它总是1，无论代码在哪里等等

#![crate_type="dylib"]
#![feature(macro_rules, plugin_registrar)]

extern crate syntax;
extern crate rustc;

use macro_result::MacroResult;
use rustc::plugin::Registry;
use syntax::ext::base::{ExtCtxt, MacResult};
use syntax::ext::quote::rt::ToTokens;
use syntax::codemap::Span;
use syntax::ast;
use syntax::parse::tts_to_parser;

mod macro_result;

#[plugin_registrar]
pub fn plugin_registrar(registry: &mut Registry) {
    registry.register_macro("annoying", macro_annoying);
}

pub fn macro_annoying(cx: &mut ExtCtxt, _: Span, tts: &[ast::TokenTree]) -> Box<MacResult> {
    let mut parser = cx.new_parser_from_tts(tts);

    let lo = cx.codemap().lookup_char_pos(parser.span.lo);
    let hi = cx.codemap().lookup_char_pos(parser.span.hi);

    println!("FIRST LO {}", lo.line); // real line for annoying! all cool
    println!("FIRST HI {}", hi.line); // real line for annoying! all cool

    let block_tokens = parser.parse_block().to_tokens(cx);
    let mut block_parser = tts_to_parser(cx.parse_sess(), block_tokens, cx.cfg());

    block_parser.bump(); // skip {
    block_parser.parse_ident(); // hello
    block_parser.bump(); // skip (

    // block lines
    let lo = cx.codemap().lookup_char_pos(block_parser.span.lo);
    let hi = cx.codemap().lookup_char_pos(block_parser.span.hi);

    println!("INNER LO {}", lo.line); // line 1? wtf?
    println!("INNER HI {}", hi.line); // line 1? wtf?

    MacroResult::new(vec![])
}

我认为问题可能是因为我正在创建第二个解析器来解析内部块，并且可能使其中的Span类型变得疯狂，但是我不确定这是问题所在还是如何避免这里。 我创建第二个解析器的原因是，我可以递归地解析每个块中的内容，我可能正在做我不应该做的事情，在这种情况下，将欢迎更好的建议。

Answer 1

我相信这是＃15962 （和＃16472 ）， to_tokens具有普遍可怕的实现。 具体来说，任何不平凡的事情都使用ToSource ，它只是将代码转换为字符串，然后重新标记（是的，一点都不好！）。

在解决这些问题之前，您应该尽可能直接直接处理原始的tts 。 您可以使用已解析块的.span来近似正确的跨度（即parse_block返回值），这至少会将用户的注意力集中在正确的区域上。