Template loại chức năng trích và operator << C++

Question

Khi tôi biên dịch đoạn mã sau với MSVC++, tôi nhận được một lỗi:

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

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

    return 0; 
} 

g ++ và kêu vang cả biên dịch mã tốt này. AFAIK, 'ok' dòng và 'lỗi' làm chính xác những điều tương tự, và gõ T là suy luận để void (&)(). Hoặc là các tham chiếu void() và rvalue có được cho phép không? Nếu vậy, ý nghĩa của chúng là gì? Có được phép chuyển các hàm theo tham chiếu như vậy không? Có phải lỗi MSVC++ không thể biên dịch 'lỗi'? BTW, đầu ra lỗi:

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

Vì vậy, trả lời câu hỏi của riêng tôi:

Các mã được cung cấp là hợp lệ và trong khi tài liệu tham khảo rvalue chức năng được phép (chúng hoạt động giống hệt nhau để tham khảo lvalue), ở đây trong quá trình khấu trừ mẫu T sẽ bị hủy (&)().

A bug trong MSVC ngăn mã của tôi không được biên dịch.

CẬP NHẬT: Các lỗi đã được cố định trong Visual Studio 2013 biên dịch

Answer 2

Tại sao void operator<<(T&& x)? void operator<<(T& x) phục vụ mục đích.

Chức năng có thể được gọi với x() chức năng bên trong quá tải như sau

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

}; 
void f() 
{ 
} 

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