Rust技术疑问:catched函数的'a生命周期来源于何处?
问题解答
你的catched函数是一个泛型生命周期函数,它的'a是一个可以被调用上下文实例化的参数,而非固定绑定某个具体的生命周期。
具体到你的代码场景:
- 当你把
catched传给err_catcher时,err_catcher的泛型生命周期'a会对catched的'a进行约束——此时catched的'a会被实例化为err_catcher所需要的那个生命周期。 - 看
err_catcher的实现,它只是多次调用catched但没有保存或使用返回的CatchedResult里的引用,所以Rust会推断这个'a可以是任意满足调用需求的生命周期:- 如果
catched返回的是静态字符串(比如Success("ok")),那'a会被推断为'static; - 如果
catched返回的是某个局部变量的引用,那'a就是该局部变量的生命周期,但必须保证这个变量在err_catcher执行期间始终有效。
- 如果
简单来说,catched的'a不是凭空产生的,而是由调用它的上下文(这里就是err_catcher的生命周期参数)决定的,Rust会根据实际返回的引用的来源自动推断出合适的生命周期实例。
内容的提问来源于stack exchange,提问作者matej.tydli
相关产品推荐
相关产品推荐

