generics - 如何静态地强制泛型类型具有特定的表示形式？

Question

我有一个通用的 struct Foo<T>我想用于 FFI。例如，以下内容可用于内存映射实现。

use std::marker::PhantomData;
use memmap::MmapMut;

#[repr(C)]
struct Shared<T> {
    foo: MmapMut,
    _marker: PhantomData<T>,
}

我希望这是 FFI 安全的，所以我想强制执行 T 也必须是repr(C) .问题是表示不是 Rust 中的特征，因此我没有看到静态强制执行此操作的直接方法，例如 struct Foo<T: ReprC>。会很好，但据我所知不存在。可以使用宏吗？

Answer 1

也许您可以制作一个特征 ReprC，并将其用作您的方法的特征绑定(bind)。这不是真正重要的强制执行，但它可能比文档更好。