rust - 如何在不看代码的情况下读取生命周期错误？

Question

我收到以下生命周期错误:

error[E0495]: cannot infer an appropriate lifetime for autoref due to conflicting requirements
  --> prusti-viper/src/procedures_table.rs:42:40
   |
42 |         let mut cfg = self.cfg_factory.new_cfg_method(
   |                                        ^^^^^^^^^^^^^^
   |
note: first, the lifetime cannot outlive the anonymous lifetime #1 defined on the method body at 40:5...
  --> prusti-viper/src/procedures_table.rs:40:5
   |
40 | /     pub fn set_used(&mut self, proc_def_id: ProcedureDefId) {
41 | |         let procedure = self.env.get_procedure(proc_def_id);
42 | |         let mut cfg = self.cfg_factory.new_cfg_method(
43 | |             // method name
...  |
135| |         self.procedures.insert(proc_def_id, method);
136| |     }
   | |_____^
note: ...so that reference does not outlive borrowed content
  --> prusti-viper/src/procedures_table.rs:42:23
   |
42 |         let mut cfg = self.cfg_factory.new_cfg_method(
   |                       ^^^^^^^^^^^^^^^^
note: but, the lifetime must be valid for the lifetime 'v as defined on the impl at 22:1...
  --> prusti-viper/src/procedures_table.rs:22:1
   |
22 | impl<'v, P: Procedure> ProceduresTable<'v, P> {
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
   = note: ...so that the expression is assignable:
           expected viper::Method<'v>
              found viper::Method<'_>

error: aborting due to previous error

在不看代码的情况下，仅通过阅读错误消息，是否可以理解错误消息指的是哪些生命周期/引用/借用？这是用我的问题注释的消息:

error[E0495]: cannot infer an appropriate lifetime for autoref (what is autoref?) due to conflicting requirements

note: first, the lifetime (which lifetime?) cannot outlive the anonymous lifetime #1 (the one of &mut self, ok) defined on the method body at 40:5...

...so that reference (which reference?) does not outlive borrowed content (which borrowed content?)

but, the lifetime must be valid for the lifetime 'v as defined on the impl at 22:1... (why these constraints?)

例如，我正在寻找这样的解释:“在错误消息 E0495 中，无法超过匿名生命周期 #1 的生命周期始终是 self 的生命周期，换句话说，又是 #1” .

通过查看类似问题(https://stackoverflow.com/a/35519236/2491528、https://stackoverflow.com/a/30869059/2491528、https://stackoverflow.com/a/41271422/2491528)的现有答案，我找不到对错误消息所指内容的解释。有时答案只是写“在这种情况下，生命周期是 'a”，但我想知道如何理解它是 'a 而不是其他一些 ' b。其他时候答案涉及对源代码的推理，但这对我来说是以下步骤之一:首先阅读消息并理解它所指的内容，然后理解错误(在这种情况下，可能与生命周期要求相冲突) ，然后查看代码并尝试修复错误。

Answer 1

cannot infer an appropriate lifetime for autoref due to conflicting requirements

这是错误的关键部分。一生有两个(或更多)要求，而且它们相互冲突。 “autoref”表示通过调用采用 &self 的方法所采用的引用.引用的代码行表明哪个方法调用是错误的。

note: first, the lifetime cannot outlive the anonymous lifetime #1 defined on the method body at 40:5

这是第一个相互冲突的要求。 “生命周期”是指第一条消息中提到的那个:它试图推断的那个，对于这个 autoref。它不能比您调用该方法的对象长寿。引用的代码表示该对象的生命周期。在这种情况下，生命周期是错误行所在的整个方法，因为您借用的对象是该方法的 &mut self 的成员。 .

note: ...so that reference does not outlive borrowed content

这只是进一步解释了这一点。 “那个引用”——你试图获取的 autoref——不能比 &mut self 的对象长寿指的是。

note: but, the lifetime must be valid for the lifetime 'v as defined on the impl at 22:1...

这里的“但是”引入了第二个要求，与第一个要求有冲突。

你问“为什么有这些约束？”，编译器立即解释:

note: ...so that the expression is assignable:
expected viper::Method<'v>
found viper::Method<'_>

有问题的作业是错误行中的作业。您正在分配 new_cfg_method 的结果至 cfg . “预期”是作业的左侧，cfg , 必须是 viper::Method<'v> 类型. “找到”是右侧，方法调用的结果，类型为 viper::Method<'_> . '_表示编译器试图推断的生命周期。也就是说，这是您随后使用 cfg 的方式这意味着它必须具有生命周期 'v .原因取决于错误消息中未引用的代码。

要解决此问题，您需要执行以下操作之一:

1. 删除第一个要求。更改 new_cfg_method因此其结果的生命周期与您调用它的对象的生命周期无关:可能通过删除它包含的一些引用。
2. 删除第二个要求。更改使用 cfg 的代码所以它不需要有生命周期 'v .同样，这可以通过删除 viper::Method 中的一些引用来实现。 .

如果你做不到，你可能需要引入Cell或其他动态而不是静态管理生命周期的东西。