最終更新日時:
が更新

履歴 編集

function template
<memory>

std::return_temporary_buffer(C++17で非推奨)

template <class T>
void return_temporary_buffer(T* p);

この機能は、C++17から非推奨となった。短期的な用途のメモリ領域確保には、alloca()のようなスタックからメモリを確保するなど、他の機能を使用すること。

概要

get_temporary_buffer()関数で確保したメモリ領域を解放する。

要件

pが、先行するget_temporary_buffer()の呼び出しで返され、その後return_temporary_buffer(T*)の呼び出しで無効化されていない値であること。

効果

ポインタpが指す領域を解放する。

戻り値

なし

例外

  • 投げない

非推奨の詳細

std::get_temporary_buffer()関数とstd::return_temporary_buffer()関数は、関数内での一時的なメモリ確保のために、最適化されたメモリ確保の仕組みを提供することを期待して定義されたが、実際にはどの実装も特別なメモリ確保を行わず、そのために使われてこなかった。

将来的にスタックからメモリ確保をする仕組みが検討されているが、これらの関数は設計として例外安全性やRAIIといったものが考慮されていない。スタックからメモリ確保する機能が入ったとしても、これらの関数の内部を改善することはできないと判断され、非推奨となった。

スタックからメモリ確保する機能は、現在の標準ライブラリにはない。そのため、代わりとしては、配置new構文や、標準外のalloca()関数のような機能を使用すること。

#include <iostream>
#include <memory>

int main()
{
  // int型のオブジェクトを3つ構築する想定の領域確保を依頼
  std::pair<int*, std::ptrdiff_t> result = std::get_temporary_buffer<int>(3);

  int* p = result.first;
  std::size_t size = static_cast<std::size_t>(result.second);

  std::allocator<int> alloc;
  using traits = std::allocator_traits<std::allocator<int>>;

  // オブジェクトを構築
  for (std::size_t i = 0; i < size; ++i) {
    traits::construct(alloc, p + i);
  }

  // オブジェクトを破棄
  for (std::size_t i = 0; i < size; ++i) {
    traits::destroy(alloc, p + i);
  }

  // 確保した領域を解放
  std::return_temporary_buffer(p);
}

出力

参照