rust - 如何通过具有语法扩展的特征标识符获取原始 AST？

Question

当我尝试使用语法扩展以编程方式实现特征时，我陷入了困境。

我在这里写了一个最小的例子。我希望有人能提供帮助(或为我指明正确的方向)。

// Just some methods collection I want to implement programmatically.
trait TraitToHack {
    fn implement_me(&self) -> int; // Say, I'd like to implement this method programmatically to return 42.
}

// I create dummy struct and wrap it with special attribute.
#[AttributeToHack(TraitToHack)]
struct StructToHack;

// I register syntax extension based on Decorator. Its signature is something like this:
// fn expand(cx: &mut ext::base::ExtCtxt, span: codemap::Span, mitem: &ast::MetaItem, item: &ast::Item, push: |P<ast::Item>|) { .. }
// This is where I got stuck :(    
fn main() {
    let hack = StructToHack;
    hack.implement_me(); // Must return 42.
}

问题是:

• 如何从 AST 上下文中获取 Trait 标识符？
• 如何从该标识符中获取方法名称以及如何使用语法扩展来实现它们？

Answer 1

你不能。

像宏和属性这样的语法扩展在名称解析之前被扩展。这意味着虽然您可以获得标识符 TraitToHack，但您无法从中提取有关该特征的任何信息。

下一个最好的办法是为特征专门实现一个属性，它对所述特征有一个硬编码的理解(即，因为属性是为TraitToHack，它知道它必须实现 implement_me)。这或多或少是 deriving 的工作方式:每个支持的特征都有一个单独的扩展函数。