1 // Allocator that wraps operator new -*- C++ -*- 2 3 // Copyright (C) 2001-2020 Free Software Foundation, Inc. 4 // 5 // This file is part of the GNU ISO C++ Library. This library is free 6 // software; you can redistribute it and/or modify it under the 7 // terms of the GNU General Public License as published by the 8 // Free Software Foundation; either version 3, or (at your option) 9 // any later version. 10 11 // This library is distributed in the hope that it will be useful, 12 // but WITHOUT ANY WARRANTY; without even the implied warranty of 13 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 14 // GNU General Public License for more details. 15 16 // Under Section 7 of GPL version 3, you are granted additional 17 // permissions described in the GCC Runtime Library Exception, version 18 // 3.1, as published by the Free Software Foundation. 19 20 // You should have received a copy of the GNU General Public License and 21 // a copy of the GCC Runtime Library Exception along with this program; 22 // see the files COPYING3 and COPYING.RUNTIME respectively. If not, see 23 // <http://www.gnu.org/licenses/>. 24 25 /** @file ext/new_allocator.h 26 * This file is a GNU extension to the Standard C++ Library. 27 */ 28 29 #ifndef _NEW_ALLOCATOR_H 30 #define _NEW_ALLOCATOR_H 1 31 32 #include <bits/c++config.h> 33 #include <new> 34 #include <bits/functexcept.h> 35 #include <bits/move.h> 36 #if __cplusplus >= 201103L 37 #include <type_traits> 38 #endif 39 40 namespace __gnu_cxx _GLIBCXX_VISIBILITY(default) 41 { 42 _GLIBCXX_BEGIN_NAMESPACE_VERSION 43 44 /** 45 * @brief An allocator that uses global new, as per [20.4]. 46 * @ingroup allocators 47 * 48 * This is precisely the allocator defined in the C++ Standard. 49 * - all allocation calls operator new 50 * - all deallocation calls operator delete 51 * 52 * @tparam _Tp Type of allocated object. 53 */ 54 template<typename _Tp> 55 class new_allocator 56 { 57 public: 58 typedef _Tp value_type; 59 typedef std::size_t size_type; 60 typedef std::ptrdiff_t difference_type; 61 #if __cplusplus <= 201703L 62 typedef _Tp* pointer; 63 typedef const _Tp* const_pointer; 64 typedef _Tp& reference; 65 typedef const _Tp& const_reference; 66 67 template<typename _Tp1> 68 struct rebind 69 { typedef new_allocator<_Tp1> other; }; 70 #endif 71 72 #if __cplusplus >= 201103L 73 // _GLIBCXX_RESOLVE_LIB_DEFECTS 74 // 2103. propagate_on_container_move_assignment 75 typedef std::true_type propagate_on_container_move_assignment; 76 #endif 77 78 _GLIBCXX20_CONSTEXPR 79 new_allocator() _GLIBCXX_USE_NOEXCEPT { } 80 81 _GLIBCXX20_CONSTEXPR 82 new_allocator(const new_allocator&) _GLIBCXX_USE_NOEXCEPT { } 83 84 template<typename _Tp1> 85 _GLIBCXX20_CONSTEXPR 86 new_allocator(const new_allocator<_Tp1>&) _GLIBCXX_USE_NOEXCEPT { } 87 88 #if __cplusplus <= 201703L 89 ~new_allocator() _GLIBCXX_USE_NOEXCEPT { } 90 91 pointer 92 address(reference __x) const _GLIBCXX_NOEXCEPT 93 { return std::__addressof(__x); } 94 95 const_pointer 96 address(const_reference __x) const _GLIBCXX_NOEXCEPT 97 { return std::__addressof(__x); } 98 #endif 99 100 // NB: __n is permitted to be 0. The C++ standard says nothing 101 // about what the return value is when __n == 0. 102 _GLIBCXX_NODISCARD _Tp* 103 allocate(size_type __n, const void* = static_cast<const void*>(0)) 104 { 105 if (__n > this->_M_max_size()) 106 std::__throw_bad_alloc(); 107 108 #if __cpp_aligned_new 109 if (alignof(_Tp) > __STDCPP_DEFAULT_NEW_ALIGNMENT__) 110 { 111 std::align_val_t __al = std::align_val_t(alignof(_Tp)); 112 return static_cast<_Tp*>(::operator new(__n * sizeof(_Tp), __al)); 113 } 114 #endif 115 return static_cast<_Tp*>(::operator new(__n * sizeof(_Tp))); 116 } 117 118 // __p is not permitted to be a null pointer. 119 void 120 deallocate(_Tp* __p, size_type __t) 121 { 122 #if __cpp_aligned_new 123 if (alignof(_Tp) > __STDCPP_DEFAULT_NEW_ALIGNMENT__) 124 { 125 ::operator delete(__p, 126 # if __cpp_sized_deallocation 127 __t * sizeof(_Tp), 128 # endif 129 std::align_val_t(alignof(_Tp))); 130 return; 131 } 132 #endif 133 ::operator delete(__p 134 #if __cpp_sized_deallocation 135 , __t * sizeof(_Tp) 136 #endif 137 ); 138 } 139 140 #if __cplusplus <= 201703L 141 size_type 142 max_size() const _GLIBCXX_USE_NOEXCEPT 143 { return _M_max_size(); } 144 145 #if __cplusplus >= 201103L 146 template<typename _Up, typename... _Args> 147 void 148 construct(_Up* __p, _Args&&... __args) 149 noexcept(std::is_nothrow_constructible<_Up, _Args...>::value) 150 { ::new((void *)__p) _Up(std::forward<_Args>(__args)...); } 151 152 template<typename _Up> 153 void 154 destroy(_Up* __p) 155 noexcept(std::is_nothrow_destructible<_Up>::value) 156 { __p->~_Up(); } 157 #else 158 // _GLIBCXX_RESOLVE_LIB_DEFECTS 159 // 402. wrong new expression in [some_] allocator::construct 160 void 161 construct(pointer __p, const _Tp& __val) 162 { ::new((void *)__p) _Tp(__val); } 163 164 void 165 destroy(pointer __p) { __p->~_Tp(); } 166 #endif 167 #endif // ! C++20 168 169 template<typename _Up> 170 friend _GLIBCXX20_CONSTEXPR bool 171 operator==(const new_allocator&, const new_allocator<_Up>&) 172 _GLIBCXX_NOTHROW 173 { return true; } 174 175 #if __cpp_impl_three_way_comparison < 201907L 176 template<typename _Up> 177 friend _GLIBCXX20_CONSTEXPR bool 178 operator!=(const new_allocator&, const new_allocator<_Up>&) 179 _GLIBCXX_NOTHROW 180 { return false; } 181 #endif 182 183 private: 184 _GLIBCXX_CONSTEXPR size_type 185 _M_max_size() const _GLIBCXX_USE_NOEXCEPT 186 { 187 #if __PTRDIFF_MAX__ < __SIZE_MAX__ 188 return std::size_t(__PTRDIFF_MAX__) / sizeof(_Tp); 189 #else 190 return std::size_t(-1) / sizeof(_Tp); 191 #endif 192 } 193 }; 194 195 _GLIBCXX_END_NAMESPACE_VERSION 196 } // namespace 197 198 #endif 199