У меня есть структура, Parser
с полем, transformer
предназначена для хранения функции. Эта функция возвращает замыкание, которое обрабатывает ParserState
и возвращает ParserState
. Я создал функцию str_parser
, которую я использую в качестве преобразователя для нового экземпляра Parser
.
pub struct Parser<F>
where F: FnOnce(ParserState) -> ParserState {
pub transformer: F
}
#[derive(Debug, PartialEq, Clone)]
pub struct ParserState {
pub target: String,
pub index: usize,
pub result: Option<String>, // the container of eventual results from the parsing, with Some(result) or None
pub error: bool, // whether we've encountered an error; index -> 0, Some(err_msg)
pub err_msg: Option<String> // Eventual error message
}
impl<F> Parser<F>
where F: FnOnce(ParserState) -> ParserState {
pub fn new(f: F) -> Self {
// creating a new Parser just means deciding on which closure it applies
Parser {
transformer: f,
}
}
pub fn run(&self, corpus: String) -> ParserState {
let state = ParserState {
target: corpus,
index: 0,
result: None,
error: false,
err_msg: None
};
return (self.transformer)(state);
}
}
pub fn str_parser(needle: String) -> impl FnOnce(ParserState) -> ParserState {
let parser = move |state: ParserState| {
let target_string = state.target;
let index = state.index;
if target_string[index..needle.len()] == needle {
ParserState {
target: target_string,
index: index + needle.len(),
result: Some(needle),
error: false,
err_msg: None
}
} else {
ParserState {
target: String::from(""),
index: 0,
result: None,
error: true,
err_msg: Some(String::from("Error"))
}
}
};
parser
}
Средство проверки заимствований отказывается разрешить мне применить эту функцию к предоставленный параметр после карри, из-за этой ошибки:
error[E0507]: cannot move out of `self.transformer` which is behind a shared reference
--> src/parsers.rs:32:16
|
32 | return (self.transformer)(state);
| ^^^^^^^^^^^^^^^^^^ move occurs because `self.transformer` has type `F`, which does not implement the `Copy` trait
Как мне go об этом? Реализация черты Copy
в этом сценарии кажется мне пугающей. Есть ли способ сделать это легальным ходом, в то же время позволяя мне делать карри с этой str_parser
функцией?