는 SFINAE을 악용하기 - 컴파일 오류

Question

다음 코드를

#include <type_traits> 

struct CByteArray {}; 
struct HLVariant { 
    HLVariant() {} 
    HLVariant(const HLVariant&) {} 
    HLVariant(const CByteArray&) {} 

    }; 

template <typename T> 
inline typename std::enable_if<!std::is_pod<T>::value, CByteArray>::type serialize(const T& value) 
{ 
    return serialize(HLVariant(value)); 
} 

template <typename T> 
inline typename std::enable_if<std::is_pod<T>::value, CByteArray>::type serialize(const T& value) 
{ 
    return CByteArray(); 
} 

template <> 
inline CByteArray serialize(const HLVariant& value) 
{ 
    return CByteArray(); 
} 

int main() 
{ 
    serialize(0); 
    serialize(CByteArray()); 
    serialize(HLVariant()); 

    return 0; 
} 

그것은 않습니다, 그러나, ideone에서 작업 MSVC 2013 년 컴파일 오류 C2794: 'type' : is not a member of any direct or indirect base class of 'std::enable_if<false,CByteArray>' 트리거 : enter link description here

무엇을 실수로합니까?

오류는 MSVC 2010, 2012 및 2013

Answer 1

그것은 나에게 좋아 보이는에서 동일하지만, 나는 serialize의 최종 과부하에서 template<>을 제거하여 문제를 해결할 수 있습니다. 정상적인 과부하가 발생했을 때이를 전문화 할 필요가 없습니다!

EDIT : HLVariant과 일치하는 템플릿 전문화를 제공하고 (모호성을 피하기 위해 HLVariant과 더 이상 일치하지 않는 다른 전문화를 추가로 제한하는 작업).

이 그것을 수행해야합니다

http://ideone.com/0UGkcn

#include <type_traits> 
#include <iostream> 

struct CByteArray {}; 
struct NonPod {public: int a; private: int b;}; 
struct HLVariant { 
    HLVariant() {} 
    HLVariant(const HLVariant&) {} 
    HLVariant(const CByteArray&) {} 
    HLVariant(const NonPod&) {} 
}; 

template <typename T> 
inline typename std::enable_if<std::is_same<T, HLVariant>::value && !std::is_pod<T>::value, CByteArray>::type serialize(const T& value) 
{ 
    std::cout << "serialize non-pod variant\n"; 
    return CByteArray(); 
} 

template <typename T> 
inline typename std::enable_if<!std::is_same<T, HLVariant>::value && !std::is_pod<T>::value, CByteArray>::type serialize(const T& value) 
{ 
    std::cout << "serialize non-pod non-variant\n"; 
    return serialize(HLVariant(value)); 
} 

template <typename T> 
inline typename std::enable_if<std::is_pod<T>::value, CByteArray>::type serialize(const T& value) 
{ 
    std::cout << "serialize pod\n"; 
    return CByteArray(); 
} 

int main() 
{ 
    std::cout << "int:\n"; 
    serialize(0); 
    std::cout << "CByteArray:\n"; 
    serialize(CByteArray()); 
    std::cout << "HLVariant:\n"; 
    serialize(HLVariant()); 
    std::cout << "NonPod:\n"; 
    serialize(NonPod()); 
}