हम दोनों तरीकों को 'getAB() &&` और `getAB()` क्यों लागू नहीं कर सकते?

Question

हम दोनों विधियों को getAB() && और getAB() क्यों लागू नहीं कर सकते हैं, लेकिन इनमें से किसी एक को कार्यान्वित कर सकते हैं?

1. काम करता है: http://ideone.com/4EgObJ

कोड:

struct Beta { 
    Beta_ab ab; 
    Beta_ab && getAB() && { cout << "1"; return move(ab); } 
}; 

int main() {  
    Beta_ab ab = Beta().getAB(); 

    return 0; 
} 

---

1. काम करता है: http://ideone.com/m9d0Tz

कोड:

struct Beta { 
    Beta_ab ab; 
    Beta_ab && getAB() { cout << "2"; return move(ab); } 
}; 

int main() { 
    Beta b; 
    Beta_ab ab = b.getAB(); 

    return 0; 
} 

---

1. doen't काम करता है: http://ideone.com/QIQtZ5

कोड:

struct Beta { 
    Beta_ab ab; 
    Beta_ab && getAB() && { cout << "1"; return move(ab); } 
    Beta_ab && getAB() { cout << "2"; return move(ab); } 
}; 

int main() { 
    Beta b; 
    Beta_ab ab1 = b.getAB(); 

    Beta_ab ab2 = Beta().getAB(); 

    return 0; 
} 

क्यों कोड के पहले दो उदाहरण हैं काम करता है, लेकिन आखिरी उदाहरण काम नहीं करता है?

Answer 1

स्टैंडर्ड अनुभाग [over.load] /2.3:

एक ही नाम और एक ही पैरामीटर प्रकार सूची के साथ-साथ एक ही नाम के साथ सदस्य समारोह टेम्पलेट घोषणाओं के साथ

सदस्य समारोह घोषणाओं, वही पैरामीटर-प्रकार-सूची, और उनमें से कोई भी टेम्पलेट पैरामीटर सूचियों को अधिभारित नहीं किया जा सकता है, लेकिन सभी के पास, रेफ-क्वालीफायर है।

[उदाहरण:

class Y { 
    void h() &; 
    void h() const &; // OK 
    void h() &&;   // OK, all declarations have a ref-qualifier 
    void i() &; 
    void i() const;  // ill-formed, prior declaration of i 
         // has a ref-qualifier 
}; 

- अंत उदाहरण]

यह पूरी तरह से मेरे लिए स्पष्ट वास्तव में क्यों हम इस नियम की जरूरत नहीं है, लेकिन यह है कि यह क्या है। (। हालांकि मैं अधिभार संकल्प नियमों में कुछ काम करने के लिए कुछ काम ले जाएगा, कम से कम कोशिश कर के विकल्प लगता है)

समाधान स्पष्ट है: अपने "2" अधिभार के लिए एक lvalue (&) रेफरी-क्वालीफायर जोड़ सकते हैं ताकि एक केवल रावल लेता है और केवल एक ही लेवल लेता है।