Rust: गलत त्रुटि: 'FnMut' क्लोजर में कैप्चर किए गए बाहरी चर से बाहर नहीं जा सकता

को निर्मित 29 जन॰ 2018 · 3टिप्पणियाँ · स्रोत: rust-lang/rust

त्रुटि: एक FnMut क्लोजर में कैप्चर किए गए बाहरी चर से बाहर नहीं जा सकता है

struct Foo {
    a: i32,
    b: i32,
    bar: Bar,
}

struct Bar;

impl Bar {
    fn f<F: FnMut()>(&self, mut f: F) {
        f();
    }
}

fn main() {
    let mut foo = Foo { a: 1, b: 2, bar: Bar };
    let a = &mut foo.a;
    let b = &mut foo.b;
    (|| { // works
        *if true {a} else {b} = 42;
    })();

    let mut foo = Foo { a: 1, b: 2, bar: Bar };
    let a = &mut foo.a;
    let b = &mut foo.b;
    foo.bar.f(|| { // doesn't work
        *if true {a} else {b} = 42;
    });
}

https://play.rust-lang.org/?gist=4ce6948a92c2fcb281b3cade8574691d&version=nightly

लेकिन दूसरा मामला भी काम करना चाहिए!

A-borrow-checker A-diagnostics C-enhancement T-compiler

स्रोत

Boscop

सबसे उपयोगी टिप्पणी

@ बॉस्कोप क्योंकि आप केवल एक बार चीजों को स्थानांतरित कर सकते हैं - एक FnMut बंद को एक से अधिक बार लागू किया जा सकता है।

(बीटीडब्ल्यू, त्रुटि यह कहनी चाहिए कि इसे 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 (मुझे लगता है कि? या यह किसी और था ...) में डाल ट्रैक करने के लिए ट्रैकिंग के कारण है। अभी, वह जाँच चलन में नहीं आ रही है क्योंकि हम तय कर रहे हैं कि बंद होना चाहिए FnMut केवल f के हस्ताक्षर के कारण।

इस कोड में ऐसा होता है:

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

जब हम उस रास्ते से नीचे जाते हैं, तो हम कभी भी इस तरह के "मूल" को संग्रहित नहीं करते हैं। इसके विपरीत, अपवर अनुमान जो अन्यथा किक करता है वह ऐसा करता है:

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(||
   |         ^^^^^^^^^
   |

nikomatsakis 29 जन॰ 2018

👍3

सभी 3 टिप्पणियाँ

यदि आप FnMut को FnOnce में बदलते हैं तो यह काम करता है।

kennytm 29 जन॰ 2018

लेकिन यह FnMut के साथ भी काम क्यों नहीं कर सकता?

(बीटीडब्ल्यू, त्रुटि यह कहनी चाहिए कि इसे FnOnce तब होना चाहिए।)

Boscop 29 जन॰ 2018

(बीटीडब्ल्यू, त्रुटि यह कहनी चाहिए कि इसे FnOnce तब होना चाहिए।)

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;
   |

इस कोड में ऐसा होता है:

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

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

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(||
   |         ^^^^^^^^^
   |

nikomatsakis 29 जन॰ 2018

👍3

क्या यह पृष्ठ उपयोगी था?

0 / 5 - 0 रेटिंग्स

Rust: गलत त्रुटि: 'FnMut' क्लोजर में कैप्चर किए गए बाहरी चर से बाहर नहीं जा सकता

सबसे उपयोगी टिप्पणी

सभी 3 टिप्पणियाँ

संबंधित मुद्दों