linked-list - 是否可以在 Rust 中将一个结构的内存与另一个结构相关联?
问题描述
我知道在 Rust 中,编译器不保证您按照声明它们的顺序获取结构数据,以节省内存(我也相信一些 C 代码优化器也在做同样的事情)。假设现在我有一个二叉树并且想将它转换为一个双链表。在 CI 中会声明两个结构:
typedef struct tree{
void* left_child;
void* right_child;
void* data;
}tree_t;
对于树,并且:
typedef struct list{
void* before;
void* after;
void* data;
}list_t;
对于链表。如果我现在想将树转换为列表,我可以就地执行此操作,我只需将树的内存与列表结构相关联并更改指针:
tree_t mytree;
/*fill tree*/
list_t *list_p;
list_p = (list_t)&mytree;
/*change pointers accordingly*/
但是我怎么能在 Rust 中做这样的事情呢?甚至可以不使用unsafe
代码吗?直到现在我有我的树:
struct TreeNode<'a, T> {
left_child: BinaryTreeLink<'a, T>,
right_child: BinaryTreeLink<'a, T>,
data : &'a T,
}
type BinaryTreeLink<'a, T> = Option<Box<TreeNode<'a, T>>>;
清单将是:
struct ListNode<'a, T> {
before: ListLink<'a, T>,
after: ListLink<'a, T>,
data : &'a T,
}
type ListLink<'a, T> = Option<Box<ListNode<'a, T>>>;
但是我现在怎样才能有效地转换它们呢?
解决方案
但是我怎么能在 Rust 中做这样的事情呢?甚至可以不使用不安全的代码吗?直到现在我有我的树
要直接做同样的事情,你需要使用不安全的代码。该功能std::mem::transmute
完全符合您的要求。问题是 Rust 中结构的布局没有保证,因此以下通常是未定义的行为:
use std::mem;
let list_link: Option<Box<ListNode<_>>> = unsafe { mem::transmute(tree_node) };
但是,您可以通过使用以下表示强制结构的布局可预测来使其安全C
:
#[repr(C)]
struct TreeNode<'a, T> {
left_child: BinaryTreeLink<'a, T>,
right_child: BinaryTreeLink<'a, T>,
data : &'a T,
}
#[repr(C)]
struct ListNode<'a, T> {
before: ListLink<'a, T>,
after: ListLink<'a, T>,
data : &'a T,
}
您还需要应用#[repr(C)]
到内部类型的定义,ListLink
并且BinaryTreeLink
.
但是完全避免不安全的代码呢?如果您编写使用原始数据的转换函数,优化器应该能够将其转换为无操作,因为它知道没有其他代码可以引用该内存。
<'a, T> impl From<ListNode<'a, T>> for TreeNode<'a, T> {
fn from(other: ListNode<'a, T>) -> ListNode<'a, T>> {
ListNode {
before: other.left_child,
after: other.right_child,
data: other.data,
}
}
}
您绝对应该对此进行基准测试以确保,但优化器拥有使其成为无操作所需的所有信息,而且很可能会这样做。
推荐阅读
- python - 在另一个 Python 程序中调用函数
- python - 具有字符串和整数时的 Oracle Executemany 类型错误
- azure - 使用 Rust 调用 Azure Storare Queue Rest API
- javascript - 按名称和颜色选择项目
- php - 如何使用“woocommerce_subscription_renewal_payment_complete”钩子插入订阅续订订单的数据
- php - 从 Laravel 的响应中获取数组
- vue.js - 如何在 nuxt 插件上使用 publicRuntimeConfig
- java - 为什么没有输出显示?在这里,我试图在交替位置显示两个字符串
- javascript - 使用 Ajax 将数据从视图传递到控制器会导致控制器方法出现 404 错误
- sparql - 基于 CONSTRUCT 子查询中定义的新属性的 SPARQL 属性路径