|
|
1
0
虽然你是对的,原则上可以扩展Rust的borrow checker的功能,使其能够进行你所做的分析,但borrow checker目前还不能进行这种推理。
借用检查器可能很挑剔,显然它可以改进,但到目前为止,这是借用检查器的预期行为,解决方案是只将索引操作与推送操作分离,就像最初那样。编译器足够聪明,可以内联操作(在完成所有借用检查之后)。 |