将 Rust 宏类型转换为表达式

Question

我想假设给定类型使用方法（例如default()）实现了某些特征（例如Default）。我想调用该方法并将其值存储到局部变量中。以下是它的总体思路：

macro_rules! get_default {
    (  $x:ty = $alias:ident ) => {
        let $alias = $x::default();
    };
}

fn main() {
    // get_default!(i32 = z); 
    // println!("get_default! {:?} ", z);
    println!("i32 default {:?} ", i32::default());
}

Playground link.

当我尝试得到错误时：

error: expected expression, found `i32`
 --> <anon>:3:22
  |>
3 |>         let $alias = $x::default();
  |>                      ^^

我理解这是因为它需要一个表达式，但我只想将输入限制为类型。有没有办法将$x 从ty 转换为expr，或者调用某个类型的方法（即使它可能丢失）。

Answer 1

你快到了。您可以向编译器提示预期的默认类型，然后只需使用 universal function call syntax:

macro_rules! get_default {
    (  $x:ty = $alias:ident ) => {
        let $alias = <$x as Default>::default();
    };
}

fn main() {
    get_default!(i32 = z); 
    println!("get_default! {:?} ", z);
    println!("i32 default {:?} ", i32::default());
}

(Playground link)

关键位是这样的：

let $alias = <$x as Default>::default();

这会将$x 转换为Default 特征，然后根据需要调用default() 方法。

当您不需要消除特征之间的歧义时，您也可以使用简写：

let $alias = <$x>::default();

(Playground link)

UFCS 的更多一般用法

使用如上所示的 UFCS，您可以消除实现相同方法的特征之间的歧义。这是 'angle-bracket form'，如果 default() 方法在两个特征中实现，这很有用。

在这种特定场景下，您还可以更具体地使用 UFCS，如下所示：

let $alias: $x = Default::default();

仅此一项就为 Rust 提供了足够的信息来推断正确的 impl。

(Playground link)