함수 템플릿 오버로드 해결

Question

정의 된 방식으로 유형 펀칭을 처리하는 템플릿 함수를 작성하려고 했으므로이 두 함수를 생각해 냈습니다. 첫 번째는 객체를 가져 와서 다른 객체로 전달합니다. 두 유형 모두 POD 및 동일한 크기를 보장합니다. 두 번째는 단순히 포인터를 가져오고 (void *처럼) 포인터가 POD 유형인지 확인합니다. 문제는 비 const 포인터를 전달하면 첫 번째 함수가 대신 사용된다는 것입니다. 이것을 처리하는 가장 좋은 방법은 무엇입니까?

template <class TO, class FROM> 
FORCE_INLINE TO punning_cast(const FROM &input) 
{ 
    static_assert(std::is_pod<TO>::value, "TO must be POD"); 
    static_assert(std::is_pod<FROM>::value, "FROM must be POD"); 
    static_assert(sizeof(TO) == sizeof(FROM), "TO and FROM must be the same size"); 

    TO out; 
    std::memcpy(&out, &input, sizeof(TO)); 
    return out; 
} 

template <class TO, class FROM> 
FORCE_INLINE TO punning_cast(const FROM *input) 
{ 
    static_assert(std::is_pod<TO>::value, "TO must be POD"); 
    static_assert(std::is_pod<FROM>::value, "FROM must be POD"); 

    TO out; 
    std::memcpy(&out, input, sizeof(TO)); 
    return out; 
} 

Answer 1

기능 템플릿 mix weirdly with overloading.

가능한 용액 (아닌 고유)은 (따라서 제

#include <type_traits> 

template <class TO, class FROM> 
FORCE_INLINE typename enable_if<!is_pointer<FROM>::value, TO>::type 
    punning_cast(const FROM &input) { ... } 

template <class TO, class FROM> 
FORCE_INLINE typename enable_if<is_pointer<FROM>::value, TO>::type 
    punning_cast(const FROM input) { ... } 

dissambiguation을 달성하는, 예를 들면 포인터 타입 초와 바이스 마찬가지 enalbing 각 기능의 선언 enable_if를 사용하는 것 참조와 포인터 사이에 있음)은 this one

Answer 2

면책 조항 : C++ 11 이상에서는 Nikos Athanasiou's answer을 사용하는 것이 좋습니다. is_pointer

template <class TO, class FROM> 
struct punning_cast_impl 
{ 
    static FORCE_INLINE TO cast(const FROM &input) 
    { 
     static_assert(std::is_pod<TO>::value, "TO must be POD"); 
     static_assert(std::is_pod<FROM>::value, "FROM must be POD"); 
     static_assert(sizeof(TO) == sizeof(FROM), "TO and FROM must be the same size"); 

     TO out; 
     std::memcpy(&out, &input, sizeof(TO)); 
     return out; 
    } 
}; 

template <class TO, class FROM> 
struct punning_cast_impl<TO, FROM*> 
{ 
    static FORCE_INLINE TO cast(const FROM *input) 
    { 
     static_assert(std::is_pod<TO>::value, "TO must be POD"); 
     static_assert(std::is_pod<FROM>::value, "FROM must be POD"); 

     TO out; 
     std::memcpy(&out, input, sizeof(TO)); 
     return out; 
    } 
}; 

template<class TO, class FROM> 
TO FORCE_INLINE punning_cast(const FROM& input) 
{ 
    return punning_cast_impl<TO, FROM>::cast(input); 
} 

int main() 
{ 
    double d1 = 50.0; 
    int64_t i1 = punning_cast<int64_t>(d1); // calls version #1 

    double d2 = 100.0; 
    int64_t i2 = punning_cast<int64_t>(&d2); // calls version #2 
}