memory 5.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194
  1. // -*- C++ -*-
  2. //===----------------------------------------------------------------------===//
  3. //
  4. // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
  5. // See https://llvm.org/LICENSE.txt for license information.
  6. // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
  7. //
  8. //===----------------------------------------------------------------------===//
  9. #ifndef _LIBCPP_EXPERIMENTAL_MEMORY
  10. #define _LIBCPP_EXPERIMENTAL_MEMORY
  11. /*
  12. experimental/memory synopsis
  13. namespace std::experimental::inline fundamentals_v2 {
  14. template <class W> class observer_ptr {
  15. public:
  16. using element_type = W;
  17. using pointer = add_pointer_t<W>; // exposition-only
  18. using reference = add_lvalue_reference_t<W>; // exposition-only
  19. // default ctor
  20. constexpr observer_ptr() noexcept;
  21. // pointer-accepting ctors
  22. constexpr observer_ptr(nullptr_t) noexcept;
  23. constexpr explicit observer_ptr(pointer) noexcept;
  24. // copying ctors (in addition to compiler-generated copy ctor)
  25. template <class W2> constexpr observer_ptr(observer_ptr<W2>) noexcept;
  26. // observers
  27. constexpr pointer get() const noexcept;
  28. constexpr reference operator*() const;
  29. constexpr pointer operator->() const noexcept;
  30. constexpr explicit operator bool() const noexcept;
  31. // conversions
  32. constexpr explicit operator pointer() const noexcept;
  33. // modifiers
  34. constexpr pointer release() noexcept;
  35. constexpr void reset(pointer = nullptr) noexcept;
  36. constexpr void swap(observer_ptr&) noexcept;
  37. };
  38. }
  39. */
  40. #include <__functional/hash.h>
  41. #include <__functional/operations.h>
  42. #include <__type_traits/add_lvalue_reference.h>
  43. #include <__type_traits/add_pointer.h>
  44. #include <__type_traits/common_type.h>
  45. #include <__type_traits/enable_if.h>
  46. #include <__type_traits/is_convertible.h>
  47. #include <cstddef>
  48. #include <experimental/__config>
  49. #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
  50. # pragma GCC system_header
  51. #endif
  52. #ifdef _LIBCPP_ENABLE_EXPERIMENTAL
  53. _LIBCPP_BEGIN_NAMESPACE_LFTS_V2
  54. # if _LIBCPP_STD_VER >= 17
  55. template <class _Wp>
  56. class observer_ptr {
  57. public:
  58. using element_type = _Wp;
  59. // constructors
  60. _LIBCPP_HIDE_FROM_ABI constexpr observer_ptr() noexcept : __ptr_(nullptr) {}
  61. _LIBCPP_HIDE_FROM_ABI constexpr observer_ptr(nullptr_t) noexcept : __ptr_(nullptr) {}
  62. _LIBCPP_HIDE_FROM_ABI constexpr explicit observer_ptr(element_type* __p) noexcept : __ptr_(__p) {}
  63. template <class _W2, __enable_if_t<is_convertible<_W2*, _Wp*>::value, int> = 0>
  64. _LIBCPP_HIDE_FROM_ABI constexpr observer_ptr(observer_ptr<_W2> __other) noexcept : __ptr_(__other.get()) {}
  65. // observers
  66. _LIBCPP_HIDE_FROM_ABI constexpr element_type* get() const noexcept { return __ptr_; }
  67. _LIBCPP_HIDE_FROM_ABI constexpr add_lvalue_reference_t<_Wp> operator*() const { return *__ptr_; }
  68. _LIBCPP_HIDE_FROM_ABI constexpr element_type* operator->() const noexcept { return __ptr_; }
  69. _LIBCPP_HIDE_FROM_ABI constexpr explicit operator bool() const noexcept { return __ptr_ != nullptr; }
  70. // conversions
  71. _LIBCPP_HIDE_FROM_ABI constexpr explicit operator element_type*() const noexcept { return __ptr_; }
  72. // modifiers
  73. _LIBCPP_HIDE_FROM_ABI constexpr void reset(element_type* __p = nullptr) noexcept { __ptr_ = __p; }
  74. _LIBCPP_HIDE_FROM_ABI constexpr void swap(observer_ptr& __other) noexcept {
  75. observer_ptr __tmp = __other;
  76. __other = *this;
  77. *this = __tmp;
  78. }
  79. _LIBCPP_HIDE_FROM_ABI constexpr element_type* release() noexcept {
  80. observer_ptr __p;
  81. __p.swap(*this);
  82. return __p.get();
  83. }
  84. private:
  85. element_type* __ptr_;
  86. };
  87. // specializations
  88. template <class _Wp>
  89. _LIBCPP_HIDE_FROM_ABI constexpr void swap(observer_ptr<_Wp>& __a, observer_ptr<_Wp>& __b) noexcept {
  90. __a.swap(__b);
  91. }
  92. template <class _Wp>
  93. _LIBCPP_HIDE_FROM_ABI observer_ptr<_Wp> make_observer(_Wp* __ptr) noexcept {
  94. return observer_ptr<_Wp>{__ptr};
  95. }
  96. template <class _W1, class _W2>
  97. _LIBCPP_HIDE_FROM_ABI bool operator==(observer_ptr<_W1> __a, observer_ptr<_W2> __b) {
  98. return __a.get() == __b.get();
  99. }
  100. template <class _W1, class _W2>
  101. _LIBCPP_HIDE_FROM_ABI bool operator!=(observer_ptr<_W1> __a, observer_ptr<_W2> __b) {
  102. return !(__a == __b);
  103. }
  104. template <class _Wp>
  105. _LIBCPP_HIDE_FROM_ABI bool operator==(observer_ptr<_Wp> __p, nullptr_t) {
  106. return !__p;
  107. }
  108. template <class _Wp>
  109. _LIBCPP_HIDE_FROM_ABI bool operator==(nullptr_t, observer_ptr<_Wp> __p) {
  110. return !__p;
  111. }
  112. template <class _Wp>
  113. _LIBCPP_HIDE_FROM_ABI bool operator!=(observer_ptr<_Wp> __p, nullptr_t) {
  114. return (bool)__p;
  115. }
  116. template <class _Wp>
  117. _LIBCPP_HIDE_FROM_ABI bool operator!=(nullptr_t, observer_ptr<_Wp> __p) {
  118. return (bool)__p;
  119. }
  120. template <class _W1, class _W2>
  121. _LIBCPP_HIDE_FROM_ABI bool operator<(observer_ptr<_W1> __a, observer_ptr<_W2> __b) {
  122. return std::less<typename std::common_type<_W1*, _W2*>::type>()(__a.get(), __b.get());
  123. }
  124. template <class _W1, class _W2>
  125. _LIBCPP_HIDE_FROM_ABI bool operator>(observer_ptr<_W1> __a, observer_ptr<_W2> __b) {
  126. return __b < __a;
  127. }
  128. template <class _W1, class _W2>
  129. _LIBCPP_HIDE_FROM_ABI bool operator<=(observer_ptr<_W1> __a, observer_ptr<_W2> __b) {
  130. return !(__a > __b);
  131. }
  132. template <class _W1, class _W2>
  133. _LIBCPP_HIDE_FROM_ABI bool operator>=(observer_ptr<_W1> __a, observer_ptr<_W2> __b) {
  134. return !(__a < __b);
  135. }
  136. # endif // _LIBCPP_STD_VER >= 17
  137. _LIBCPP_END_NAMESPACE_LFTS_V2
  138. _LIBCPP_BEGIN_NAMESPACE_STD
  139. // hash
  140. # if _LIBCPP_STD_VER >= 17
  141. template <class _Tp>
  142. struct hash<experimental::observer_ptr<_Tp>> {
  143. _LIBCPP_HIDE_FROM_ABI size_t operator()(const experimental::observer_ptr<_Tp>& __ptr) const noexcept {
  144. return hash<_Tp*>()(__ptr.get());
  145. }
  146. };
  147. # endif // _LIBCPP_STD_VER >= 17
  148. _LIBCPP_END_NAMESPACE_STD
  149. #endif // _LIBCPP_ENABLE_EXPERIMENTAL
  150. #endif /* _LIBCPP_EXPERIMENTAL_MEMORY */