将Rust宏类型转换为表达式

Question

I'd like to assume a given type implements some trait (eg Default ) with a method (eg default() ). I want to call that method and store its value into a local variable. Here is a general idea of it:

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 .

When I try that I get an error:

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

I understand it's because it expects an expression, but I want to limit input to types only. Is there a way to turn $x from ty to expr , or a way to call a method on a type (even if it's potentially missing).

Answer 1

You were almost there. You can hint the expected default type to the compiler and then just use the 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 )

The key bit is this:

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

This casts $x to the Default trait and then invokes the default() method, as you needed.

You can also use a shorthand when you don't need to disambiguate between traits:

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

( Playground link )

More General Usage of UFCS

Using UFCS as shown above, you can disambiguate between traits that implement the same methods. This is the ' angle-bracket form ' which is useful if the default() method is implemented in two traits.

In this specific scenario, you can also use UFCS more specifically, like so:

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

That alone provides enough information for Rust to infer the correct impl .

( Playground link )