显示标注

和闭包类似，使用生命周期需要泛型。另外这个生命周期的语法也表明了 的生命周期不能超出 'a 的周期。类型的显式标注有 这样的形式，其中 'a 已引入。

在这种情形中， 的生命周期不能超出 'a 或 的周期。

[^1]: 隐式地标注了生命周期，所以情况不同。