Şablon fonksiyonu tipi kesinti ve operatör << C++ Ben <strong>MSVC++</strong> ile aşağıdaki kod derleme yaparken

Question

, bir hata alıyorum:

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

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

    return 0; 
} 

gr ++ ve clang bu kod cezası derlemek hem. AFAIK, 'Tamam' ve 'hata' satırları tam olarak aynı şeyi ve boşluğu (&)() için çıkarılır T yazın. Yoksa void() mu ve işlev için rönik referanslara izin verilir mi? Eğer öyleyse, anlamı nedir? İşlevleri bu şekilde referans olarak iletmek tamam mı? MSVC++ hata 'hata hata' derlemek için başarısız? BTW, hata çıktısı:

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

Yani aşağıdaki gibi x() içeride aşırı fonksiyonu ile çağrılabilir:

Sağlanan kod geçerli olup fonksiyonlara rvalue referanslarına izin verilir iken (bunlar aynı hareket referans referansına), burada şablon indirimi sırasında T boşalmalıdır (&)(). MSVC'de bug A bug

GÜNCELLEME: böcek

Answer 2

Neden void operator<<(T&& x)? void operator<<(T& x) amacına hizmet eder.

Fonksiyon kendi soruya cevap,

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

}; 
void f() 
{ 
} 

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