Что это за странный синтаксис, когда вариант enum используется как функция? - PullRequest
0 голосов
/ 21 февраля 2019

Ниже приведен пример , заданный в документации мода syn::parse.

enum Item {
    Struct(ItemStruct),
    Enum(ItemEnum),
}

struct ItemStruct {
    struct_token: Token![struct],
    ident: Ident,
    brace_token: token::Brace,
    fields: Punctuated<Field, Token![,]>,
}

impl Parse for Item {
    fn parse(input: ParseStream) -> Result<Self> {
        let lookahead = input.lookahead1();
        if lookahead.peek(Token![struct]) {
            input.parse().map(Item::Struct)    // <-- here
        } else if lookahead.peek(Token![enum]) {
            input.parse().map(Item::Enum)      // <-- and here
        } else {
            Err(lookahead.error())
        }
    }
}

Является ли input.parse().map(Item::Struct) допустимым нормальным синтаксисом Rust (отображается не так, как Item::Struct не являетсяфункция), или это особый синтаксис для proc_macro libs?Если последнее имеет место, есть ли документация proc_macro определенных правил синтаксиса?

1 Ответ

0 голосов
/ 21 февраля 2019

Этот синтаксис является стандартным синтаксисом Rust. В качестве функций вы можете использовать варианты перечисления как tuple struct или tuple struct-like. См. Этот небольшой пример:

enum Color {
    Str(String),
    Rgb(u8, u8, u8),
}

struct Foo(bool);

// Use as function pointers (type annotations not necessary)
let f: fn(String) -> Color = Color::Str;
let g: fn(u8, u8, u8) -> Color = Color::Rgb;
let h: fn(bool) -> Foo = Foo;

В следующем примере эти функции напрямую передаются другой функции (например,Option::map) ( Детская площадка ):

// A function which takes a function
fn string_fn<O, F>(f: F) -> O
where
    F: FnOnce(String) -> O,
{
    f("peter".to_string())
}


string_fn(|s| println!("{}", s));  // using a clojure 
string_fn(std::mem::drop);         // using a function pointer

// Using the enum variant as function
let _: Color = string_fn(Color::Str); 

Подробнее об этой функции вы можете узнать в этой главе книги .

...