Usando un tipo di argomento macro all'interno di una funzione generata

Question

Sto cercando di implementare una macro che implementa il componente aggiuntivo tratto per una struttura, in questo modo:

macro_rules! implement_add { 
    ($t:ty) => { 
     impl std::ops::Add for $t { 
      type Output = $t; 
      fn add(self, rhs: $t) -> $t { 
       $t(self.0 + rhs.0)  // error on this line 
      } 
     } 
    } 
} 

pub struct Length(f64); 

implement_add!(Length); 

fn main() {} 

Tuttavia, questo dà un errore sulla linea indicata:

<anon>:6:17: 6:19 error: unexpected token: `Length` 
<anon>:6     $t(self.0 + rhs.0)  // error on this line 
         ^~ 

Questo non ha senso per me. Tanto più che, se sostituisco $t con Length, compila bene. Sto facendo qualcosa di sbagliato nella mia macro?

Playground: http://is.gd/EIEKub

Answer 1

quando hai inciampato su un po 'sottile, di sistema di tipo di Rust. Length è un tipo, ma Length() è una funzione. Questi esistono in diversi spazi dei nomi.

Un lavoro intorno è quello di estendere la macro per accettare un tipo di e una funzione:

macro_rules! implement_add { 
    ($t:ty, $c:ident) => { 
     impl std::ops::Add for $t { 
      type Output = $t; 
      fn add(self, rhs: $t) -> $t { 
       $c(self.0 + rhs.0)  // error on this line 
      } 
     } 
    } 
} 

pub struct Length(f64); 

implement_add!(Length, Length); 

fn main() {}