std :: dynarray против std :: vector

C ++ 14 представляет std::dynarray:

std :: dynarray - это контейнер последовательности, который инкапсулирует массивы с размером, который фиксируется при построении и не изменяется на протяжении всего времени существования объекта.

std::dynarrayдолжен быть выделен во время выполнения так же, как std::vector.

Итак, каковы преимущества и возможности использования, в std::dynarrayто время как мы можем использовать std::vectorболее динамичный (а также масштабируемый)?

Итак, каковы преимущества и возможности использования std::dynarray, когда мы можем использовать std::vectorболее динамичный (масштабируемый)?

dynarray меньше и проще, чем vector , потому что ему не нужно управлять отдельными значениями размера и емкости, и ему не нужно хранить распределитель.

Однако основной выигрыш в производительности должен исходить от того факта, что реализациям рекомендуется размещать dynarrayпамять в стеке, когда это возможно, избегая любого выделения кучи. например

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

Эта оптимизация требует сотрудничества со стороны компилятора, она не может быть реализована в виде чистой библиотеки, а необходимая магия компилятора не реализована, и никто не уверен, насколько легко это сделать. Из-за отсутствия опыта реализации на заседании комитета C ++ в Чикаго на прошлой неделе было решено отказаться std::dynarrayот C ++ 14 и выпустить отдельный документ TS (техническая спецификация) расширений std::experimental::dynarrayмассивов, определяющий и массивы ограничений времени выполнения (ARB, аналогичные в C99 VLA.) Это означает, std::dynarrayчто почти наверняка не будет в C ++ 14.

Как вы сами сказали, std::dynarrayэто для динамического массива фиксированного размера . Его размер нельзя изменить. Грубо говоря, это улучшение снова new T[N]и снова std::unique_ptr<T[]>(new T[N]).

Отсутствие необходимости изменять размер или управлять емкостью означает, что вы можете реализовать структуру данных с меньшей сложностью и на меньшем пространстве.

Более того, std::dynarray это странное животное, которое позволяет реализации реализовать его разными, неспецифическими способами, например, можно поместить массив в стек. Вызов функции распределения «необязателен». Вы можете указать распределитель для создания элементов массива, но он не является частью типа.

Вы также можете задаться вопросом, зачем нам std::dynarray и массивы переменной длины. VLA в C ++ 14 гораздо более строгие; они могут быть только локальными автоматическими переменными и не предлагают возможности указать политику распределения, и, конечно же, у них нет стандартного интерфейса контейнера.

Некоторые примеры из 23.3.4.2 "текущего черновика" (возьмите это, кеш Google):

explicit dynarray(size_type c);

Эффекты: выделяет место для хранения cэлементов. Может или не может вызывать глобальный operator new.

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

Эффекты: Эквивалентен предыдущим конструкторам, за исключением того, что каждый элемент создается с помощью конструкции uses-allocator .

Независимо от того или нет , вы можете использовать данный аллокатор для построения элементов массива является глобальной чертой:

шаблон struct uses_allocator, Alloc>: true_type {};

Требуется: Alloc должен быть Распределителем (17.6.3.5). [ Примечание: специализация этого признака сообщает другим компонентам библиотеки, которые dynarrayмогут быть созданы с помощью распределителя, даже если он не имеет вложенного типа allocator_type.]

Изменить: ответ Джонатана Уэйкли должен быть гораздо более авторитетным и проницательным.