blob: 8b00feb93772c081fbf5435a7a53042f782282dd [file] [log] [blame]
Marshall Clow354d39c2014-01-16 16:58:45 +00001//===----------------------------------------------------------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is dual licensed under the MIT and the University of Illinois Open
6// Source Licenses. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
Howard Hinnant3e519522010-05-11 19:42:16 +000010#ifndef TEST_ALLOCATOR_H
11#define TEST_ALLOCATOR_H
12
13#include <cstddef>
14#include <type_traits>
15#include <cstdlib>
16#include <new>
17#include <climits>
Marshall Clowc3deeb52013-12-03 00:18:10 +000018#include <cassert>
Howard Hinnant3e519522010-05-11 19:42:16 +000019
Marshall Clowcbf166a2015-06-03 19:56:43 +000020#include "test_macros.h"
21
Howard Hinnant3e519522010-05-11 19:42:16 +000022class test_alloc_base
23{
24protected:
Marshall Clowc3deeb52013-12-03 00:18:10 +000025 static int time_to_throw;
Howard Hinnant3e519522010-05-11 19:42:16 +000026public:
27 static int throw_after;
Marshall Clowc3deeb52013-12-03 00:18:10 +000028 static int count;
29 static int alloc_count;
Howard Hinnant3e519522010-05-11 19:42:16 +000030};
31
32int test_alloc_base::count = 0;
Marshall Clowc3deeb52013-12-03 00:18:10 +000033int test_alloc_base::time_to_throw = 0;
34int test_alloc_base::alloc_count = 0;
Howard Hinnant3e519522010-05-11 19:42:16 +000035int test_alloc_base::throw_after = INT_MAX;
36
37template <class T>
38class test_allocator
39 : public test_alloc_base
40{
41 int data_;
42
43 template <class U> friend class test_allocator;
44public:
45
46 typedef unsigned size_type;
47 typedef int difference_type;
48 typedef T value_type;
49 typedef value_type* pointer;
50 typedef const value_type* const_pointer;
51 typedef typename std::add_lvalue_reference<value_type>::type reference;
52 typedef typename std::add_lvalue_reference<const value_type>::type const_reference;
53
54 template <class U> struct rebind {typedef test_allocator<U> other;};
55
Marshall Clowc3deeb52013-12-03 00:18:10 +000056 test_allocator() throw() : data_(0) {++count;}
57 explicit test_allocator(int i) throw() : data_(i) {++count;}
Howard Hinnant3e519522010-05-11 19:42:16 +000058 test_allocator(const test_allocator& a) throw()
Marshall Clowc3deeb52013-12-03 00:18:10 +000059 : data_(a.data_) {++count;}
Howard Hinnant3e519522010-05-11 19:42:16 +000060 template <class U> test_allocator(const test_allocator<U>& a) throw()
Marshall Clowc3deeb52013-12-03 00:18:10 +000061 : data_(a.data_) {++count;}
62 ~test_allocator() throw() {assert(data_ >= 0); --count; data_ = -1;}
Howard Hinnant3e519522010-05-11 19:42:16 +000063 pointer address(reference x) const {return &x;}
64 const_pointer address(const_reference x) const {return &x;}
65 pointer allocate(size_type n, const void* = 0)
66 {
Marshall Clowc3deeb52013-12-03 00:18:10 +000067 assert(data_ >= 0);
68 if (time_to_throw >= throw_after) {
Howard Hinnant65a87cc2013-03-23 17:27:16 +000069#ifndef _LIBCPP_NO_EXCEPTIONS
Howard Hinnant3e519522010-05-11 19:42:16 +000070 throw std::bad_alloc();
Howard Hinnant65a87cc2013-03-23 17:27:16 +000071#else
72 std::terminate();
73#endif
74 }
Marshall Clowc3deeb52013-12-03 00:18:10 +000075 ++time_to_throw;
76 ++alloc_count;
Eric Fiselierb11df182015-06-14 23:30:09 +000077 return (pointer)::operator new(n * sizeof(T));
Howard Hinnant3e519522010-05-11 19:42:16 +000078 }
Eric Fiselier7626f772016-04-28 03:17:56 +000079 void deallocate(pointer p, size_type)
Eric Fiselierb11df182015-06-14 23:30:09 +000080 {assert(data_ >= 0); --alloc_count; ::operator delete((void*)p);}
Howard Hinnant3e519522010-05-11 19:42:16 +000081 size_type max_size() const throw()
82 {return UINT_MAX / sizeof(T);}
Eric Fiselier4fae5022016-06-15 01:53:32 +000083#if TEST_STD_VER < 11
Howard Hinnant3e519522010-05-11 19:42:16 +000084 void construct(pointer p, const T& val)
Eric Fiselier4fae5022016-06-15 01:53:32 +000085 {::new(static_cast<void*>(p)) T(val);}
86#else
87 template <class U> void construct(pointer p, U&& val)
88 {::new(static_cast<void*>(p)) T(std::forward<U>(val));}
89#endif
Eric Fiselier408d6eb2016-06-22 01:02:08 +000090 void destroy(pointer p)
91 {
92 p->~T();
93 ((void)p); // Prevent MSVC's spurious unused warning
94 }
Howard Hinnant3e519522010-05-11 19:42:16 +000095 friend bool operator==(const test_allocator& x, const test_allocator& y)
96 {return x.data_ == y.data_;}
97 friend bool operator!=(const test_allocator& x, const test_allocator& y)
98 {return !(x == y);}
99};
100
Marshall Clow5f7c2db2014-04-18 17:23:36 +0000101template <class T>
102class non_default_test_allocator
103 : public test_alloc_base
104{
105 int data_;
106
107 template <class U> friend class non_default_test_allocator;
108public:
109
110 typedef unsigned size_type;
111 typedef int difference_type;
112 typedef T value_type;
113 typedef value_type* pointer;
114 typedef const value_type* const_pointer;
115 typedef typename std::add_lvalue_reference<value_type>::type reference;
116 typedef typename std::add_lvalue_reference<const value_type>::type const_reference;
117
118 template <class U> struct rebind {typedef non_default_test_allocator<U> other;};
119
120// non_default_test_allocator() throw() : data_(0) {++count;}
121 explicit non_default_test_allocator(int i) throw() : data_(i) {++count;}
122 non_default_test_allocator(const non_default_test_allocator& a) throw()
123 : data_(a.data_) {++count;}
124 template <class U> non_default_test_allocator(const non_default_test_allocator<U>& a) throw()
125 : data_(a.data_) {++count;}
126 ~non_default_test_allocator() throw() {assert(data_ >= 0); --count; data_ = -1;}
127 pointer address(reference x) const {return &x;}
128 const_pointer address(const_reference x) const {return &x;}
129 pointer allocate(size_type n, const void* = 0)
130 {
131 assert(data_ >= 0);
132 if (time_to_throw >= throw_after) {
133#ifndef _LIBCPP_NO_EXCEPTIONS
134 throw std::bad_alloc();
135#else
136 std::terminate();
137#endif
138 }
139 ++time_to_throw;
140 ++alloc_count;
Eric Fiselierb11df182015-06-14 23:30:09 +0000141 return (pointer)::operator new (n * sizeof(T));
Marshall Clow5f7c2db2014-04-18 17:23:36 +0000142 }
Eric Fiselier7626f772016-04-28 03:17:56 +0000143 void deallocate(pointer p, size_type)
Eric Fiselierb11df182015-06-14 23:30:09 +0000144 {assert(data_ >= 0); --alloc_count; ::operator delete((void*)p); }
Marshall Clow5f7c2db2014-04-18 17:23:36 +0000145 size_type max_size() const throw()
146 {return UINT_MAX / sizeof(T);}
Eric Fiselier4fae5022016-06-15 01:53:32 +0000147#if TEST_STD_VER < 11
Marshall Clow5f7c2db2014-04-18 17:23:36 +0000148 void construct(pointer p, const T& val)
Eric Fiselier4fae5022016-06-15 01:53:32 +0000149 {::new(static_cast<void*>(p)) T(val);}
150#else
151 template <class U> void construct(pointer p, U&& val)
152 {::new(static_cast<void*>(p)) T(std::forward<U>(val));}
153#endif
Marshall Clow5f7c2db2014-04-18 17:23:36 +0000154 void destroy(pointer p) {p->~T();}
155
156 friend bool operator==(const non_default_test_allocator& x, const non_default_test_allocator& y)
157 {return x.data_ == y.data_;}
158 friend bool operator!=(const non_default_test_allocator& x, const non_default_test_allocator& y)
159 {return !(x == y);}
160};
161
Marshall Clowc3deeb52013-12-03 00:18:10 +0000162template <>
163class test_allocator<void>
164 : public test_alloc_base
165{
166 int data_;
167
168 template <class U> friend class test_allocator;
169public:
170
171 typedef unsigned size_type;
172 typedef int difference_type;
173 typedef void value_type;
174 typedef value_type* pointer;
175 typedef const value_type* const_pointer;
176
177 template <class U> struct rebind {typedef test_allocator<U> other;};
178
Eric Fiselierfc8e8c02015-08-28 05:00:25 +0000179 test_allocator() throw() : data_(0) {}
Marshall Clowc3deeb52013-12-03 00:18:10 +0000180 explicit test_allocator(int i) throw() : data_(i) {}
181 test_allocator(const test_allocator& a) throw()
182 : data_(a.data_) {}
183 template <class U> test_allocator(const test_allocator<U>& a) throw()
184 : data_(a.data_) {}
Eric Fiselierfc8e8c02015-08-28 05:00:25 +0000185 ~test_allocator() throw() {data_ = -1;}
Marshall Clowc3deeb52013-12-03 00:18:10 +0000186
187 friend bool operator==(const test_allocator& x, const test_allocator& y)
188 {return x.data_ == y.data_;}
189 friend bool operator!=(const test_allocator& x, const test_allocator& y)
190 {return !(x == y);}
191};
192
Howard Hinnant3e519522010-05-11 19:42:16 +0000193template <class T>
194class other_allocator
195{
196 int data_;
197
198 template <class U> friend class other_allocator;
199
200public:
201 typedef T value_type;
202
203 other_allocator() : data_(-1) {}
204 explicit other_allocator(int i) : data_(i) {}
205 template <class U> other_allocator(const other_allocator<U>& a)
206 : data_(a.data_) {}
207 T* allocate(std::size_t n)
Eric Fiselierb11df182015-06-14 23:30:09 +0000208 {return (T*)::operator new(n * sizeof(T));}
Eric Fiselier7626f772016-04-28 03:17:56 +0000209 void deallocate(T* p, std::size_t)
Eric Fiselierb11df182015-06-14 23:30:09 +0000210 {::operator delete((void*)p);}
Howard Hinnant3e519522010-05-11 19:42:16 +0000211
212 other_allocator select_on_container_copy_construction() const
213 {return other_allocator(-2);}
214
215 friend bool operator==(const other_allocator& x, const other_allocator& y)
216 {return x.data_ == y.data_;}
217 friend bool operator!=(const other_allocator& x, const other_allocator& y)
218 {return !(x == y);}
219
220 typedef std::true_type propagate_on_container_copy_assignment;
221 typedef std::true_type propagate_on_container_move_assignment;
222 typedef std::true_type propagate_on_container_swap;
223
224#ifdef _LIBCPP_HAS_NO_ADVANCED_SFINAE
225 std::size_t max_size() const
226 {return UINT_MAX / sizeof(T);}
Howard Hinnant8f2f7e72010-08-22 00:15:28 +0000227#endif // _LIBCPP_HAS_NO_ADVANCED_SFINAE
Howard Hinnant3e519522010-05-11 19:42:16 +0000228
229};
230
Marshall Clowdc3eb832016-07-11 21:38:08 +0000231#if TEST_STD_VER >= 11
232
233struct Ctor_Tag {};
234
235template <typename T> class TaggingAllocator;
236
237struct Tag_X {
238 // All constructors must be passed the Tag type.
239
240 // DefaultInsertable into vector<X, TaggingAllocator<X>>,
241 Tag_X(Ctor_Tag) {}
242 // CopyInsertable into vector<X, TaggingAllocator<X>>,
243 Tag_X(Ctor_Tag, const Tag_X&) {}
244 // MoveInsertable into vector<X, TaggingAllocator<X>>, and
245 Tag_X(Ctor_Tag, Tag_X&&) {}
246
247 // EmplaceConstructible into vector<X, TaggingAllocator<X>> from args.
248 template<typename... Args>
249 Tag_X(Ctor_Tag, Args&&...) { }
250
251 // not DefaultConstructible, CopyConstructible or MoveConstructible.
252 Tag_X() = delete;
253 Tag_X(const Tag_X&) = delete;
254 Tag_X(Tag_X&&) = delete;
255
256 // CopyAssignable.
257 Tag_X& operator=(const Tag_X&) { return *this; }
258
259 // MoveAssignable.
260 Tag_X& operator=(Tag_X&&) { return *this; }
261
262private:
263 // Not Destructible.
264 ~Tag_X() { }
265
266 // Erasable from vector<X, TaggingAllocator<X>>.
267 friend class TaggingAllocator<Tag_X>;
268};
269
270
271template<typename T>
272class TaggingAllocator {
273public:
274 using value_type = T;
275 TaggingAllocator() = default;
276
277 template<typename U>
278 TaggingAllocator(const TaggingAllocator<U>&) { }
279
280 T* allocate(std::size_t n) { return std::allocator<T>{}.allocate(n); }
281
282 void deallocate(T* p, std::size_t n) { std::allocator<T>{}.deallocate(p, n); }
283
284 template<typename... Args>
285 void construct(Tag_X* p, Args&&... args)
286 { ::new((void*)p) Tag_X(Ctor_Tag{}, std::forward<Args>(args)...); }
287
288 template<typename U, typename... Args>
289 void construct(U* p, Args&&... args)
290 { ::new((void*)p) U(std::forward<Args>(args)...); }
291
292 template<typename U, typename... Args>
293 void destroy(U* p)
Eric Fiselier7da93bb2016-08-03 05:46:36 +0000294 {
295 p->~U();
296 ((void)p); // Prevent MSVC's spurious unused warning
297 }
Marshall Clowdc3eb832016-07-11 21:38:08 +0000298};
299
300template<typename T, typename U>
301bool
302operator==(const TaggingAllocator<T>&, const TaggingAllocator<U>&)
303{ return true; }
304
305template<typename T, typename U>
306bool
307operator!=(const TaggingAllocator<T>&, const TaggingAllocator<U>&)
308{ return false; }
309#endif
310
311
Howard Hinnant8f2f7e72010-08-22 00:15:28 +0000312#endif // TEST_ALLOCATOR_H