我正在尝试为 C 集合库(Judy Arrays1)编写 Rust 绑定,该库仅提供自身空间来存储指针宽度值。我的公司有相当多的现有代码,它们使用此空间直接存储非指针值,例如指针宽度整数和小型结构。我希望我的 Rust 绑定允许使用泛型对此类集合进行类型安全访问,但我无法使指针存储语义正常工作。
mem::transmute()
函数似乎是实现所需行为的一种潜在工具,但尝试在参数化类型的实例上使用它会产生一个令我困惑的编译错误。
示例代码:
pub struct Example<T> {
v: usize,
t: PhantomData<T>,
}
impl<T> Example<T> {
pub fn new() -> Example<T> {
Example { v: 0, t: PhantomData }
}
pub fn insert(&mut self, val: T) {
unsafe {
self.v = mem::transmute(val);
}
}
}
结果错误:
src/lib.rs:95:22: 95:36 error: cannot transmute to or from a type that contains type parameters in its interior [E0139]
src/lib.rs:95 self.v = mem::transmute(val);
^~~~~~~~~~~~~~
这是否意味着仅由参数组成的类型“在其内部包含类型参数”,因此
transmute()
在这里不起作用?有什么正确方法的建议吗?
(相关问题,试图达到相同的结果,但不一定通过
mem::transmute()
。)
1:我知道现有的
rust-judy
项目,但它不支持我想要的指针隐藏,无论如何,我编写这些新绑定主要是作为学习练习。
您可以将
T
转换为 usize
,而不是直接将 &T
转换为 &usize
:
pub fn insert(&mut self, val: T) {
unsafe {
let usize_ref: &usize = mem::transmute(&val);
self.v = *usize_ref;
}
}
请注意,如果
T
的大小小于 usize
的大小或者对齐要求不同,则可能会从无效的内存位置读取。这可能会导致段错误。您可以添加断言来防止这种情况:
assert_eq!(mem::size_of::<T>(), mem::size_of::<usize>());
assert!(mem::align_of::<usize>() <= mem::align_of::<T>());