Зачем мне std :: get_ Contemporary_buffer?

Страуструп говорит в «Язык программирования C ++» (§19.4.4, SE):

Идея состоит в том, что система может держать несколько буферов фиксированного размера готовыми к быстрому распределению, так что запрос пространства для n объектов может дать пространство для более чем n. Однако он также может давать меньше, поэтому один из способов использования get_temporary_buffer() - это оптимистично попросить много, а затем использовать то, что оказывается доступным.
[...] Потому что get_temporary_buffer() является низкоуровневым и, вероятно, будет оптимизирован для управляя временными буферами, его не следует использовать в качестве альтернативы new или allocator :: allocate () для получения более длительного хранения.

Он также начинает знакомство с двумя функциями с:

Алгоритмам часто требуется временное пространство для нормальной работы.

... но, похоже, нигде не дает определения временного или долгосрочного.

анекдот в " От математики к общему программированию " упоминается, что Степанов предоставил фиктивную реализацию заполнителя в исходном проекте STL, однако :

К своему удивлению, годы спустя он обнаружил, что все основные поставщики, предлагающие реализации STL, все еще используют эту ужасную реализацию [...]

Специалист по стандартной библиотеке Microsoft говорит следующее (здесь):

• Не могли бы вы объяснить, когда использовать get_ Contemporary_buffer?

У него очень специализированное предназначение. Обратите внимание, что он не генерирует исключений, таких как new (nothrow), но также не создает объекты, в отличие от new (nothrow).

Он используется внутри STL в таких алгоритмах, как stable_partition (). Это происходит, когда есть волшебные слова вроде N3126 25.3.13 [alg.partitions] / 11: stable_partition () имеет сложность «Максимум (последний - первый) * журнал (последний - первый) свопов, но только линейное количество свопов, если есть достаточно дополнительной памяти ". Когда появляются волшебные слова «если достаточно дополнительной памяти», STL использует get_porary_buffer (), чтобы попытаться получить рабочее пространство. Если да, то алгоритм может быть реализован более эффективно. Если это невозможно, потому что система работает в опасной близости от нехватки памяти (или задействованные диапазоны огромны), алгоритм может вернуться к более медленной технике.

99,9% пользователей STL никогда не узнают о get_ Contemporary_buffer ().

В стандарте говорится, что он выделяет память для до n элементов. Другими словами, ваш пример может вернуть буфер, достаточно большой только для 5 объектов.

Тем не менее, довольно сложно представить себе хороший вариант использования для этого. Возможно, если вы работаете на платформе с очень ограниченным объемом памяти, это удобный способ получить «как можно больше памяти».

Но на такой ограниченной платформе, я полагаю, вы обойдете в максимально возможной степени распределитель памяти и используете пул памяти или что-то, что вы полностью контролируете.

С какой целью я должен использовать std::get_temporary_buffer?

Функция устарела в C ++ 17, поэтому правильный ответ теперь " ни с какой целью, не используйте его ".

ptrdiff_t            request = 12
pair<int*,ptrdiff_t> p       = get_temporary_buffer<int>(request);
int*                 base    = p.first;
ptrdiff_t            respond = p.sencond;
assert( is_valid( base, base + respond ) );

ответ может быть меньше, чем запрос.

size_t require = 12;
int*   base    = static_cast<int*>( ::operator new( require*sizeof(int) ) );
assert( is_valid( base, base + require ) );

фактический размер base должен быть больше или равен require.

Возможно (только предположение) это как-то связано с фрагментацией памяти. Если вы продолжаете интенсивно выделять и освобождать временную память, но каждый раз, когда вы это делаете, вы выделяете некоторую долгосрочную предполагаемую память после выделения временной памяти, но до ее освобождения, вы можете получить фрагментированную кучу (я думаю).

Таким образом, get_temporary_buffer может быть предназначен для того, чтобы быть большим, чем вам нужно, фрагментом памяти, который выделяется один раз (возможно, есть много фрагментов, готовых для приема нескольких запросов), и каждый раз, когда вам нужна память, вы просто получаете один из куски. Таким образом, память не фрагментируется.