मैं इस लंबर-संदर्भ ('और' ') को लंबोदर में क्यों नहीं पकड़ सकता?

Question 1

मैं thisएक लंबोदर को पकड़ने (वस्तु गुणों को संशोधित करने) का सही तरीका समझता हूं :

auto f = [this] () { /* ... */ };

लेकिन मैं निम्नलिखित विशिष्टताओं के रूप में उत्सुक हूं जो मैंने देखा है:

class C {
    public:
        void foo() {
            // auto f = [] () { // this not captured
            auto f = [&] () { // why does this work?
            // auto f = [&this] () { // Expected ',' before 'this'
            // auto f = [this] () { // works as expected
                x = 5;
            };
            f();
        }

    private:
        int x;
};

जिस विषमता से मैं भ्रमित हूँ (और उत्तर देना चाहूँगा) इसीलिए निम्न कार्य करती है:

auto f = [&] () { /* ... */ }; // capture everything by reference

और मैं thisसंदर्भ द्वारा स्पष्ट रूप से कब्जा क्यों नहीं कर सकता :

auto f = [&this] () { /* ... */ }; // a compiler error as seen above.

Question 2

कारण [&this]काम नहीं करता है क्योंकि यह एक वाक्यविन्यास त्रुटि है। प्रत्येक अल्पविराम-अलग पैरामीटर lambda-introducerएक है capture:

capture:
    identifier
    & identifier
    this

आप देख सकते हैं कि &thisवाक्य-रचना की अनुमति नहीं है। इसका कारण यह नहीं है कि आप thisसंदर्भ द्वारा कब्जा कभी नहीं करना चाहेंगे , क्योंकि यह एक छोटा कॉन्स्टेंट पॉइंटर है। आप केवल कभी इसे मूल्य से पारित करना चाहेंगे - तो भाषा सिर्फ thisसंदर्भ द्वारा कैप्चरिंग का समर्थन नहीं करती है ।

thisस्पष्ट रूप से पकड़ने के लिए आप के [this]रूप में उपयोग कर सकते हैं lambda-introducer।

पहला जो captureहो सकता capture-defaultहै:

capture-default:
    &
    =

इसका मतलब है कि मैं जो भी उपयोग करता हूं, उसे संदर्भ ( &) या मूल्य के आधार पर =क्रमशः कैप्चर करता हूं - हालाँकि इसका उपचार thisविशेष है - दोनों ही मामलों में इसे पहले दिए गए कारणों के लिए मूल्य द्वारा कैप्चर किया जाता है (यहां तक कि डिफ़ॉल्ट कैप्चर के साथ &, जिसका आमतौर पर मतलब है संदर्भ द्वारा कब्जा)।

5.1.2.7/8:

नाम देखने (3.4) के प्रयोजनों के लिए, this(9.3.2) के प्रकार और मूल्य का निर्धारण और आईडी-अभिव्यक्तियों को गैर-स्थैतिक वर्ग के सदस्यों का उपयोग करके कक्षा सदस्य अभिगम अभिव्यक्तियों (*this)(9.3.1), यौगिक-कथन [ लैम्ब्डा] को लैम्ब्डा-एक्सप्रेशन के संदर्भ में माना जाता है।

तो लैम्ब्डा कार्य करता है जैसे कि यह सदस्य नामों का उपयोग करते समय संलग्न सदस्य फ़ंक्शन का हिस्सा है (जैसे आपके उदाहरण में नाम का उपयोग x), इसलिए यह thisसदस्य फ़ंक्शन की तरह ही "निहित उपयोग" उत्पन्न करेगा ।

यदि एक लैम्ब्डा-कैप्चर में एक कैप्चर-डिफॉल्ट शामिल है &, जो लैम्ब्डा-कैप्चर में पहचानकर्ताओं द्वारा पहले नहीं किया जाएगा &। यदि एक लैम्ब्डा-कैप्चर में एक कैप्चर-डिफॉल्ट शामिल है =, जो लैम्ब्डा-कैप्चर में नहीं होता है thisऔर इसमें मौजूद प्रत्येक पहचानकर्ता द्वारा पूर्ववर्ती होगा &। एक पहचानकर्ता या thisलंबोदर-कैप्चर में एक से अधिक बार दिखाई नहीं देगा।

तो अगर आप उपयोग कर सकते हैं [this], [&], [=]या [&,this]एक के रूप में lambda-introducerकब्जा करने के लिए thisमूल्य द्वारा सूचक।

हालाँकि [&this]और [=, this]बीमार हैं। अंतिम मामले में, जीसीसी त्रुटियों के बजाय इसके लिए चेतावनी देता [=,this]है explicit by-copy capture of ‘this’ redundant with by-copy capture default।

Question 3

क्योंकि &thisकैप्चर सूची में मानक नहीं है :

N4713 8.4.5.2 कैप्चर:

lambda-capture:
    capture-default
    capture-list
    capture-default, capture-list

capture-default:
    &
    =
capture-list:
    capture...opt
    capture-list, capture...opt
capture:
    simple-capture
    init-capture
simple-capture:
    identifier
    &identifier
    this
    * this
init-capture:
    identifier initializer
    &identifier initializer

लैम्ब्डा कैप्चर के प्रयोजनों के लिए, एक अभिव्यक्ति संभावित रूप से स्थानीय संस्थाओं का संदर्भ देती है:

7.3.३ यह अभिव्यक्ति संभावित रूप से संदर्भ देती है * यह।

इसलिए, मानक गारंटी देता है thisऔर *thisमान्य है, और &thisअमान्य है। इसके अलावा, कैप्चरिंग का thisमतलब है कैप्चरिंग *this(जो कि एक लवल्यू है, ऑब्जेक्ट ही) संदर्भ द्वारा , मान द्वारा सूचक को कैप्चर करने के बजाय !this