如何在不包装不安全函数的情况下传递一个不安全函数，当期望一个安全函数时？

Question

如何在不包装不安全函数的情况下传递一个不安全函数，当期望一个安全函数时？

4

我希望将pthread_create指向我稍后链接到的C函数，该C函数将使用pthread_cleanup_push和pthread_cleanup_pop，这些都是C宏，因此无法移植到Rust。

以下是我的代码：

extern crate libc;
use std::ptr::null_mut;
use libc::c_void;

extern "C" {
    fn thr_fn1(arg:*mut c_void) -> *mut c_void;
}

fn main() {
    let mut tid1 = std::mem::zeroed();
    libc::pthread_create(&mut tid1, null_mut(), thr_fn1, null_mut());
}

我原本以为既然我已经在调用libc的FFI，那么我可以直接指向一个外部的C函数，但是我却收到了一个错误：

error[E0308]: mismatched types
  --> src/bin/11-threads/f05-thread-cleanup.rs:25:49
   |
25 |     libc::pthread_create(&mut tid1, null_mut(), thr_fn1, null_mut());
   |                                                 ^^^^^^^ expected normal fn, found unsafe fn
   |
   = note: expected type `extern "C" fn(*mut libc::c_void) -> *mut libc::c_void`
              found type `unsafe extern "C" fn(*mut libc::c_void) -> *mut libc::c_void {thr_fn1}`

我可以编写一个包装器，在unsafe{}块中调用C函数，但有没有避免这种情况的方法？

- hansaplast

3

那听起来像是libc的一个bug。您考虑过提交问题报告或请求更改签名吗？ - Shepmaster

1

如果您正在使用Rust代码调用C代码，并将传递一个C函数，则可以选择另一种方法：直接从C代码中调用pthread_create，跳过整个繁琐的过程。 - Shepmaster

要求只传递安全代码给C看起来是多余的，但一个简单的解决方法是创建一个 extern "C" fn wrapped_fn1(arg: *mut c_void) -> *mut c_void { unsafe { thr_fn1(arg) } } 并将 wrapped_fn1 传递给 pthread_create。此外，在 main 中需要一个 unsafe 块来调用 libc::pthread_create 和 std::mem::zeroed。 - user4815162342

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- hansaplast · Accepted Answer

libc函数定义错误：C头文件/usr/include/pthread.h：

extern int pthread_create (pthread_t *__restrict __newthread,
                           const pthread_attr_t *__restrict __attr,
                           void *(*__start_routine) (void *),
                           void *__restrict __arg) __THROWNL __nonnull ((1, 3));

"bindgen"生成了这个函数定义：

bindgen

。

pub fn pthread_create(arg1: *mut pthread_t,
                      arg2: *const pthread_attr_t,
                      arg3: Option<unsafe extern "C" fn(arg1: *mut c_void) -> *mut c_void>,
                      arg4: *mut c_void) -> c_int;

这个编译可以在macOS和Linux上都进行。我不确定在这里使用Option是否是一个好主意；为什么有人会启动一个不调用函数的线程呢？

我为libc打开了一个PR来纠正这个问题（没有Option部分）