如何对包含不同类型的链表进行静态调度，所有类型都实现了一个特征？

Question

我有这个工作代码：

struct Layer<'a> {
    parent: Option<Box<Layer<'a>>>,
    value: Box<dyn Renderable + 'a>,
}

我想要一个使用静态调度的版本：

struct Layer<'a, R: Renderable> {
    parent: Option<&'a Layer<'a, /* ? */>>,
    value: R,
}

替换问号的类型实现了Renderable ，但它不一定是R ，它可能是T: Renderable例如。 我想避免使用dyn Renderable任何解决方案，以保持静态调度。

类型T: Renderable在Layer实例化时已知并且不会改变。

Answer 1

TL;DR ：这是不可能的（至少没有可变泛型*）

• 现在Layer结构需要2通用参数： R和'a 。

• 假设我们找到了/* ? */的正确类型/* ? */ /* ? */ 。 我们将其命名为T0 。

• 然后Layer结构将需要3通用参数： T0 、 R和'a 。

• 然后你必须parent字段提供一个更多的通用参数。 我们将其命名为T1 。

• 然后Layer结构将需要4通用参数： T1 、 T0 、 R和'a 。

• 然后你必须parent字段提供一个更多的通用参数。 我们将其命名为T2 。

• <...>

• 然后Layer结构将需要i+2通用参数： Ti 、 Ti-1 、... T1 、 T0 、 R和'a 。
• 然后你必须parent字段提供一个更多的通用参数。 我们将其命名为Ti+1 。
• 然后Layer结构将需要i+1+2通用参数： Ti+1 、 Ti 、 Ti-1 、... T1 、 T0 、 R和'a 。
• <...>

最后，你有无限递归。 必须将parent字段的附加通用参数定义为Layer结构的一部分。 这会为Layer引入一个新的通用参数。 这会parent字段引入额外的通用参数。

为了分解递归， parent附加泛型参数不应成为Layer定义的一部分。 如果参数不是Layer定义的一部分，那么我们无法在编译时计算Layer大小。 解决它的方法是&dyn或Box 。

*另一种可能的解决方案是可变泛型，但看起来我们至少在接下来的几个月甚至几年内都不会拥有它。