当我尝试使用语法扩展以编程方式实现特征时,我陷入了困境。
我在这里写了一个最小的例子。我希望有人可以提供帮助(或为我指明正确的方向)。
// 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 标识符?
- 如何从该标识符获取方法名称以及如何使用语法扩展来实现它们?
最佳答案
你不能。
诸如宏和属性之类的语法扩展在名称解析之前进行扩展。这意味着虽然您可以获得标识符 TraitToHack
,但您无法从中提取有关该特征的任何信息。
下一个最好的事情是专门为特征实现一个属性,它对所述特征有硬编码的理解(即因为该属性是针对TraitToHack
,它知道它必须实现implement_me
)。这或多或少就是deriving
的工作原理:每个受支持的特征都有一个单独的扩展函数。
关于rust - 如何通过具有语法扩展的特征标识符获取原始 AST?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/27185147/