Rust“如果让”不工作?

时间:2016-07-30 04:20:47

标签: rust

我在Rust中包装libxml2作为学习Rust FFI的练习,我遇到了一些奇怪的事情。我是Rust的新手,但我相信以下内容应该有效。

main.rs我有:

mod xml;

fn main() {
    if let doc = xml::parse_file("filename") {
        doc.simple_function();
    }
}

xml.rs是:

extern create libc;

use libc::{c_void, c_char, c_int, c_ushort};
use std::ffi::CString;

// There are other struct definitions I've implemented that xmlDoc
// depends on, but I'm not going to list them because I believe
// they're irrelevant

#[allow(non_snake_case)]
#[allow(non_camel_case_types)]
#[repr(C)]
struct xmlDoc {
    // xmlDoc structure defined by the libxml2 API
}


pub struct Doc {
    ptr: *mut xmlDoc
}

impl Doc {
    pub fn simple_function(&self) {
        if self.ptr.is_null() {
            println!("ptr doesn't point to anything");
        } else {
            println!("ptr is not null");
        }
    }
}

#[allow(non_snake_case)]
#[link(name = "xml2")]
extern {
    fn xmlParseFile(filename: *const c_char) -> *mut xmlDoc;
}

pub fn parse_file(filename: &str) -> Option<Doc> {
    unsafe {
        let result;
        match CString::new(filename) {
            Ok(f) => { result = xmlParseFile(f.as_ptr()); },
            Err(_) => { return None; }
        }
        if result.is_null() {
            return None;
        }
        Some(Doc { ptr: result })
    }
}

我将C结构xmlDoc包装在一个很好的Rust友好结构Doc中,以便在安全(Rust)和不安全(C)数据类型和函数之间进行清晰的描述

这一切都适用于大部分,除非我编译时,我在main.rs中收到错误:

src/main.rs:38:13: 38:28 error: no method named 'simple_function' found
for type 'std::option::Option<xml::Doc>' in the current scope
src/main.rs:38         doc.simple_function();
                       ^~~~~~~~~~~~~~~
error: aborting due to previous error`

似乎确信docOption<xml::Doc>即使我正在使用应展开if let类型的Option表单。有什么我做错了吗?

match xml::parse_file("filename") {
    Some(doc) => doc.simple_function(),
    None => {}
}

以上工作正常,但如果我能够,我想使用Rust的if let功能。

1 个答案:

答案 0 :(得分:7)

您需要将实际模式传递给if let(与Swift之类的语言不同,if let类型的特殊情况Option):

if let Some(doc) = xml::parse_file("filename") {
    doc.simple_function();
}