wutongshenqiu / pl0 Goto Github PK

1. L208 这里确实没必要 Vec<Box<>> 的，直接 Vec<> 就行了，Vec<> 本身就是 : Sized 的，甚至用 Option<> 也是可以的，因为这些只是类型上循环引用了，本身的值是个树状结构，是有很明确的 ownership 的，Option<> 能节约一些内存分配。
   L220 有一个办法就是让其他所有的类型直接引用 ASTNode，然后在 ASTNode 里存在类型引用循环的地方改用 Option<>。

2. L251 这里其实可以直接用 parse(self) consume 掉整个 parser，毕竟从语义上来说，Lexer 本来也就是一次性的。

3. L7 Operator 和 Keyword 其实可以都用 enum 来定义，这样在后面的代码里面做 pattern matching 会方便很多。

4. L576 其实 Rust 的 pattern matching 可以直接 match box 的：

match *ast {
    ASTNode::Program(box ASTNode::Block {
        consts,
        vars,
        procedures,
        stmt,
    }) => ...
}

不过这需要 nightly rust 以及 #![feature(box_patterns)]

1. pl0/src/parser.rs

   Line 165 in 872f77a

   Token::Keyword(kw) if matches!(kw, KeywordToken::Procedure) => {

   loop ... match ... 这里可以直接写成

while matches!(self.lexer.peek_next_token()?, Token::Keyword(KeywordToken::Procedure)) {
    // ...
}

或者

while let Token::Keyword(KeywordToken::Procedure) = self.lexer.peek_next_token()? {
    // ...
}

我看 Token 是 derive 了 PartialEq 的，那其实也是可以直接写 == 的：

while self.lexer.peek_next_token()? == Token::Keyword(KeywordToken::Procedure) {
    // ...
}

2. pl0/src/lexer.rs

   Line 94 in 872f77a

   impl From<String> for Token {

   两个 impl From 可以合成一个：

impl<T: AsRef<str>> From<T> for Token {
    // ...
}

3. pl0/src/parser.rs

   Line 128 in 872f77a

   Token::Operator(op) => match op {

   这个嵌套的 match 可以跟外层打平：

match self.lexer.get_next_token()? {
    Token::Operator(OperatorToken::Semi) => break,
    Token::Operator(OperatorToken::Comma) => {
        // ...
    }
    Token::Operator(x) => {
        // ...
    }
    x => {
        // ...
    }
}

4. pl0/src/ast_eval.rs

   Line 128 in 872f77a

   if let 1 = cond.eval(context)?.ok_or(Pl0Error::InvalidIf)? {

   这儿直接 == 1 就可以了。
   

   pl0/src/ast_eval.rs

   Line 133 in 872f77a

   while let 1 = cond.eval(context)?.ok_or(Pl0Error::InvalidWhile)? {

   这儿也是。

5. pl0/src/ast_ir.rs

   Line 89 in 872f77a

   pub struct Ir {

   其实 Ir 可以整个定义为一个 enum 的。

6. pl0/src/interpreter.rs

   Line 7 in 872f77a

   pub struct Intepreter {}

   没有字段的 struct 可以直接写成 pub struct Interpreter;，这样甚至可以当做是一个全局常量来用。