`ty`マクロマッチャーを使って構造体を構築できないのはなぜですか？

Question

struct A { 
    x: i64, 
} 

macro_rules! foo { 
    ($T:ty) => { 
     fn test() -> $T { 
      $T { x: 3 } 
     } 
    } 
} 

foo!(A); 

Playground

error: expected expression, found `A` 
8 |    $T { x: 3 } 

私はidentを使用することができます知っているが、私は$T {}を使用することはできませんなぜ私が得ることはありません。

Answer 1

のFooはタイプではありません。タイプはi32またはStringのようなものですが、Vec<u8>またはResult<Option<Vec<bool>>, String>のようなものもあります。

それは、このようなコードを書くためにどんな意味がありません。

struct A<T>(T); 

fn main() { 
    A<u8>(42); 
} 

あなたはでのidentとタイプの両方合格する必要があります。

macro_rules! foo { 
    ($T1: ty, $T2: ident) => { 
     fn test() -> $T1 { 
      $T2 { x: 3 } 
     } 
    } 
} 

foo!(A, A); 

それとも、カンニングすることができますがトークンツリーを使用します。

macro_rules! foo { 
    ($T: tt) => { 
     fn test() -> $T { 
      $T { x: 3 } 
     } 
    } 
}