운영자 금지 << 전화

Question

일부 코드가 있습니다.

#include <iostream> 

template<typename T> 
struct Test 
{ 
    Test(bool v):flg(v) { } 
    void func() { } 
    typedef void (Test::*unspecified)(); 
    operator unspecified() const 
    { 
     return flg ? &Test::func : 0; 
    } 
    bool flg; 
}; 

template<typename T> 
std::ostream& operator << (std::ostream&, typename Test<T>::unspecified); 

int main() 
{ 
    Test<int> t(true); 
    std::cout << t << std::endl; 
} 

출력 그것은 잘 작동

1 

입니다,하지만 난 정의되지 않은 참조를 얻을 싶어요. Test이 not template class이면 정의되지 않은 참조가 나타납니다. 그렇다면 컴파일러가 함수 유형으로 operator <<을 사용하지 않고 pointer to class-member에서으로 표준 변환을 수행하는 이유는 무엇입니까? 그것은 ::의 왼쪽에 표시 이후

Answer 1

는 typename Test<T>::unspecified에서 T은 비 추론 될 문맥이다. 따라서 함수 템플릿은 결코 고려되지 않으며 unspecified으로의 변환이 유일하게 실행 가능한 오버로드로 사용됩니다.

간단히 대답하면 간단하게 "템플릿이 그렇게 작동하지 않습니다"입니다. 더 이상 대답을 원하면 알려주세요.