std :: vector 용 템플릿 반복자

Question

바이트 배열을 템플릿 유형에 따라 값으로 결합하는 유틸리티 함수를 만듭니다.

현재 크고 작은 엔디안을 처리하기 위해 한 쌍의 순방향 반복기와 한 쌍의 역 반복기를 사용할 수있는 두 가지 오버로드 된 함수가 있습니다.

템플릿 기반 벡터 반복기를 사용하고 두 함수를 하나로 줄일 수 있습니까?

Failed to specialize function template 'T Utils::combine_bytes(const Iter &, const Iter &)' 

Answer 1

당신은 당신의 반복자에 의해 참조 유형이 unsigned char입니다 보장하기 위해 static_assert를 사용할 수 있습니다. 그런 다음에 걸쳐 반복되는 컨테이너의 종류에 대해 걱정할 필요가 없습니다 :

template <typename T, typename Iter> 
inline T combine_bytes(Iter start, Iter end) 
{ 
    static_assert(std::is_same<std::decay_t<decltype(*start)>, unsigned char>::value, 
        "Must use unsigned char"); 
    T ret; 
    std::copy(start, end, reinterpret_cast<unsigned char *>(&ret)); 

    return ret; 
} 

당신이 그것에 인 동안, 당신은 당신이 방금하지 않은 경우 일부 런타임이 있는지 std::distance(begin, end) == sizeof(T)를 만들기 위해 검사를 추가 할 수 있습니다 예제를 짧게 지키려면 그만 두십시오.

Answer 2

내가

을 다음과 같이 SFINAE를 사용하여, 당신이 뭔가를 쓸 수 있다고 가정 :

이

template <typename T, typename Iter> 
inline T combine_bytes(std::vector<unsigned char>::Iter const &start, 
         std::vector<unsigned char>::Iter const &end, 
         bool bigendian) 
{ 
    T ret; 
    std::copy(start, end, reinterpret_cast<unsigned char *>(&ret)); 

    return ret; 
} 

내가 얻는 컴파일 오류는 다음과 같습니다

예를 들어

, 이것은 내가하고 싶은 것입니다

template <typename T, typename Iter> 
inline typename std::enable_if< 
     std::is_same<Iter, std::vector<unsigned char>::iterator>{} 
    || std::is_same<Iter, std::vector<unsigned char>::reverse_iterator>{}, 
    T >::type combine_bytes (Iter const & start, 
          Iter const & end, 
          bool bigendian) 
{ 
    T ret; 
    std::copy(start, end, reinterpret_cast<unsigned char *>(&ret)); 

    return ret; 
} 

다음과 같습니다. 일반 템플릿 유형 Iter에 대한 함수를 정의하고 Iter는 std::vector<unsigned char>::iterator 또는 std::vector<unsigned char>::reverse_iterator