5. reinterpret_pointer_cast

最終更新日時:
が更新

履歴 編集

function template
<memory>

std::reinterpret_pointer_cast(C++17)

namespace std {
  template <class T, class U>
  shared_ptr<T> reinterpret_pointer_cast(const shared_ptr<U>& r) noexcept; // (1) C++17

  template <class T, class U>
  shared_ptr<T> reinterpret_pointer_cast(shared_ptr<U>&& r) noexcept;      // (2) C++20
}

概要

shared_ptr で管理するインスタンスに対して reinterpret_cast を行う。

戻り値

  • r が空であった場合、この関数は空の shared_ptr<T> を返却する。

  • (1) : 

    return shared_ptr<T>(r, reinterpret_cast<typename shared_ptr<T>::element_type*>(r.get()));

  • (2) : 

    return shared_ptr<T>(std::move(r), reinterpret_cast<typename shared_ptr<T>::element_type*>(r.get()));

備考

  • shared_ptr<T>(reinterpret_cast<T*>(r.get())) という方法は未定義動作を引き起こすので使用しないこと。

例外

投げない

例

#include <memory>
#include <cassert>
#include <cstdint>

int main()
{
  std::shared_ptr<std::int32_t[]> p(new std::int32_t[1]{0x01010101});

  // オブジェクト表現をunsigned charとして参照する。
  // unsigned charを介したアクセスはどのオブジェクトに対しても許容される
  std::shared_ptr<unsigned char[]> q = std::reinterpret_pointer_cast<unsigned char[]>(p);

  // 変換元と所有権を共有する
  assert(q.get() == reinterpret_cast<unsigned char*>(p.get()));
  assert(p.use_count() == 2);

  assert(q[0] == 1);
}

出力

バージョン

言語

  • C++17

処理系

参照