SFINAE 오버로드 연산자 << 존재하는 경우 'print'메서드를 호출합니다.

Question

SFINAE를 이해하려고 노력하고 있는데 그 중 어떤 클래스에 대해서도 'print'메서드를 호출하는 간단한 오버로드 된 연산자 < <을 작성하려고했습니다. 방법. 나는 질문 Is it possible to write a template to check for a function's existence?에 대한 답변을 통해 읽기 및 쓰기 시도 :

template<class T, class = decltype(void(std::declval<T>().print), std::true_type{})> 
inline std::ostream &operator<<(std::ostream &out, const T &obj) { 
    obj.print(out); return out; } 

및

template<class T, class = decltype(void(std::declval<T>().print(std::declval<std::ostream &>())), std::true_type{})> 
inline std::ostream &operator<<(std::ostream &out, const T &obj) { 
    obj.print(out); return out; } 

을하지만 이것은 단순히 작동하지 않습니다 - 컴파일러는 모든 유형의 템플릿을 인스턴스화 아무런 문제가 없을 것 같다 따라서 문자열 리터럴과 같은 것을 인쇄하려고 할 때 '모호한 오버로드'오류가 발생합니다 ...

Answer 1

"함수가 있습니다"라는 표현이 잘못되었습니다. 이 시도 : 당신은이 대안을 고려해 볼 수 있습니다

template <typename T, 
      typename = decltype(
       void(std::declval<T>().print(std::declval<std::ostream&>())), 
        std::true_type{})> // ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 
std::ostream & operator<<(std::ostream & out, const T & obj) 
{ 
    obj.print(out); 
    return out; 
} 

:

template <typename T> 
auto operator<<(std::ostream & out, const T & obj) 
    -> decltype(obj.print(out), (void)0, out) 
{ 
    obj.print(out); 
    return out; 
} 

Answer 2

나는 당신이 의미하는 두 번째 유형 매개 변수

class = decltype(void(std::declval<T>().print), std::true_type{}) 

을 의미 한 것을 이해하지 않습니다. 이게 뭐야?

다음과 같이하면 효과가 있다고 생각합니다.

#include <iostream> 
#include <type_traits> 

template<typename T, 
     typename = decltype(std::declval<const T>().print(std::cout))> 
std::ostream& 
operator<<(std::ostream& out, const T& obj) 
{ 
    obj.print(out); 
    return out; 
} 

struct A 
{ 
    void 
    print(std::ostream& out) const 
    { 
    out << "A"; 
    } 
}; 

int 
main() 
{ 
    A a {}; 
    std::cout << "And the winner is: " << a << std::endl; 
} 

그것은 것이다 And the winner is: A 정확하게 출력하지만 간과 한 어떤 코너의 경우 아마이 있습니다.

같은 함수가 선언되면

decltype(std::declval<const T>().print(std::cout)) 

가 print(std::ostream&) const 멤버 함수의 리턴 형으로 계산하는 표현식과 달리 입력 오류.