主页 / coding / 问题 / 77876748
Accepted
ChrisB
Asked: 2024-01-25 07:20:33 +0800 CST

Rust FFI 边界上的恐慌何时会出现未定义行为？

  • 772

rustnomicon包含以下示例：

#[no_mangle]
extern "C" fn assert_nonzero(input: u32) {
    assert!(input != 0)
}

如果assert_nonzero使用参数 调用0，则运行时保证（安全）中止进程，无论是否使用panic=abort.

另一方面，Rust Reference声称：

行为被视为未定义：[...] 使用错误的调用 ABI 调用函数或从具有错误的展开 ABI 的函数展开。

这两种说法对我来说似乎是矛盾的。assert_nonzero拥有CABI，但摆脱了 Rust 恐慌。那么这是否保证（安全）中止或UB？不可能两者兼而有之。

Chayim Friedman 在另一个问题上善意地表示这确实是 UB。

那么 Rustnomicon 是否已经过时了，或者我是否误解了什么？

更一般地说：跨越 FFI 边界的 Rust 恐慌何时被视为未定义行为？

rust

1 个回答

  1. Best Answer

    来自ABI的 RFC-unwind：

    现有 ABI 字符串行为的更改

    在此 RFC 之前，任何跨越边界的展开操作extern "C"，无论是从panic!使用 定义的 Rust 函数“逃逸” extern "C"，还是通过使用 声明的入口点从另一种语言进入 Rust extern "C"，都会导致未定义的行为。

    该 RFC 保留了大部分未定义的行为，但有一个例外：对于panic=unwind运行时，panic!将导致一个abortif 它将从使用 定义的函数中“逃逸” extern "C"。

    此更改将应用​​于除 之外的所有 ABI 字符串"Rust"，例如"system"。

    所以看起来这曾经是 UB，但是在这个 RFC 被接受之后，这不再是 UB 并且肯定会中止。

    我不知道我们是否可以说该引用已经过时，因为我们可以说我们只是不会因extern "C"Rust 函数的恐慌而放松（而是中止）。

    • 2

相关问题