std :: get_temporary_bufferが必要なのはなぜですか？

Question 1

どのような目的で使用する必要がありますstd::get_temporary_bufferか？標準は次のように言っています：

最大n個の隣接するTオブジェクトを格納するのに十分なストレージへのポインタを取得します。

バッファはスタックに割り当てられると思いましたが、そうではありません。C ++標準によると、このバッファは実際には一時的なものではありません。この関数には::operator new、オブジェクトも作成しないグローバル関数に比べてどのような利点がありますか。次のステートメントが同等であるというのは正しいですか？

int* x;
x = std::get_temporary_buffer<int>( 10 ).first;
x = static_cast<int*>( ::operator new( 10*sizeof(int) ) );

この関数はシンタックスシュガーに対してのみ存在しますか？なぜtemporaryその名前にあるのですか？

1996年7月1日のDr.Dobb's Journalで、アルゴリズムを実装するための1つのユースケースが提案されました。

バッファを割り当てることができない場合、またはバッファが要求よりも小さい場合でも、アルゴリズムは正しく機能します。単に速度が低下するだけです。

Question 2

Stroustrupは、「C ++プログラミング言語」（§19.4.4、SE）で次のように述べています。

アイデアは、システムが高速割り当ての準備ができて、固定サイズのバッファの数を保つことができるということであるので、そのためのスペースを要求するのnオブジェクトは以上のための空間をもたらすことができる、N。ただし、歩留まりが低下する可能性もあるため、使用方法の1つget_temporary_buffer()は、楽観的に多くを要求してから、たまたま利用可能なものを使用することです。
[...]get_temporary_buffer()は低レベルであり、一時バッファーの管理用に最適化される可能性が高いため、長期ストレージを取得するためのnewまたはallocator :: alllocate（）の代わりに使用しないでください。

彼はまた、次の2つの機能の紹介を開始します。

多くの場合、アルゴリズムを適切に実行するには、一時的なスペースが必要です。

...しかし、一時的または長期的な定義をどこにも提供していないようです。

「数学から一般的なプログラミングへ」の逸話では、Stepanovが元のSTLデザインに偽のプレースホルダー実装を提供したと述べています。

驚いたことに、彼は数年後、STL実装を提供するすべての主要ベンダーがまだこのひどい実装を使用していることを発見しました[...]

Question 3

Microsoftの標準ライブラリの人は次のように言っています（ここ）：

'get_temporary_buffer'をいつ使用するか説明していただけますか

それは非常に特殊な目的を持っています。new（nothrow）のように例外をスローしませんが、new（nothrow）のようにオブジェクトを構築しないことに注意してください。

これは、stable_partition（）などのアルゴリズムでSTLによって内部的に使用されます。これは、N3126 25.3.13 [alg.partitions] / 11のような魔法の言葉がある場合に発生します。stable_partition（）には複雑さがあります。十分な追加メモリです。」「十分な追加メモリがある場合」という魔法の言葉が現れると、STLはget_temporary_buffer（）を使用して作業スペースを取得しようとします。可能であれば、アルゴリズムをより効率的に実装できます。それができない場合、システムがメモリ不足の近くで危険なほど実行されている（または関連する範囲が大きい）ため、アルゴリズムはより遅い手法にフォールバックする可能性があります。

STLユーザーの99.9％は、get_temporary_buffer（）について知る必要はありません。

Question 4

標準では、最大 n要素にストレージを割り当てるとされています。つまり、この例では、5つのオブジェクトのみに十分な大きさのバッファーが返される場合があります。

しかし、これの良いユースケースを想像するのはかなり難しいようです。おそらく、非常にメモリに制約のあるプラットフォームで作業している場合は、「できるだけ多くのメモリ」を取得するための便利な方法です。

しかし、このような制約のあるプラットフォームでは、メモリアロケータを可能な限りバイパスし、メモリプールまたは完全に制御できるものを使用すると思います。

Question 5

どのような目的で使用する必要がありますか std::get_temporary_buffer?

この関数はC ++ 17で非推奨になったため、正解は「目的がないので使用しないでください」になりました。

Question 6

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 ) );

ベースの実際のサイズは、require以上である必要があります。

Question 7

おそらく（単なる推測ですが）それはメモリの断片化と関係があります。時間メモリの割り当てと割り当て解除を頻繁に続けているが、そのたびに、一時メモリを割り当てた後、割り当てを解除する前に、長期的に意図されたメモリを割り当てると、ヒープが断片化する可能性があります（私は推測します）。

したがって、get_temporary_bufferは、一度割り当てられる必要以上のメモリチャンクであることが意図されている可能性があり（おそらく、複数の要求を受け入れる準備ができているチャンクが多数あります）、メモリが必要になるたびに、チャンク。したがって、メモリは断片化されません。