¿Cómo comprobar si los iteradores forman una zona de memoria contigua?

Question

que actualmente tienen la siguiente función para leer una matriz o un vector de datos en bruto (_readStream es una 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(); 
} 

Primera pregunta: ¿esta función parece bien para usted?

Como leemos directamente un bloque de memoria, solo funcionará si el bloque de memoria de first a last es contiguo en la memoria. ¿Cómo verificar eso?

Answer 1

Dejando de lado su función de muestra, nunca puede estar completamente seguro de que los iteradores formarán una memoria contigua sin verificar la dirección de cada elemento entre los dos.

Una prueba de sanidad razonable, sin embargo, sería simplemente comprobar si el área de memoria entre los dos es el mismo que el recuento entre los dos:

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

Answer 2

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

esto es inútil porque std::iterator_traits tiene una plantilla primaria con un tipo de miembro unconditonally definido iterator_category. Se asume tácitamente que el parámetro de plantilla es un iterador y que, si no es una violación de condición previa, no obtendrá SFINAE, pero sí un error grave si se intenta lo anterior con una instanciación no válida.

Como leemos directamente un bloque de memoria, solo funcionará si el bloque de memoria del primero al último está contiguo en la memoria. ¿Cómo verificar eso?

No sé qué requisitos exactos pondría en un concepto de 'contiguo en la memoria'. Sin embargo, ¿has considerado lo siguiente?

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

con la condición previa de que [ first, last) ser un válido gama puntero-as-iterador en una matriz.

Si desea agregar más requisitos al T (por ejemplo, copia de seguridad trivial ya que utiliza read), puede expresarlos/documentarlos también.

Answer 3

n4183 es un papel que va sobre la idea de agregando un rasgo de iterador contiguo. Actualmente está en consideración para C++ 1z (con suerte C++ 17).

Debajo, puede hacer std::is_contiguous_iterator<It>::value y obtener si It es un iterador contiguo o no. (Esto requerirá soporte del diseñador del iterador).