最終更新日時(UTC):
が更新

履歴 編集

class
<memory_resource>

std::pmr::memory_resource(C++17)

namespace std::pmr {
  class memory_resource;
}

概要

memory_resourceはメモリの確保・解放戦略と実際の処理を実装し、polymorphic_allocatorから利用されるためのインターフェースである。

メンバ関数

構築・破棄

名前 説明 対応バージョン
virtual ~memory_resource() 仮想デストラクタ C++17

非仮想インターフェース(NVI)

名前 説明 対応バージョン
allocate メモリを確保する C++17
deallocate メモリを解放する C++17
is_equal オブジェクトを超えてメモリ領域の解放を行えるかを調べる C++17

プライベート純粋仮想関数

名前 説明 対応バージョン
do_allocate メモリを確保する C++17
do_deallocate メモリを解放する C++17
do_is_equal オブジェクトを超えてメモリ領域の解放を行えるかを調べる C++17

非メンバ関数

名前 説明 対応バージョン
operator== 等値比較 C++17
operator!= 非等値比較 C++17

実装する例

#include <iostream>
#include <memory_resource>
#include <cstddef>

//スタック領域からメモリを割り当てるmemory_resource実装
template<std::size_t N>
struct stack_resource : public std::pmr::memory_resource {

  stack_resource() = default;
  //コピーに意味がないので禁止
  stack_resource(const stack_resource&) = delete;
  stack_resource& operator=(const stack_resource&) = delete;

  void* do_allocate(std::size_t bytes, std::size_t alignment) override {
    //空きがない
    if (N <= m_index) throw std::bad_alloc{};

    //2の累乗をチェック(AVX512のアライメント要求である64byteを最大としておく)
    bool is_pow2 = false;
    for (std::size_t pow2 = 1; pow2 <= std::size_t(64); pow2 *= 2) {
      if (alignment == pow2) {
        is_pow2 = true;
        break;
      }
    }

    //2の累乗でないアライメント要求はalignof(std::max_align_t)へ
    if (!is_pow2) {
      alignment = alignof(std::max_align_t);
    }

    auto addr = reinterpret_cast<std::uintptr_t>(&m_buffer[m_index]);

    //アライメント要求に合わせる
    while ((addr & std::uintptr_t(alignment - 1)) != 0) {
      ++addr;
      ++m_index;
    }

    m_index += bytes;

    //サイズが足りなくなったら
    if (N <= m_index) throw std::bad_alloc{};

    return reinterpret_cast<void*>(addr);
  }

  void do_deallocate(void* p, std::size_t bytes, [[maybe_unused]] std::size_t alignment) override {
    auto addr = static_cast<std::byte*>(p);
    auto end = std::end(m_buffer);

    if (m_buffer <= addr && addr < end) {
      //当てた領域をゼロ埋めするだけ
      for (std::size_t i = 0; i < bytes; ++i) {
        if ((addr + i) < end) {
          addr[i] = std::byte(0);
        }
      }
    }

  }

  bool do_is_equal(const memory_resource& other) const noexcept override {
    return this == &other;
  }

private:
  std::byte m_buffer[N]{};
  std::size_t m_index{};
};

int main(){
  stack_resource<100> s{};
  std::pmr::memory_resource* mr = &s;

  //int1つ分の領域をintのアライメント要求(多くの環境で共に4バイト)でメモリ確保
  void* p = mr->allocate(sizeof(int), alignof(int));
  //placement new して構築
  int* p_int = new(p) int{ 256 };

  std::cout << *p_int << std::endl;
  //一応アドレスを出力
  std::cout << p << std::endl;
  std::cout << p_int << std::endl;

  //デストラクタを呼び出してオブジェクトを破棄
  std::destroy_at(p_int);

  //メモリの解放
  mr->deallocate(p, sizeof(int), alignof(int));

  std::cout << std::boolalpha;

  stack_resource<10> s2{};
  //自分以外とはtrueにならない
  std::cout << (*mr == s) << std::endl;
  std::cout << (*mr == s2) << std::endl;
}

出力例(VS2019 Preview2)

256
000000308BAFF5D8
000000308BAFF5D8
true
false

バージョン

言語

  • C++17

処理系

関連項目

参照