템플릿 기능 유형 공제 및 연산자 << C++ 내가 <strong>MSVC++</strong> 다음과 같은 코드를 컴파일 할 때

Question

가

, 나는 오류가 발생 :

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

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

    return 0; 
} 

g ++ 및 그 소리이 코드의 벌금을 컴파일 모두. AFAIK, '확인'와 '오류'라인은 정확히 같은 일을하고 무효 (&)()로 추론된다 T을 입력합니다. 아니면 void() 및 함수에 대한 rvalue 참조가 허용됩니까? 그렇다면 그 의미는 무엇입니까? 함수를 참조로 전달하는 것이 좋습니까? 그것입니까 MSVC++ 버그 '오류'줄을 컴파일하지 못했습니다? 오류 출력 :

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 참조가 허용되는 동안 (그들은 동일한 행동 여기에 템플릿 공제 중 T가 무효화되어야합니다 (&)().

MSVC의 bug은 내 코드가 컴파일되지 않도록합니다.

UPDATE는 : 버그

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; 
}