Rust: 잘못된 오류: 'FnMut' 클로저에서 캡처된 외부 변수 밖으로 이동할 수 없습니다.

FnMut을 FnOnce로 변경하면 작동합니다.

하지만 FnMut에서도 작동하지 않는 이유는 무엇입니까?

(Btw, 오류는 FnOnce여야 한다고 말해야 합니다.)

@Boscop 은 한 번만 이동할 수 있기 때문에 FnMut 클로저는 두 번 이상 호출될 수 있습니다.

(Btw, 오류는 FnOnce여야 한다고 말해야 합니다.)

전적으로 동의하지는 않지만 동의 하지도 f 의 서명은 이를 허용하지 않습니다(두 번 이상 호출할 수 있는 클로저가 필요하기 때문에). 서명에 오류가 있거나( FnOnce 허용하도록 일반화되어야 함) 클로저가 잘못되었을 수 있습니다(하지 말아야 할 일을 하려고 함). 최소한 우리는 진단에서 이 '긴장'을 잘 포착하지 못하고 있습니다.

흥미롭게도 클로저가 f 대한 인수로 직접 제공되지 않으면 약간 더 나은 오류가 발생합니다 .

error[E0525]: expected a closure that implements the `FnMut` trait, but this closure only implements `FnOnce`
  --> src/main.rs:19:19
   |
19 |       let closure = || { // doesn't work
   |  ___________________^
20 | |         *if true {a} else {b} = 42;
21 | |     };
   | |_____^
22 |       foo.bar.f(closure);
   |               - the requirement to implement `FnMut` derives from here
   |
note: closure is `FnOnce` because it moves the variable `a` out of its environment
  --> src/main.rs:20:19
   |
20 |         *if true {a} else {b} = 42;
   |                

이것은 @estebank (내 생각에? 아니면 다른 사람 이유 를 추적하기 위해 넣은 추적 때문입니다. 현재 f 의 서명 때문에 클로저가 FnMut 여야 한다고 결정했기 때문에 해당 검사가 작동하지 않습니다.

이 코드에서 발생합니다.

https://github.com/rust-lang/rust/blob/70f7d5842f29d4900f24420b030f144d21f3c5fc/src/librustc_typeck/check/closure.rs#L151 -L155

우리가 그 길을 갈 때 우리는 그 종류의 "원점"을 저장하지 않습니다. 대조적으로, 그렇지 않으면 시작될 upvar 추론은 다음을 수행합니다.

https://github.com/rust-lang/rust/blob/70f7d5842f29d4900f24420b030f144d21f3c5fc/src/librustc_typeck/check/upvar.rs#L182 -L188

따라서 closure_kind_origins_mut 에 어떤 종류의 정보를 저장한 다음 차입 수표를 개선해야 합니다. 그러면 다음과 같은 오류가 발생할 수 있습니다.

error[E0507]: cannot move out of captured outer variable in an `FnMut` closure
  --> src/main.rs:20:19
   |
17 |     let a = &mut foo.a;
   |         - captured outer variable
...
20 |         *if true {a} else {b} = 42;
   |                   ^ cannot move out of captured outer variable in an `FnMut` closure
note: closure is `FnMut` because of the requirements of `f()`
  --> src/main.rs:19:19
   |
19 |         foo.bar.f(||
   |         ^^^^^^^^^
   |