std :: dynarray vs std :: vector

C ++ 14 presenta std::dynarray:

std :: dynarray es un contenedor de secuencia que encapsula matrices con un tamaño que se fija en la construcción y no cambia durante la vida útil del objeto.

std::dynarraydebe asignarse en tiempo de ejecución al igual que std::vector.

Entonces, ¿cuáles son los beneficios y el uso de std::dynarraymientras podemos usar std::vectorcuál es más dinámico (y también redimensionable)?

Entonces, ¿cuáles son los beneficios y el uso de std::dynarray, cuándo podemos usar std::vectorcuál es más dinámico (redimensionable)?

dynarrayes más pequeño y más simple que vector, porque no necesita administrar valores separados de tamaño y capacidad, y no necesita almacenar un asignador.

Sin embargo, se pretende que el principal beneficio de rendimiento provenga del hecho de que se anima a las implementaciones a asignar dynarrayen la pila cuando sea posible, evitando cualquier asignación de montón. p.ej

std::dynarray<int> d(5);   // can use stack memory for elements
auto p = new std::dynarray<int>(6);  // must use heap memory for elements

Esta optimización requiere la cooperación del compilador, no se puede implementar como un tipo de biblioteca pura, y la magia del compilador necesaria no se ha implementado y nadie está seguro de lo fácil que es hacerlo. Debido a la falta de experiencia en implementación, en la reunión del comité de C ++ en Chicago la semana pasada se decidió sacar std::dynarrayde C ++ 14 y emitir un documento TS (especificación técnica) de extensiones de matriz separada que define std::experimental::dynarrayy matrices de tiempo de ejecución enlazado (ARB, similar a C99 VLA). Es std::dynarraycasi seguro que este medio no estará en C ++ 14.

Como usted mismo dijo, std::dynarrayes para una matriz dinámica de tamaño fijo . No es de tamaño variable. En términos generales, es una mejora una new T[N]y otra vez std::unique_ptr<T[]>(new T[N]).

No necesitar cambiar el tamaño o administrar la capacidad significa que puede implementar la estructura de datos con menos complejidad y en menos espacio.

Además, std::dynarrayes un animal extraño que permite que la implementación lo implemente de diferentes formas no específicas, por ejemplo, es posible colocar la matriz en la pila. Llamar a una función de asignación es "opcional". Puede especificar un asignador para construir los elementos de la matriz, pero eso no es parte del tipo.

También puede ser que preguntarse por qué necesitamos std::dynarray y matrices de longitud variable. Los VLA en C ++ 14 son mucho más restrictivos; solo pueden ser variables locales, automáticas y no ofrecen forma de especificar una política de asignación y, por supuesto, no tienen una interfaz de contenedor estándar.

Algunos ejemplos de 23.3.4.2 de un "borrador actual" (tome eso, caché de Google):

explicit dynarray(size_type c);

Efectos: asigna almacenamiento para celementos. Puede o no invocar lo global operator new.

template <class Alloc>
dynarray(size_type c, const Alloc& alloc);

Efectos: Equivalente a los constructores anteriores excepto que cada elemento se construye con una construcción de asignador de usos .

Aun cuando no se puede utilizar un asignador dada para construir los elementos de la matriz es un rasgo mundial:

template struct uses_allocator, Alloc>: true_type {};

Requiere: Alloc debe ser un Asignador (17.6.3.5). [ Nota: la especialización de este rasgo informa a otros componentes de la biblioteca que dynarrayse pueden construir con un asignador, aunque no tenga un allocator_type anidado].

Editar: La respuesta de Jonathan Wakely seguramente será mucho más autorizada y perspicaz.