| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462 |
- //
- // Copyright (c) 2019 Vinnie Falco (vinnie.falco@gmail.com)
- //
- // Distributed under the Boost Software License, Version 1.0. (See accompanying
- // file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
- //
- // Official repository: https://github.com/boostorg/json
- //
- #ifndef BOOST_JSON_STORAGE_PTR_HPP
- #define BOOST_JSON_STORAGE_PTR_HPP
- #include <boost/core/detail/static_assert.hpp>
- #include <boost/container/pmr/polymorphic_allocator.hpp>
- #include <boost/json/detail/config.hpp>
- #include <boost/json/detail/shared_resource.hpp>
- #include <boost/json/detail/default_resource.hpp>
- #include <boost/json/is_deallocate_trivial.hpp>
- #include <new>
- #include <type_traits>
- #include <utility>
- namespace boost {
- namespace json {
- /** A smart pointer to a memory resource.
- This class is used to hold a pointer to a memory resource. The pointed-to
- resource is always valid. Depending on the means of construction, the
- ownership will be either:
- @li Non-owning, when constructing from a raw pointer to
- @ref boost::container::pmr::memory_resource or from a
- @ref boost::container::pmr::polymorphic_allocator. In this case the caller
- is responsible for ensuring that the lifetime of the memory resource
- extends until there are no more calls to allocate or deallocate.
- @li Owning, when constructing using the function @ref make_shared_resource.
- In this case ownership is shared; the lifetime of the memory resource
- extends until the last copy of the `storage_ptr` is destroyed.
- @par Examples
- These statements create a memory resource on the stack and construct
- a pointer from it without taking ownership:
- @code
- monotonic_resource mr; // Create our memory resource on the stack
- storage_ptr sp( &mr ); // Construct a non-owning pointer to the resource
- @endcode
- This function creates a pointer to a memory resource using shared ownership
- and returns it. The lifetime of the memory resource extends until the last
- copy of the pointer is destroyed:
- @code
- // Create a counted memory resource and return it
- storage_ptr make_storage()
- {
- return make_shared_resource< monotonic_resource >();
- }
- @endcode
- @par Thread Safety
- Instances of this type provide the default level of thread safety for all
- C++ objects. Specifically, it conforms to
- [16.4.6.10 Data race avoidance](http://eel.is/c++draft/res.on.data.races).
- @see
- @ref make_shared_resource,
- @ref boost::container::pmr::polymorphic_allocator,
- @ref boost::container::pmr::memory_resource.
- */
- class storage_ptr
- {
- #ifndef BOOST_JSON_DOCS
- // VFALCO doc toolchain shows this when it shouldn't
- friend struct detail::shared_resource;
- #endif
- using shared_resource =
- detail::shared_resource;
- using default_resource =
- detail::default_resource;
- std::uintptr_t i_;
- shared_resource*
- get_shared() const noexcept
- {
- return static_cast<shared_resource*>(
- reinterpret_cast<container::pmr::memory_resource*>(
- i_ & ~3));
- }
- void
- addref() const noexcept
- {
- if(is_shared())
- get_shared()->refs.fetch_add(
- 1, std::memory_order_relaxed);
- }
- void
- release() const noexcept
- {
- if(is_shared())
- {
- auto const p = get_shared();
- if(p->refs.fetch_sub(1,
- std::memory_order_acq_rel) == 1)
- delete p;
- }
- }
- template<class T>
- storage_ptr(
- detail::shared_resource_impl<T>* p) noexcept
- : i_(reinterpret_cast<std::uintptr_t>(
- static_cast<container::pmr::memory_resource*>(p)) + 1 +
- (json::is_deallocate_trivial<T>::value ? 2 : 0))
- {
- BOOST_ASSERT(p);
- }
- public:
- /** Destructor.
- If the pointer has shared ownership of the resource, the shared
- ownership is released. If this is the last owned copy, the memory
- resource is destroyed.
- @par Complexity
- Constant.
- @par Exception Safety
- No-throw guarantee.
- */
- ~storage_ptr() noexcept
- {
- release();
- }
- /** Constructors.
- @li **(1)** constructs a non-owning pointer that refers to the
- \<\<default_memory_resource,default memory resource\>\>.
- @li **(2)** constructs a non-owning pointer that points to the memory
- resource `r`.
- @li **(3)** constructs a non-owning pointer that points to the same
- memory resource as `alloc`, obtained by calling `alloc.resource()`.
- @li **(4)**, **(5)** construct a pointer to the same memory resource as
- `other`, with the same ownership.
- After **(4)** and **(5)** if `other` was owning, then the constructed
- pointer is also owning. In particular, **(4)** transfers ownership to
- the constructed pointer while **(5)** causes it to share ownership with
- `other`. Otherwise, and with other overloads the constructed pointer
- doesn't own its memory resource and the caller is responsible for
- maintaining the lifetime of the pointed-to
- @ref boost::container::pmr::memory_resource.
- After **(4)**, `other` will point to the default memory resource.
- @par Constraints
- @code
- std::is_convertible< T*, boost::container::pmr::memory_resource* >::value == true
- @endcode
- @pre
- @code
- r != nullptr
- @endcode
- @par Complexity
- Constant.
- @par Exception Safety
- No-throw guarantee.
- @{
- */
- storage_ptr() noexcept
- : i_(0)
- {
- }
- /** Overload
- @tparam T The type of memory resource.
- @param r A non-null pointer to the memory resource to use.
- */
- template<class T
- #ifndef BOOST_JSON_DOCS
- , class = typename std::enable_if<
- std::is_convertible<T*,
- container::pmr::memory_resource*>::value>::type
- #endif
- >
- storage_ptr(T* r) noexcept
- : i_(reinterpret_cast<std::uintptr_t>(
- static_cast<container::pmr::memory_resource *>(r)) +
- (json::is_deallocate_trivial<T>::value ? 2 : 0))
- {
- BOOST_ASSERT(r);
- }
- /** Overload
- @tparam V Any type.
- @param alloc A @ref boost::container::pmr::polymorphic_allocator to
- construct from.
- */
- template<class V>
- storage_ptr(
- container::pmr::polymorphic_allocator<V> const& alloc) noexcept
- : i_(reinterpret_cast<std::uintptr_t>(
- alloc.resource()))
- {
- }
- /** Overload
- @param other Another pointer.
- */
- storage_ptr(
- storage_ptr&& other) noexcept
- : i_(detail::exchange(other.i_, 0))
- {
- }
- /** Overload
- @param other
- */
- storage_ptr(
- storage_ptr const& other) noexcept
- : i_(other.i_)
- {
- addref();
- }
- /// @}
- /** Assignment operators.
- This function assigns a pointer that points to the same memory resource
- as `other`, with the same ownership:
- @li If `other` is non-owning, then the assigned-to pointer will be be
- non-owning.
- @li If `other` has shared ownership, then **(1)** transfers ownership
- to the assigned-to pointer, while after **(2)** it shares the ownership
- with `other`.
- If the assigned-to pointer previously had shared ownership, it is
- released before the function returns.
- After **(1)**, `other` will point to the
- \<\<default_memory_resource,default memory resource\>\>.
- @par Complexity
- Constant.
- @par Exception Safety
- No-throw guarantee.
- @param other Another pointer.
- @{
- */
- storage_ptr&
- operator=(
- storage_ptr&& other) noexcept
- {
- release();
- i_ = detail::exchange(other.i_, 0);
- return *this;
- }
- storage_ptr&
- operator=(
- storage_ptr const& other) noexcept
- {
- other.addref();
- release();
- i_ = other.i_;
- return *this;
- }
- /// @}
- /** Check if ownership of the memory resource is shared.
- This function returns true for memory resources created using @ref
- make_shared_resource.
- */
- bool
- is_shared() const noexcept
- {
- return (i_ & 1) != 0;
- }
- /** Check if calling `deallocate` on the memory resource has no effect.
- This function is used to determine if the deallocate function of the
- pointed to memory resource is trivial. The value of @ref
- is_deallocate_trivial is evaluated and saved when the memory resource
- is constructed and the type is known, before the type is erased.
- */
- bool
- is_deallocate_trivial() const noexcept
- {
- return (i_ & 2) != 0;
- }
- /** Check if ownership of the memory resource is not shared and deallocate is trivial.
- This function is used to determine if calls to deallocate can
- effectively be skipped. Equivalent to `! is_shared() &&
- is_deallocate_trivial()`.
- */
- bool
- is_not_shared_and_deallocate_is_trivial() const noexcept
- {
- return (i_ & 3) == 2;
- }
- /** Return a pointer to the memory resource.
- This function returns a pointer to the
- referenced @ref boost::container::pmr::memory_resource.
- @par Complexity
- Constant.
- @par Exception Safety
- No-throw guarantee.
- */
- container::pmr::memory_resource*
- get() const noexcept
- {
- if(i_ != 0)
- return reinterpret_cast<
- container::pmr::memory_resource*>(i_ & ~3);
- return default_resource::get();
- }
- /** Return a pointer to the memory resource.
- This function returns a pointer to the referenced @ref
- boost::container::pmr::memory_resource.
- @par Complexity
- Constant.
- @par Exception Safety
- No-throw guarantee.
- */
- container::pmr::memory_resource*
- operator->() const noexcept
- {
- return get();
- }
- /** Return a reference to the memory resource.
- This function returns a reference to the pointed-to @ref
- boost::container::pmr::memory_resource.
- @par Complexity
- Constant.
- @par Exception Safety
- No-throw guarantee.
- */
- container::pmr::memory_resource&
- operator*() const noexcept
- {
- return *get();
- }
- template<class U, class... Args>
- friend
- storage_ptr
- make_shared_resource(Args&&... args);
- };
- #if defined(_MSC_VER)
- # pragma warning( push )
- # if !defined(__clang__) && _MSC_VER <= 1900
- # pragma warning( disable : 4702 )
- # endif
- #endif
- /** Return a pointer that owns a new, dynamically allocated memory resource.
- This function dynamically allocates a new memory resource as if by
- `operator new` that uses shared ownership. The lifetime of the memory
- resource will be extended until the last @ref storage_ptr which points to
- it is destroyed.
- @par Constraints
- @code
- std::is_base_of< boost::container::pmr::memory_resource, U >::value == true
- @endcode
- @par Complexity
- Same as `new U( std::forward<Args>(args)... )`.
- @par Exception Safety
- Strong guarantee.
- @tparam U The type of memory resource to create.
- @param args Parameters forwarded to the constructor of `U`.
- */
- template<class U, class... Args>
- storage_ptr
- make_shared_resource(Args&&... args)
- {
- // If this generates an error, it means that
- // `T` is not a memory resource.
- BOOST_CORE_STATIC_ASSERT((
- std::is_base_of<container::pmr::memory_resource, U>::value));
- return storage_ptr(new
- detail::shared_resource_impl<U>(
- std::forward<Args>(args)...));
- }
- #if defined(_MSC_VER)
- # pragma warning( pop )
- #endif
- /// Overload
- inline
- bool
- operator==(
- storage_ptr const& lhs,
- storage_ptr const& rhs) noexcept
- {
- return lhs.get() == rhs.get();
- }
- /// Overload
- inline
- bool
- operator!=(
- storage_ptr const& lhs,
- storage_ptr const& rhs) noexcept
- {
- return lhs.get() != rhs.get();
- }
- } // namespace json
- } // namespace boost
- #endif
|