반복자가 연속 메모리 영역을 형성하는지 여부를 확인하는 방법은 무엇입니까?

Question

나는 현재 배열이나 원시 데이터의 벡터를 (_readStream이 std::ifstream입니다) 읽을 수있는 다음과 같은 기능을 가지고 :

template<typename IteratorType> 
inline bool MyClass::readRawData(
    const IteratorType& first, 
    const IteratorType& last, 
    typename std::iterator_traits<IteratorType>::iterator_category* = nullptr 
    ) 
{ 
    _readStream.read(reinterpret_cast<char*>(&*first), (last-first)*sizeof(*first)); 
    return _readStream.good(); 
} 

첫 번째 질문 :이 기능을 사용하면 괜찮을 것입니까?

우리는 직접 메모리 블록을 읽었으므로 first에서 last까지의 메모리 블록이 메모리에서 인접 해있는 경우에만 작동합니다. 그것을 확인하는 방법? std::iterator_traits가 unconditonally 정의 부재 형 iterator_category와 기본 템플릿을 갖기 때문에

Answer 1

샘플 함수를 제외하고 이터레이터가 둘 사이의 모든 요소의 주소를 확인하지 않고 연속 메모리를 형성한다는 것을 완전히 확신 할 수는 없습니다.

assert(&*last - &*first == last - first && 
    "Iterators must represent a contiguous memory region"); 

Answer 2

typename std::iterator_traits<IteratorType>::iterator_category* = nullptr 

이 쓸모 없다. 템플리트 매개 변수는 반복자이고, 그렇지 않은 경우 전제 조건 위반이라고 가정합니다. SFINAE를 얻지는 못하지만 유효하지 않은 인스턴스화로 위의 시도를 시도하면 하드 오류가 발생합니다.

처음으로 메모리 블록을 읽었을 때 메모리 블록이 처음부터 마지막까지 연속적으로 메모리에있는 경우에만 작동합니다. 그것을 확인하는 방법?

정확한 '메모리 부족'개념을 정확히 알지 못합니다. 그러나 다음 사항을 고려 했습니까? 배열로 유효한 포인터로서의 반복기 범위 일 [ first, last) 전제로

template<typename T> 
bool readRawData(T* first, T* last); 

.

T에 대한 추가 요구 사항 (예 : read을 사용 했으므로 사소한 복사 가능성)을 추가로 표현하려면 해당 내용도 표현/문서화 할 수 있습니다.

Answer 3

n4183가의 아이디어를 넘어 종이입니다 : 둘 사이의 메모리 영역은 둘 사이의 수가 같은 경우

합리적인 정신 테스트,하지만 단지 확인하는 것입니다 인접 반복자 특성을 추가합니다. 그것은 현재 C++ 1z (잘하면 C++ 17)에 대한 고려 중입니다.

아래에서 std::is_contiguous_iterator<It>::value을 수행하고 It이 연속 반복자인지 여부를 확인할 수 있습니다. (반복기 디자이너의 지원이 필요합니다.)