5. reinterpret_pointer_cast

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

履歴 編集

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::int8_t[]> p(new std::int8_t[4]{1, 1, 1, 1});
  std::shared_ptr<std::int32_t[]> q = std::reinterpret_pointer_cast<std::int32_t[]>(p);

  std::int32_t r = q[0];

  std::int32_t x = (1 << 8) | (1 << 16) | (1 << 24) | 1;
  assert(r == x);
}

出力

バージョン

言語

  • C++17

処理系

参照