1

我是 Rust 的新手，三个小时以来一直在努力解决这个问题，我想我快疯了。我想要的只是一个解析器，它接受字符串"true"并返回一个 enum Value::Const(true)。这是我到目前为止所拥有的：

// parser.rs
use nom::*;

#[derive(PartialEq, Debug, Clone)]
pub enum Value {
    Const(bool),
}

fn true_value<T>(_: T) -> Value { Value::Const(true) }
fn false_value<T>(_: T) -> Value { Value::Const(false) }

named!(literal_true<&[u8]>, map_res!(tag!("true"), true_value));
named!(literal_false<&[u8]>, map_res!(tag!("false"), false_value));

但我得到的是：

error[E0308]: mismatched types
  --> src/parser.rs:25:1
   |
25 | named!(literal_true<&[u8], Result<Value, String>>, map_res!(tag!("true"), true_value));
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected enum `parser::Value`, found enum `std::result::Result`
   |
   = note: expected type `parser::Value`
              found type `std::result::Result<_, _>`
   = note: this error originates in a macro outside of the current crate

我不知道这里发生了什么。我试图找到示例或教程来获得关于如何做到这一点的一点提示，但出于某种原因，这一定是一些以前没有人尝试过的罕见的边缘事情。

4

1 回答 1

4

您有两个问题：您传递给的函数map_res（如 map 结果）必须返回 a Result，并且您传递给的函数签名named必须指示输入和输出类型。如果不想返回结果，可以使用map宏

#[derive(PartialEq, Debug, Clone)]
pub enum Value {
    Const(bool),
}

fn true_value<T>(_: T) -> Value { Value::Const(true) }
fn false_value<T>(_: T) -> Value { Value::Const(false) }

// input type and output type 
named!(literal_true<&[u8], Value>, map!(tag!("true"), true_value));
// input type can be omitted if it's &[u8]
named!(literal_false<Value>, map!(tag!("false"), false_value));
于 2017-05-21T01:40:29.520 回答