C++アルゴリズムヒープ割り当て保証

Question

フリー・ストア（つまりヒープ）割り当てを行わない標準アルゴリズムの非実行ポリシーオーバーロードについてC++標準で何か保証はありますか？

私はリアルタイム処理を行っていますが、たとえばstd::max_elementなどを使用したいと考えていますが、ヒープに割り当てられない保証はありません。それは意味がありませんが、どこに指定されているか分かりません。おそらく私は、それを保証するいくつかの一般的な条項を欠いているでしょうか？

Answer 1

標準では、メモリを割り当てるアルゴリズムが禁止されています。アルゴリズムがメモリを割り当てるかどうかの知識は役に立つ/必要かもしれないので、この仕様の省略は欠陥とみなされるかもしれない（私はこのトピックに未解決の欠陥があるとは思わない）。メモリを割り当てることを許可されていないアルゴリズムを指定することは、これらの割り当てがそのパラメータの操作ではなく、アルゴリズム自身の操作のみをカバーすることが明らかである限り、それほど悪くはないはずです。メモリの割り当てが必要です。理論的には、一部のアルゴリズムが一時バッファから利益を得てメモリを割り当てることが考えられる。しかし、実際には、これを行うアルゴリズムがいくつか存在する（例えば、rotate()はメモリを割り当てることから利益を得ることができる）。 std::max_element()のようなアルゴリズムは、指定されていないにもかかわらずメモリを割り当てません。

Answer 2

私はそのような保証について直接言及していませんでした。ただし、cppreferenceには、実行されていないポリシーのオーバーロードについては、std::max_elementの例外はありません。

実行ポリシーのオーバーロードにはstd::bad_allocが含まれています。

この情報が正しい場合は、実行されていないポリシーのオーバーロードがヒープにメモリを割り当てることができないことを意味します（そうでない場合は、bad::allocを投げる可能性があります）。