如何编写带有可链接标记的宏？

Question

我不太确定如何表达这个问题，所以问题标题很垃圾，但这是我正在尝试做的事情：

我可以写这个宏：

macro_rules! op(
  ( $v1:ident && $v2:ident ) => { Op::And($v1, $v2) };
  ( $v1:ident || $v2:ident ) => { Op::Or($v1, $v2) };
);

我可以这样使用：

let _ = op!(Expr || Expr);
let _ = op!(Expr && Expr);

我想做的是像这样写一个任意序列的标记：

let _ = op!(Expr || Expr || Expr && Expr || Expr);

解析为标记的 Vec，例如：

vec!(T::Expr(e1), T::Or, T::Expr(e2), T::Or, ...)

我会写vec！像宏：

macro_rules! query(
 ( $( $x:expr ),* ) => {
   {
     let mut temp_vec = Vec::new();
     $(temp_vec.push($x);)*
     temp_vec
    }
  };
);

...但我看不到如何在宏运行时将任意符号（例如 &&）转换为标记。

这有可能吗？

围栏link: http://is.gd/I9F5YV

Answer 1

似乎无法在宏扩展期间捕获任意符号匹配：正如语言参考所述，"valid designators are item, block, stmt, pat, expr, ty (type), ident, path, tt"。所以我最好的建议是使用 "ident"-valid 标记，例如 "and"/"or" 而不是“&&”/“||”，例如：

macro_rules! query_op(
  ( and ) => { "T::And" };
  ( or ) => { "T::Or" };
  ( $e:ident ) => { concat!("T::Expr(", stringify!($e), ")") };
);

macro_rules! query(
 ( $( $x:ident )* ) => {
   {
     let mut temp_vec = Vec::new();
     $(temp_vec.push(query_op!($x));)*
     temp_vec
    }
  };
);

fn main() {
  let q = query!(Expr1 or Expr2 and Expr3 or Expr4);
  println!("{:?}", q);
}

输出：

["T::Expr(Expr1)", "T::Or", "T::Expr(Expr2)", "T::And", "T::Expr(Expr3)", "T::Or", "T::Expr(Expr4)"]

如何编写带有可链接标记的宏？

How do you write a macro with chainable tokens?

rust