如何向rustc提示基于Pointee::Metadata的递归数据结构合法？

问题代码 #

#![feature(ptr_metadata)]

use core::ptr::Pointee;

struct TypedHandle<E: ?Sized, H> {
    handle: H,
    metadata: <E as Pointee>::Metadata,
}

type NodeHandle<T, H> = TypedHandle<Node<T, H>, H>;

struct Node<T, H> {
    element: T,
    next: NodeHandle<T, H>,
    prev: NodeHandle<T, H>,
}

编译器错误输出 #

error[E0284]: type annotations needed
  --> src/lib.rs:14:11
   |
14 |     next: NodeHandle<T, H>,
   |           ^^^^^^^^^^^^^^^^ cannot infer type
   |
   = note: cannot satisfy `<Node<T, H> as Pointee>::Metadata == _`
note: required because it appears within the type `TypedHandle<Node<T, H>, H>`
  --> src/lib.rs:5:8
   |
5  | struct TypedHandle<E: ?Sized, H> {
   |        ^^^^^^^^^^^
   = note: only the last field of a struct may have a dynamically sized type
   = help: change the field's type to have a statically known size
help: borrowed types always have a statically known size
   |
14 |     next: &NodeHandle<T, H>,
   |           +
help: the `Box` type always has a statically known size and allocates its contents in the heap
   |
14 |     next: Box<NodeHandle<T, H>>,
   |           ++++                +

尝试的修改效果 #

可“解决”错误但破坏功能的修改 #

• 用NonNull<E>替换<E as Pointee>::Metadata：避开元数据推断，但偏离原本设计意图
• 移除TypedHandle中E的?Sized约束：限制了TypedHandle的通用性，不符合设计需求
• 移除next或prev其中一个：破坏双向链表结构，功能完全受损

无法解决问题的修改 #

• 将NodeHandle从类型别名改为元组结构体：编译器错误提示无变化，问题依旧

当前临时方案 #

1. 给Node添加where NodeHandle<T, H>: Sized约束，但该约束需要在所有使用Node的地方重复添加，非常繁琐
2. 复制TypedHandle为SizedHandle并移除E的?Sized约束：虽能解决问题，但代码冗余，不够优雅

疑问解答 #

1. 这是编译器的已知限制吗？

是的，这属于Rust编译器处理递归类型关联类型推断时的已知局限。当递归类型（如Node<T,H>）嵌套依赖包含关联类型（<E as Pointee>::Metadata）的结构体时，编译器无法正确推断关联类型的具体类型，陷入推断循环。这类问题属于类型系统在递归场景下的边界情况，在Rust官方Issue追踪系统中已有相关记录。

2. 是否有更优的解决方法？

推荐两种更优雅的方案：

方案一：显式指定元数据类型

由于Node<T,H>本身是大小固定的类型（Sized），其作为Pointee的元数据类型为()。可以在NodeHandle的类型别名中直接指定元数据类型，跳过编译器推断：

#![feature(ptr_metadata)]

use core::ptr::Pointee;

struct TypedHandle<E: ?Sized, H, M = <E as Pointee>::Metadata> {
    handle: H,
    metadata: M,
}

// 显式指定元数据为()，因为Node<T,H>是Sized类型
type NodeHandle<T, H> = TypedHandle<Node<T, H>, H, ()>;

struct Node<T, H> {
    element: T,
    next: NodeHandle<T, H>,
    prev: NodeHandle<T, H>,
}

通过给TypedHandle添加默认类型参数M，并在NodeHandle中显式绑定M=()，既解决了推断问题，又保留了TypedHandle对动态大小类型的支持。

方案二：给Node添加自类型约束

利用where Self: Sized约束明确告知编译器Node<T,H>是大小固定的类型，帮助完成元数据推断：

#![feature(ptr_metadata)]

use core::ptr::Pointee;

struct TypedHandle<E: ?Sized, H> {
    handle: H,
    metadata: <E as Pointee>::Metadata,
}

type NodeHandle<T, H> = TypedHandle<Node<T, H>, H>;

struct Node<T, H>
where
    Self: Sized,
{
    element: T,
    next: NodeHandle<T, H>,
    prev: NodeHandle<T, H>,
}

该约束仅需在Node定义中添加一次，无需在其他地方重复书写，既解决了推断问题，又保持了代码简洁性和TypedHandle的通用性。

内容的提问来源于stack exchange，提问作者Matthieu M.