reinterpret_pointer_cast.md

reinterpret_pointer_cast

• memory[meta header]
• std[meta namespace]
• function template[meta id-type]
• cpp17[meta cpp]

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

  • r.get()[link get.md]

• (2) :

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

  • std::move[link /reference/utility/move.md]
  • r.get()[link get.md]

備考

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

• std::reinterpret_pointer_cast[color ff0000]

出力

バージョン

言語

• C++17

処理系

• Clang: 11.1.0 [mark verified]
• GCC: 7.3 [mark verified]
• Visual C++: ??

参照

• LWG Issue 2996. Missing rvalue overloads for shared_ptr operations