rust - 在 FFI 中使用 ()(和其他零大小类型)

Question

在 Rust 中执行 FFI 时，() (或任何其他 zero-sized type )的等效项是什么？具体来说，我很好奇在编写 extern "C" 函数时，将 () 作为函数参数最合理的等价物是什么。

我的理解是零大小类型在 C 中无效，但 Rust 似乎允许它们在 extern "C" 函数中使用，例如:

#[no_mangle]
pub extern "C" fn test_ffi(input: ()) -> () {
}

在这种情况下，返回 () 与在 C# 中声明 void 函数相同。但是，我不清楚在从 C 生成绑定(bind)时如何声明 input 参数。我的印象是 ZST 无法在 C 中表示，因此不应该是 FFI-安全的。看起来像nomicon confirms this ，说:

And to avoid warning around using () in FFI, we instead use an empty array ([u8; 0]), which works just as well as an empty type but is FFI-compatible.

这似乎暗示 () 与 FFI 不兼容，但 [u8; 0] 是(尽管我希望它的大小也为零)？

Answer 1

C 中没有与 () 等效的函数。有些人可能认为 void 是等效的，但实际上并非如此。当然它们有相似之处，在大多数情况下它们是可以互换的，就像你说的那样: pub extern "C"fn test_ffi() -> () 将正确地解释为 void test_ffi(void)。 (注意:参数列表中的 void 表示该函数不带参数，因此它不是空类型)。

您可以将 void 视为什么都没有，但是 () 就什么都没有吗？不，它是一个空元组，而 void 实际上什么都没有。

I was under the impression that ZSTs aren't representable in C, and so shouldn't be FFI-safe.

不，它们不能用 C 表示: pub extern "C"fn test_ffi(input: (), foo: i32) -> () 这里不清楚 Rust 编译器应该理解什么，因为void test_ffi(void, int32_t foo); 在 C 中无效。

Nomicon使用空数组使类型不透明。我不建议这样做，但对于这个特定的用例来说可能没问题。无论如何，C 中的不透明类型都是邪恶的。请注意，空数组在 C 中是非法的，因此只能在 Rust 端使用。

我建议永远不要在任何 FFI 中使用任何零大小的类型。