खाका समारोह प्रकार कटौती और ऑपरेटर << C++

Question

जब मैं MSVC++ साथ निम्नलिखित कोड संकलन, मैं कोई त्रुटि मिलती है:

struct A 
{ 
    template<typename T> 
    void operator<<(T&& x) 
    { 
    } 

}; 
void f() 
{ 
} 
int main() 
{ 
    A().operator<<(f); // ok 
    A() << f;    // error 

    return 0; 
} 

जी ++ और बजना दोनों इस कोड को ठीक संकलन। AFAIK, 'ठीक' और 'त्रुटि' लाइनों बिल्कुल वही बात करते हैं, और टी टाइप शून्य (&)() को निष्कर्ष निकाला है। या यह शून्य() और फ़ंक्शन के रावल संदर्भों की अनुमति है? यदि हां, तो उनका क्या अर्थ है? क्या इस तरह के संदर्भ से कार्यों को पार करना ठीक है? क्या यह एमएसवीसी ++ बग है कि यह 'त्रुटि' संकलन को संकलित करने में विफल रहता है? बीटीडब्ल्यू, त्रुटि आउटपुट:

no operator found which takes a right-hand operand of type 'overloaded-function' (or there is no acceptable conversion) 
could be 'void A::operator <<<void(void)>(T (__cdecl &&))' 
with[ T=void (void) ] 

Answer 1

तो जैसा कि x() अंदर अतिभारित समारोह के साथ कहा जा सकता है अपने ही सवाल का जवाब:

प्रदान की कोड मान्य है और जब तक कार्यों के लिए rvalue संदर्भों की अनुमति दी (वे समान कार्य lvalue संदर्भों के लिए), यहां टेम्पलेट कटौती के दौरान टी शून्य हो जाना चाहिए (&)()।

एमएसवीसी में bug मेरे कोड को संकलित करने से रोकता है।

अद्यतन: बग विजुअल स्टूडियो 2013 संकलक में तय किया गया है

Answer 2

क्यों void operator<<(T&& x)? void operator<<(T& x) उद्देश्य प्रदान करता है।

समारोह, नीचे

struct A 
{ 
    template<typename T> 
    void operator<<(T& x) 
    { 
     x(); 
    } 

}; 
void f() 
{ 
} 

int main() 
{ 
    A().operator<<(f); 
    A() << f;    
    return 0; 
}