Question

我试图在特质上进行可链接的转换，而且我遇到了一些问题。

我有一堆形式的转换函数：

fn transform<T: MyTrait>(in: T) -> impl MyTrait

我想要一个允许我做

的函数chain

let mut val: Box<MyTrait> = ...;
val = chain(val, transform1);
val = chain(val, transform2);
...

我写过这个函数

fn chain<T, U, F>(val: Box<T>, f: F) -> Box<MyTrait>
  where T: MyTrait,
        U: MyTrait,
        F: FnOnce(T) -> U {
  Box::new(f(*val))
}

但是当我编译时，借用检查器告诉我类型参数U的寿命不够长。我很确定我的特质界限是我想要的，而且我已经尝试过使用终身指示器的各种事情，所以我被卡住了：（

P.S。：是否可以在chain上使MyTrait函数通用？我不认为这是可能的，但我们永远不会知道......

修改：

我已经在他的回答中添加了@ chris-emerson提出的解决方案，正如我在其评论中所说，我发现了另一个似乎无法解决的问题。

Here是代码的要点，不要弄乱这篇文章。

简而言之，问题是：链函数需要取消引用Box<T>对象并将T传递给转换函数，因此T必须为Sized。但是这个函数的重点是允许使用任意（并且在编译时未知）MyTrait实现。例如：

let mut val: Box<MyTrait> = ...;
//here we can know the type inside the Box
if ... {
  val = chain(val, transform);
}
//but here we don't know anymore
//(its either the original type,
//or the type returned by transform)

因此，除非转换函数可以采用＆amp; T或＆amp; mut T（因为我需要消耗输入以产生输出），否则此设计无法工作。

Answer 1

完整的编译器消息是：

error[E0310]: the parameter type `U` may not live long enough
--> <anon>:7:3
  |
7 |   Box::new(f(*val))
  |   ^^^^^^^^^^^^^^^^^
  |
  = help: consider adding an explicit lifetime bound `U: 'static`...
  note:...so that the type `U` will meet its required lifetime bounds
--> <anon>:7:3
  |
7 |   Box::new(f(*val))
  |   ^^^^^^^^^^^^^^^^^

error: aborting due to previous error

编译器说它需要U生存'static生命周期;这真正意味着它内部的任何引用都必须在该生命周期内有效，因为Box可以永久存在（就编译器在这里所知）。

因此修复很简单：将'static添加到U的范围内：

fn chain<T, U, F>(val: Box<T>, f: F) -> Box<MyTrait>
  where T: MyTrait,
        U: MyTrait + 'static,
        F: FnOnce(T) -> U,
{
    Box::new(f(*val))
}

添加额外的绑定U: 'static也是等效的。

链接特征上的函数

1 个答案: