Do Rust宏在特徵定義內工作嗎？

Question

我可以使用宏而不是特性來構建結構和枚舉。這是一個錯誤還是關於我缺少的特質如何工作？下面是未能建立一個簡單的例子：

macro_rules! fun{ 
() => { fn hello(); } 
} 

macro_rules! full_fun{ 
() => { fn hello(){} } 
} 

// Fails with: 
// <anon>:13:8: 13:11 error: expected one of `const`, `extern`, `fn`, `type`, or `unsafe`, found `fun` 
// <anon>:13  fun!(); 
macro_rules! trait_macro{ 
    ($name:ident) => { 
    pub trait $name { 
     fun!(); 
    } 
}; 
} 

macro_rules! struct_macro{ 
    ($name:ident) => { 
    pub struct $name; 

    impl $name { 
     full_fun!(); 
    } 
}; 
} 

// I can add functions to a Impl 
struct_macro!{Monster} 
// But I cannot add functions to a trait 
trait_macro!{Monster} 


fn main() { 

} 

Answer 1

目前不支持特徵擴展中的宏。相關的AST代碼：

pub enum TraitItemKind { 
    Const(P<Ty>, Option<P<Expr>>), 
    Method(MethodSig, Option<P<Block>>), 
    Type(TyParamBounds, Option<P<Ty>>), 
} 

作爲錯誤消息指出只有const，extern，fn，type，或unsafe預期如在特質下一個標記之一。

Answer 2

根據the Rust documentation on macros，宏可以展開爲：

• 零或多個項目
• 零或多個方法，
• 一個表達，
• 聲明或
• 模式。

您的full_fun成爲一種方法，但我認爲一個特徵內的聲明不算。 （雖然我還沒有找到確切的參考）。

即使是這樣，它不會幫助：由於宏觀衛生規則，規定不能在其他地方引用，因爲這將有效地是唯一的標識符從任何其他不同的hello - 即你fun!()宏將不應聲明與full_fun!()實施的功能相同。