Что это за странный синтаксис, когда вариант enum используется как функция?
Ниже приведен пример, приведенный в документации мода 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
ЛИЭС? Если последний случай, есть ли документация proc_macro
конкретные правила синтаксиса?
1 ответ
Решение
Этот синтаксис является стандартным синтаксисом Rust. Вы можете использовать tuple struct или tuple struct-like enum варианты в качестве функций. Посмотрите на этот небольшой пример:
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);
Вы можете узнать больше об этой функции в этой главе книги.