fra*_*pps 6 struct pointers ffi rust rust-cargo
我已经构建了一个 Rust 接口,我想通过 C(或 C#,但就问题而言并不重要)与之交互。因为似乎不可能使 Rust Struct可供 CI 访问,所以我尝试构建一些我可以调用的包装函数,这些函数将在 Rust 中创建 Struct,调用该结构的函数并最终手动从内存中释放该 Struct。
为了做到这一点,我想将函数中创建的 Struct 实例的指针传递回initC(或 C# 并将其临时存储为IntPtr)。然后,当我调用其他函数时,我将再次将指针传递给 Rust,取消引用它并在取消引用的 Struct 上调用适当的函数,并在此过程中对其进行修改。
我知道我将不得不使用不安全的代码来做到这一点,我对此感到满意。我可能还应该指出,我对 Rust 中的生命周期管理了解不多,而且很可能我想要做的事情是不可能的,因为很容易在某个地方产生松散的指针。在这种情况下,我想知道我需要如何调整我的方法,因为我认为我不是第一个尝试在 Rust 中从 C 改变某种状态的人。
因此,首先我确保输出正确的库并向其中添加我的本机函数。在Cargo.toml中,我将 lib 类型设置为:
[lib]
crate-type = ["cdylib"]
Run Code Online (Sandbox Code Playgroud)
然后我创建了一些与结构交互的函数并像这样公开它们:
#[no_mangle]
pub extern fn init() -> *mut MyStruct {
let mut struct_instance = MyStruct::default();
struct_instance.init();
let raw_pointer_mut = &mut struct_instance as *mut MyStruct;
return raw_pointer_mut;
}
#[no_mangle]
pub extern fn add_item(struct_instance_ref: *mut MyStruct) {
unsafe {
let struct_instance = &mut *struct_instance_ref;
struct_instance.add_item();
}
}
Run Code Online (Sandbox Code Playgroud)
正如您在函数中看到的,init我正在创建结构,然后返回(可变)指针。
然后我在函数中获取指针add_item并使用它。
现在我尝试测试这个实现,因为我对指针是否仍然有效有一些疑问。在另一个 Rust 模块中,我加载了 .dll 和 .lib 文件(我在 Windows 上,但这对问题来说并不重要),然后相应地调用函数,如下所示:
fn main() {
unsafe {
let struct_pointer = init();
add_item(struct_pointer);
println!("The pointer adress: {:?}", struct_pointer);
}
}
#[link(name = "my_library.dll")]
extern {
fn init() -> *mut u32;
fn add_item(struct_ref: *mut u32);
}
Run Code Online (Sandbox Code Playgroud)
发生了什么:我确实得到了一些内存地址输出,并且(因为我实际上在实际实现中创建了一个文件)我还可以看到这些函数已按计划执行。然而,结构的字段似乎没有发生变化。它们基本上都是空的,在我调用该函数之后它们不应该是空的add_item(并且在我调用该函数之后也不应该是空的init)。
我读了一些关于 Rust 生命周期管理的内容,因此尝试使用类似这样的方法在堆上分配 Struct Box:
#[no_mangle]
pub extern fn init() -> *mut Box<MyStruct> {
let mut struct_instance = MyStruct::default();
struct_instance.init();
let raw_pointer_mut = &mut Box::new(struct_instance) as *mut Box<MyStruct>;
return raw_pointer_mut;
}
#[no_mangle]
pub extern fn add_box(struct_instance_ref: *mut Box<MyStruct>) {
unsafe {
let struct_instance = &mut *struct_instance_ref;
struct_instance.add_box();
}
}
Run Code Online (Sandbox Code Playgroud)
不幸的是结果与上面相同。
我认为最好还包括Struct原则上的组成方式:
#[derive(Default)]
#[repr(C)]
pub struct MyStruct{
// Some fields...
}
impl MyStruct{
/// Initializes a new struct.
pub fn init(&mut self) {
self.some_field = whatever;
}
/// Adds an item to the struct.
pub fn add_item(
&mut self,
maybe_more_data: of_type // Obviously the call in the external function would need to be adjusted to accomodate for that...
){
some_other_function(self); // Calls another function in Rust, that will take the struct instance as an argument and mutate it.
}
}
Run Code Online (Sandbox Code Playgroud)
Tho*_*mas 14
Rust 有很强的所有权概念。问问自己:谁拥有该MyStruct实例?它是struct_instance变量,其生命周期是函数的范围init()。因此init(),返回后,该实例将被删除并返回一个无效的指针。
MyStruct在堆上分配将是解决方案,但不是以您尝试的方式:实例被移动到堆,但随后Box包装器绑定到相同的有问题的生命周期,因此它破坏了堆分配的对象。
一种解决方案是Box::into_raw在丢弃盒子之前将堆分配的值从盒子中取出:
#[no_mangle]
pub extern fn init() -> *mut MyStruct {
let mut struct_instance = MyStruct::default();
struct_instance.init();
let box = Box::new(struct_instance);
Box::into_raw(box)
}
Run Code Online (Sandbox Code Playgroud)
要稍后销毁该值,请使用Box::from_raw创建一个Box拥有它的新值,然后让该框在超出范围时释放其包含的值:
#[no_mangle]
pub extern fn destroy(struct_instance: *mut MyStruct) {
unsafe { Box::from_raw(struct_instance); }
}
Run Code Online (Sandbox Code Playgroud)
这似乎是一个常见问题,因此可能有更惯用的解决方案。希望更有经验的人指点一下。