Question

编辑：事实证明，Rust编译器不够智能，无法传递有关变量是否是静态定义的信息。在模式匹配时，编译器只知道它是一个String。

我正在尝试在Rust中创建一个解析器，我已经定义了一个Token枚举。

pub enum Constant {
    String(String),
}

pub enum Token {
    KwIf,
    KwThen,
    KwElse,
    Constant(Constant),
}

我还编写了一个literal函数，重要的一点是这个函数返回静态字符串（即&'static str），因为性能原因（字符串也永远不会改变所以它有意义它们在程序的整个生命周期中保持不变。）

impl Token {
    pub fn literal(&self) ->  Option<&'static str> {
        match self {
            &Token::KwIf => Some("if"),
            &Token::KwThen => Some("then"),
            &Token::KwElse => Some("else"),
            _ => None,
        }
    }
}

我现在遇到的问题是你如何模式匹配literal函数并使用rust print!函数直接打印文字字符串，即假设我写了这样的东西

use Constant::*;
pub fn print_token(token: Token) {
    match token.literal() {
        Some(literal) => print!(literal);
        None => match token {
            Token::Constant(constant) => match constant {
                String(string) => print!("{}", string),
                _ => panic!("Unexpected token"),
            }
        }
    }
}

问题是当我尝试打印这个文字时出现编译错误，即我得到的编译错误是error: format argument must be a string literal.我已经尝试了很多组合如何打印静态字符串文字而不必抛出它到正常String（当然这首先违背了使用静态字符串文字的目的）。

或者有一个更好的方法来解决我想要解决的问题，我正在为一种语言编写解析器，并且很快，我正在编写令牌以及解析器/打印机。

Answer 1

我认为问题在于这一行

Some(literal) => print!(literal);

应该是

Some(literal) => print!("{}", literal),

与你在无案例中所做的一样。

我相信println！使用格式！宏并根据生锈文档

“第一个参数格式！receive是一个格式字符串。这必须是字符串文字。”

https://doc.rust-lang.org/std/macro.format.html

匹配Rust

1 个答案: