녹 구조 확장 및 특성

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 컨텍스트에서 형질 식별자를 얻기 위해?
• 식별자에서 메소드 이름을 가져 오는 방법과 구문 확장을 사용하여 메소드 이름을 구현하는 방법은 무엇입니까?

Answer 1

수 없습니다.

매크로 및 특성과 같은 구문 확장명은 으로 확장되어 이름 확인에 앞서으로 확장됩니다. 즉, 식별자 TraitToHack을 얻을 수 있지만 그 특성에 대한 정보는 추출 할 수 없습니다.

차선책은 (속성이 TraitToHack입니다 때문에, 그것은 implement_me를 구현해야 알고 즉)는 상기 특성의 하드 코딩 된 이해를 가지고있는 특성에 대한 속성 특히을 구현하는 것입니다. 이것은 다소 비슷합니다 : deriving : 지원되는 각 특성에 대해 별도의 확장 기능이 있습니다.