时间戳

首页 > 解决方案 > 在 Deref 上的 Rust 结构字段泛型

rust - 在 Deref 上的 Rust 结构字段泛型

问题描述

我正在尝试构建操作递归（树状）数据结构的 Rust 代码。天真地，可以将其定义为

struct ALinkedList {
    value: i32,
    next: Option<Box<Self>>
}

为了试验不同的内存布局并将算法设计与存储分开，我想将定义概括为类似

struct ALinkedList<D: Deref<Target=Self>> {
    value: i32,
    next: Option<D>
}

但是当试图构造一个 ALinkedList 的实例时，我得到了

64 |     let t: ALinkedList<Box<_>> = ALinkedList{value: 0, next: Some(Box::new(ALinkedList{value: 0, next: None}))};
   |            ^^^^^^^^^^^^^^^^^^^ cyclic type of infinite size

我的问题是：

  1. 是否有可能使这些递归类型定义在 Rust 中工作？
  2. 如果不是，我可以使用哪些其他设计模式来表示树状结构，而无需硬编码其子项在内存中的存储和取消引用方式？

标签： rust

解决方案

不幸的是，Rust 目前无法处理无限深的泛型。

有一种使用 GAT（通用关联类型）的方法，不幸的是仍然只在夜间（操场）：

#![feature(generic_associated_types)]
use std::ops::Deref;

struct ALinkedList<A: Allocator> {
    value: i32,
    next: Option<A::Allocated<Self>>
}
impl<A: Allocator> ALinkedList<A> {
    fn set_next(&mut self, next: Self) {
        self.next = Some(next.into()) // create a new allocation via From
    }
}

trait Allocator {
    type Allocated<T>: Deref<Target=T> + From<T>;
}

struct BoxAllocator;
impl Allocator for BoxAllocator {
    type Allocated<T> = Box<T>;
}

fn main() {
    let mut t: ALinkedList<BoxAllocator> = ALinkedList{value: 0, next: Some(Box::new(ALinkedList{value: 0, next: None}))};
    t.set_next(ALinkedList{value: 1, next: None});
}

推荐阅读