将Rust变量传递给期望能够修改它的C函数

时间:2017-03-10 21:22:38

标签: c rust ffi

我正在编写一个安全的Rust层,我可以使用它从Rust中的C库调用函数。我使用rust-bindgen生成了不安全的绑定,但是我对Rust和C在传递指针方面的工作差异感到有些困惑。

C函数如下所示:

bool imeGet(unsigned char address, int *value);

它在address处读取I2C传感器,将结果存储在value中,并在成功时返回TRUE

Bindgen的Rust函数看起来像这样:

pub fn imeGet(address: ::std::os::raw::c_uchar,
              value: *mut ::std::os::raw::c_int) -> bool;

我的安全来电者目前看起来像这样:

pub fn ime_get(addr: u8) -> i32 {
    let v: &mut i32 = 0;
    unsafe {
        imeGet(addr, v);
        *v
    }
}

由于= 0,此代码无法编译。当我没有那个时,编译器抱怨v可能没有被初始化。我的目的是在此函数中处理成功,并返回i32值。

如何处理*mut c_int参数的行为?我试图声明v作为参考并返回其解除引用的值(上图),但这并不起作用。我还试图返回v,但我并不希望返回值保持可变。

我对Rust很陌生,但我在C中确实有一个不错的背景,这可能是我混淆的源头。

1 个答案:

答案 0 :(得分:6)

  

但我确实在C

中有一个不错的背景

Rust代码的道德等同物是:

step([$class: 'XUnitBuilder', testTimeMargin: '3000', thresholdMode: 1, 
    thresholds: [
     [$class: 'FailedThreshold', failureNewThreshold: '', 
              failureThreshold: '2', unstableNewThreshold: '', 
              unstableThreshold: '1'], 
     [$class: 'SkippedThreshold', failureNewThreshold: '', 
            failureThreshold: '', unstableNewThreshold: '', 
            unstableThreshold: '']], 
    tools: [[$class: 'JUnitType', deleteOutputFiles: false, 
      failIfNotNew: false, pattern: 'ibx-test/reports/unit-tests/PhantomJS_2.1.1_(Linux_0.0.0)/ibx-test/reports/unit-tests/*.xml',
      skipNoTestFiles: false, stopProcessingIfError: false]]])

这会有一个错误,因为C代码可能会取消引用int *v = NULL; imeGet(addr, v); *v 来存储值,除非你传入一个NULL,所以它更有可能会繁荣。

您需要为该值创建存储,然后为该函数提供该存储的引用:

v

任何指针类型的解决方案都使用ptr::null_mut

fn ime_get(addr: u8) -> i32 {
    let mut v = 0;
    unsafe { imeGet(addr, &mut v) };
    v
}

任何类型的常规解决方案都使用mem::uninitialized

unsafe { 
    let mut v = std::ptr::null_mut();
    takes_a_pointer_pointer(addr, &mut v);
    v
}

为完整起见,您应该检查返回值:

unsafe { 
    let mut v = std::mem::uninitialized();
    takes_a_value_pointer(addr, &mut v);
    v
}
  

Rust和C在传递指针方面的工作差异。

在这个级别上真的没有。