如何泛型实现带有生命周期参数、满足指定trait约束的trait

你给出的原始代码存在两个核心语法&语义错误：

1. Rust的Trait实现语法固定为impl<泛型参数> 待实现的Trait for 目标类型，你把Trait和类型的位置写反了，同时直接将泛型参数作为待实现的Trait也是不合法的。
2. 带生命周期参数的TraitBar<'a>不能直接用匿名生命周期'_放在for之后作为实现目标，需要明确生命周期约束。

以下是两种常见需求对应的正确实现：

场景1：所有实现了Foo的类型自动实现任意生命周期的Bar<'a> #

这是最常用的 blanket 实现场景，代码如下：

trait Foo {}
trait Bar<'a> {}

impl<'a, S: Foo> Bar<'a> for S {}

如果Bar<'a>的逻辑需要保证实现类型S的生命周期不短于'a，可以额外加约束：

impl<'a, S: Foo + 'a> Bar<'a> for S {}

场景2：所有实现了Bar的类型自动实现Foo #

如果需求是只要类型实现了任意生命周期的Bar<'a>就自动获得Foo的实现，需要用到高阶生命周期绑定语法：

trait Foo {}
trait Bar<'a> {}

impl<S> Foo for S where S: for<'a> Bar<'a> {}

这里的for<'a>表示S对所有可能的生命周期'a都满足Bar<'a>的实现要求，不会出现生命周期不匹配的问题。

内容的提问来源于stack exchange，提问作者Andrea Nardi