5. reinterpret_pointer_cast

    • Class / Function / Type

      std::

    • Header file

      <>

    • Other / All

    crsearch v3.0.23

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

    履歴 編集

    function template
    <memory>

    std::reinterpret_pointer_cast

    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

    処理系

    参照