Использование макроса аргумент типа внутри сгенерированной функции

Question

Я пытаюсь реализовать макрос, который реализует Добавить черта для структуры, как так:

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() {} 

Однако это дает ошибку на указанной линии:

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

Это не имеет для меня никакого смысла. Тем более что, если я заменю $t там с Length, он компилируется отлично. Я делаю что-то не так в моем макросе?

площадка: http://is.gd/EIEKub

Answer 1

Вы наткнулись на тонком битой системе типа Руста. Length - тип, но Length() - это функция . Они существуют в разных пространствах имен.

Одна работа вокруг, чтобы расширить свой макрос, чтобы принять тип и функция:

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() {}