rust - 如何从 Rust 访问用 C 声明的函数指针的零终止数组？

Question

我有以下带有零终止函数指针数组的 C 代码:

#include <stdio.h>

void hello_register(void) {
  printf("hello_register called\n");
}

void (*vlog_startup_routines[])() = {
    hello_register,
    0
};

此代码使用 Cargo 构建脚本编译并链接到我的 Rust 程序。我如何从 Rust 调用数组中的每个函数指针？

Answer 1

前两个答案的组合看起来更好:

extern crate libc;

type VlogStartupRoutine = Option<extern "C" fn()>;

extern "C" {
    // This array is NULL-terminated; set the length to zero to
    // prevent any uncontrolled access.
    static vlog_startup_routines: [VlogStartupRoutine; 0];
}

fn main() {
    unsafe {
        let routines = vlog_startup_routines.as_ptr();

        for i in 0.. {
            match *routines.offset(i) {
                Some(routine) => {
                    println!("Calling startup routine #{}", i);
                    routine();
                }
                None => break,
            }
        }
    }
}

---

符号vlog_startup_routines不是指向函数指针的指针，它是一个函数指针数组。当您使用名称 vlog_startup_routines在 C 代码中，数组左值被强制转换为指针。这并不意味着变量存储指针!

为了在 Rust 中最准确地表达这一点，我们可以定义 vlog_startup_routines作为一个数组。问题是我们不知道数组中有多少元素，因为它以 NULL 结尾。为防止任何意外误用，我们将长度设置为零，并且仅通过原始指针的偏移量访问元素。

我们使用 Option<extern "C" fn()>对于可空函数指针，如 FFI chapter of The Rust Programming Language 中所述.