这个问题在这里已有答案:
我正在尝试在Rust中实现Monkey玩具语言。我现在正在尝试生成和AST,但在此之前,我需要一个功能正常的解析器。我已经有了我的词法分析器。
所以我的解析器的相关部分看起来像这样:
struct Parser<'a> {
lexer: lexer::Lexer<'a>,
current_token: Token<'a>,
peek_token: Token<'a>,
}
impl<'a> Parser<'a> {
// Create a new parser.
// Depends on a lexer capable of iterating over
// the tokens.
pub fn new(mut lexer: lexer::Lexer<'a>) -> Parser {
// constructor
}
// Read the next token.
//
// Returns self to avoid weird `move out of
// borrowed content` issue?
fn next_token(mut self) -> Self {
self.current_token = self.peek_token;
self.peek_token = self.lexer.next_token();
self
}
}
问题出在next_token
函数中。我真的希望它能与借来的&self
合作,如下所示:
// Read the next token.
fn next_token(&mut self) {
self.current_token = self.peek_token;
self.peek_token = self.lexer.next_token();
}
但是编译器抱怨要放弃借来的内容。现在,我理解为什么会发生这种情况:我只是借用self
,我无法执行从self.peek_token
到self.current_token
的转变,因为我不拥有它。
我的问题是,回归Self
是最好的策略吗?返回Self
的代码工作正常,但界面非常非常难看。
#[test]
fn test_next_token() {
let l = lexer::Lexer::new("let answer = 42;");
let p = Parser::new(l);
assert_eq!(p.current_token, Token::Let);
let p = p.next_token();
assert_eq!(p.current_token, Token::Ident("answer"));
}
有没有我没看到的替代方案?这是Rust的常用习语吗?
这是playground的链接。
你可以使用std::mem::replace
:
use std::mem;
// Read the next token.
fn next_token(&mut self) {
self.current_token = mem::replace(&mut self.peek_token, self.lexer.next_token());
}
replace
将第二个参数存储到第一个参数中,并返回第一个参数的当前值,然后我们将其分配给current_token
。