¿Cuál es la diferencia entre span y array_view en la biblioteca gsl?

En varias presentaciones de conferencias recientes, escuché a Bjarne Stroustrup y otros mencionar nuevas pautas de codificación para C ++ y algunos tipos que las respaldan.

Específicamente, recuerdo el ejemplo de en span<T>lugar de (T* p, int n)como parámetro de una función (a las 32:00 de la charla); pero también recuerdo la sugerencia de usar array_view<T>. ¿Son dos alternativas pero el mismo concepto? ¿O estoy confundiendo las cosas y en realidad no están tan relacionadas?

Parece que no puedo encontrar una definición autorizada de lo que se supone que deben ser ambos.

Hablamos con la gente del grupo de trabajo de la biblioteca en el comité de normas . Querían que el array_viewque intentaban entrar en el estándar fuera de solo lectura. Para las pautas básicas, necesitábamos una abstracción que fuera de lectura y escritura. Para evitar un conflicto entre los estándares (potenciales) y la biblioteca de soporte de pautas (GSL), cambiamos el nombre de nuestro (lectura y escritura) array_viewa span: https://github.com/microsoft/gsl .

En CppCoreGuidlines,array_view se cambió el nombre del original a span.

Ver: https://github.com/isocpp/CppCoreGuidelines/pull/377

Se describe así:

span es una alternativa segura y con límites comprobados al uso de punteros para acceder a las matrices

El documento P0122R (2016-02-12) del Library Evolution Working Group (LEWG)
cambia oficialmente el nombre del tipo array_viewaspan :

Registro de cambios

Cambios de R0

• Se cambió el nombre del tipo propuesto de array_view a spanseguir los comentarios de LEWG en la reunión de Kona.
• [...]

También podemos leer:

Impacto en el estándar

Esta propuesta es una extensión de biblioteca pura. No requiere ningún cambio en las clases, funciones o encabezados estándar. Se mejoraría si pudiera depender del bytetipo y los cambios en el comportamiento de alias de tipo propuesto en P0257 .

Sin embargo, si se adopta, puede ser útil sobrecargar algunas funciones de biblioteca estándar para este nuevo tipo (un ejemplo sería copy() ).

spanse ha implementado en C ++ estándar (C ++ 11) y se está utilizando con éxito dentro de una herramienta comercial de análisis estático para código C ++, así como software de productividad de oficina comercial. Una implementación de referencia de código abierto está disponible en https://github.com/Microsoft/GSL .

En un capítulo siguiente, este documento presenta los accesos de solo lectura y lectura-escritura ( mutables ):

Tipos de elementos y conversiones

spandebe configurarse con su tipo de elemento a través del parámetro de plantilla ValueType, que debe ser un tipo de objeto completo que no sea un tipo de clase abstracta. spanadmite acceso de solo lectura o mutable a la secuencia que encapsula. Para acceder a datos de solo lectura, el usuario puede declarar a span<const T>, y el acceso a datos mutables usaría a span<T>.

[...]

Consulte también la Revisión de la biblioteca de apoyo aspan<T> las directrices: de Marius Bancila (marzo de 2016) que se define spancomo:

La Biblioteca de soporte de pautas es una implementación de Microsoft de algunos de los tipos y funciones descritos en las Pautas principales de C ++ mantenidas por Standard C ++ Foundation . Entre los tipos proporcionados por GSL se span<T>conocía anteriormente como array_view<T>.

span<T>es un rango no propietario de memoria contigua que se recomienda usar en lugar de punteros (y contador de tamaño) o contenedores estándar (como std::vectoro std::array).