Как правильно обрабатывать промежутки в процедурных макросах?

Question

Я хочу, чтобы мой процедурный макрос заменил некоторые методы BinaryOps. Как установить интервалы, чтобы при возникновении ошибок мои пользователи не были полностью смущены?

Answer 1

После того, как я посмотрел на источник rustc, я пришел к выводу, что, следуя модели «расширения», вы получите наилучшие результаты. Поэтому мы сохраняем оригинал Span, но для expn_id, который мы можем получить, позвонив по телефону ExtCtxt::backtrace().

Представляется целесообразным установить это в обоих случаях, указанных в вопросе. Оператор можно рассматривать как расширенный в путь (вызов функции) и исходное двоичное выражение выражение, расширенное в вызове функции. Код:

match expr.unwrap() { 
    .. 
    Expr { node: ExprKind::Binary(Spanned { node: Add, span: op }, l, r), span, .. } => { 
     let bt = self.cx.backtrace(); // get the expansion ID 
     let path = self.cx.path(Span { expn_id: bt, ..op }, vec![crate_name, trait_name, fn_name]); 
     let epath = self.cx.expr_path(path); // path expression 
     let args_expanded = self.fold_exprs(args); 
     self.cx.expr_call(Span { expn_id: bt, ..span }, epath, args_expanded) 
     //^outer expression 
    } 
    .. 
}