10
10
#ifndef _LIBCPP___MEMORY_UNIQUE_PTR_H
11
11
#define _LIBCPP___MEMORY_UNIQUE_PTR_H
12
12
13
- #include < __assert>
14
13
#include < __compare/compare_three_way.h>
15
14
#include < __compare/compare_three_way_result.h>
16
15
#include < __compare/three_way_comparable.h>
17
16
#include < __config>
18
17
#include < __functional/hash.h>
19
18
#include < __functional/operations.h>
20
19
#include < __memory/allocator_traits.h> // __pointer
21
- #include < __memory/array_cookie.h>
22
20
#include < __memory/auto_ptr.h>
23
21
#include < __memory/compressed_pair.h>
24
- #include < __memory/pointer_traits.h>
25
22
#include < __type_traits/add_lvalue_reference.h>
26
23
#include < __type_traits/common_type.h>
27
24
#include < __type_traits/conditional.h>
30
27
#include < __type_traits/integral_constant.h>
31
28
#include < __type_traits/is_array.h>
32
29
#include < __type_traits/is_assignable.h>
33
- #include < __type_traits/is_constant_evaluated.h>
34
30
#include < __type_traits/is_constructible.h>
35
31
#include < __type_traits/is_convertible.h>
36
32
#include < __type_traits/is_function.h>
45
41
#include < __utility/declval.h>
46
42
#include < __utility/forward.h>
47
43
#include < __utility/move.h>
48
- #include < __utility/private_constructor_tag.h>
49
44
#include < cstddef>
50
- #include < cstdint>
51
45
52
46
#if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
53
47
# pragma GCC system_header
@@ -298,91 +292,6 @@ class _LIBCPP_UNIQUE_PTR_TRIVIAL_ABI _LIBCPP_TEMPLATE_VIS unique_ptr {
298
292
}
299
293
};
300
294
301
- // Bounds checking in unique_ptr<T[]>
302
- // ==================================
303
- //
304
- // We provide some helper classes that allow bounds checking when accessing a unique_ptr<T[]>.
305
- // There are a few cases where bounds checking can be implemented:
306
- //
307
- // 1. When an array cookie (see [1]) exists at the beginning of the array allocation, we are
308
- // able to reuse that cookie to extract the size of the array and perform bounds checking.
309
- // An array cookie is a size inserted at the beginning of the allocation by the compiler.
310
- // That size is inserted implicitly when doing `new T[n]` in some cases, and its purpose
311
- // is to allow the runtime to destroy the `n` array elements when doing `delete array`.
312
- // When we are able to use array cookies, we reuse information already available in the
313
- // current runtime, so bounds checking does not require changing libc++'s ABI.
314
- //
315
- // 2. When the "bounded unique_ptr" ABI configuration (controlled by `_LIBCPP_ABI_BOUNDED_UNIQUE_PTR`)
316
- // is enabled, we store the size of the allocation (when it is known) so we can check it when
317
- // indexing into the `unique_ptr`. That changes the layout of `std::unique_ptr<T[]>`, which is
318
- // an ABI break from the default configuration.
319
- //
320
- // Note that even under this ABI configuration, we can't always know the size of the unique_ptr.
321
- // Indeed, the size of the allocation can only be known when the unique_ptr is created via
322
- // make_unique or a similar API. For example, it can't be known when constructed from an arbitrary
323
- // pointer, in which case we are not able to check the bounds on access:
324
- //
325
- // unique_ptr<T[], MyDeleter> ptr(new T[3]);
326
- //
327
- // When we don't know the size of the allocation via the API used to create the unique_ptr, we
328
- // try to fall back to using an array cookie when available.
329
- //
330
- // Finally, note that when this ABI configuration is enabled, we have no choice but to always
331
- // make space for a size to be stored in the unique_ptr. Indeed, while we might want to avoid
332
- // storing the size when an array cookie is available, knowing whether an array cookie is available
333
- // requires the type stored in the unique_ptr to be complete, while unique_ptr can normally
334
- // accommodate incomplete types.
335
- //
336
- // (1) Implementation where we rely on the array cookie to know the size of the allocation, if
337
- // an array cookie exists.
338
- struct __unique_ptr_array_bounds_stateless {
339
- __unique_ptr_array_bounds_stateless () = default ;
340
- _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR explicit __unique_ptr_array_bounds_stateless (size_t ) {}
341
-
342
- template <class _Tp , __enable_if_t <__has_array_cookie<_Tp>::value, int > = 0 >
343
- _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR bool __in_bounds (_Tp* __ptr, size_t __index) const {
344
- // In constant expressions, we can't check the array cookie so we just pretend that the index
345
- // is in-bounds. The compiler catches invalid accesses anyway.
346
- if (__libcpp_is_constant_evaluated ())
347
- return true ;
348
- size_t __cookie = std::__get_array_cookie (__ptr);
349
- return __index < __cookie;
350
- }
351
-
352
- template <class _Tp , __enable_if_t <!__has_array_cookie<_Tp>::value, int > = 0 >
353
- _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR bool __in_bounds (_Tp*, size_t ) const {
354
- return true ; // If we don't have an array cookie, we assume the access is in-bounds
355
- }
356
- };
357
-
358
- // (2) Implementation where we store the size in the class whenever we have it.
359
- //
360
- // Semantically, we'd need to store the size as an optional<size_t>. However, since that
361
- // is really heavy weight, we instead store a size_t and use SIZE_MAX as a magic value
362
- // meaning that we don't know the size.
363
- struct __unique_ptr_array_bounds_stored {
364
- _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR __unique_ptr_array_bounds_stored () : __size_(SIZE_MAX) {}
365
- _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR explicit __unique_ptr_array_bounds_stored (size_t __size) : __size_(__size) {}
366
-
367
- // Use the array cookie if there's one
368
- template <class _Tp , __enable_if_t <__has_array_cookie<_Tp>::value, int > = 0 >
369
- _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR bool __in_bounds (_Tp* __ptr, size_t __index) const {
370
- if (__libcpp_is_constant_evaluated ())
371
- return true ;
372
- size_t __cookie = std::__get_array_cookie (__ptr);
373
- return __index < __cookie;
374
- }
375
-
376
- // Otherwise, fall back on the stored size (if any)
377
- template <class _Tp , __enable_if_t <!__has_array_cookie<_Tp>::value, int > = 0 >
378
- _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR bool __in_bounds (_Tp*, size_t __index) const {
379
- return __index < __size_;
380
- }
381
-
382
- private:
383
- size_t __size_;
384
- };
385
-
386
295
template <class _Tp , class _Dp >
387
296
class _LIBCPP_UNIQUE_PTR_TRIVIAL_ABI _LIBCPP_TEMPLATE_VIS unique_ptr<_Tp[], _Dp> {
388
297
public:
@@ -391,9 +300,8 @@ class _LIBCPP_UNIQUE_PTR_TRIVIAL_ABI _LIBCPP_TEMPLATE_VIS unique_ptr<_Tp[], _Dp>
391
300
typedef typename __pointer<_Tp, deleter_type>::type pointer;
392
301
393
302
// A unique_ptr contains the following members which may be trivially relocatable:
394
- // - pointer: this may be trivially relocatable, so it's checked
303
+ // - pointer : this may be trivially relocatable, so it's checked
395
304
// - deleter_type: this may be trivially relocatable, so it's checked
396
- // - (optionally) size: this is trivially relocatable
397
305
//
398
306
// This unique_ptr implementation only contains a pointer to the unique object and a deleter, so there are no
399
307
// references to itself. This means that the entire structure is trivially relocatable if its members are.
@@ -403,16 +311,7 @@ class _LIBCPP_UNIQUE_PTR_TRIVIAL_ABI _LIBCPP_TEMPLATE_VIS unique_ptr<_Tp[], _Dp>
403
311
void >;
404
312
405
313
private:
406
- template <class _Up , class _OtherDeleter >
407
- friend class unique_ptr ;
408
-
409
314
_LIBCPP_COMPRESSED_PAIR (pointer, __ptr_, deleter_type, __deleter_);
410
- #ifdef _LIBCPP_ABI_BOUNDED_UNIQUE_PTR
411
- using _BoundsChecker = __unique_ptr_array_bounds_stored;
412
- #else
413
- using _BoundsChecker = __unique_ptr_array_bounds_stateless;
414
- #endif
415
- _LIBCPP_NO_UNIQUE_ADDRESS _BoundsChecker __checker_;
416
315
417
316
template <class _From >
418
317
struct _CheckArrayPointerConversion : is_same<_From, pointer> {};
@@ -474,12 +373,6 @@ class _LIBCPP_UNIQUE_PTR_TRIVIAL_ABI _LIBCPP_TEMPLATE_VIS unique_ptr<_Tp[], _Dp>
474
373
: __ptr_(__p),
475
374
__deleter_() {}
476
375
477
- // Private constructor used by make_unique & friends to pass the size that was allocated
478
- template <class _Tag , class _Ptr , __enable_if_t <is_same<_Tag, __private_constructor_tag>::value, int > = 0 >
479
- _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR_SINCE_CXX23 explicit unique_ptr (_Tag, _Ptr __ptr, size_t __size) _NOEXCEPT
480
- : __ptr_(__ptr),
481
- __checker_(__size) {}
482
-
483
376
template <class _Pp ,
484
377
bool _Dummy = true ,
485
378
class = _EnableIfDeleterConstructible<_LValRefType<_Dummy> >,
@@ -518,13 +411,11 @@ class _LIBCPP_UNIQUE_PTR_TRIVIAL_ABI _LIBCPP_TEMPLATE_VIS unique_ptr<_Tp[], _Dp>
518
411
519
412
_LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR_SINCE_CXX23 unique_ptr (unique_ptr&& __u) _NOEXCEPT
520
413
: __ptr_(__u.release()),
521
- __deleter_(std::forward<deleter_type>(__u.get_deleter())),
522
- __checker_(std::move(__u.__checker_)) {}
414
+ __deleter_(std::forward<deleter_type>(__u.get_deleter())) {}
523
415
524
416
_LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR_SINCE_CXX23 unique_ptr& operator =(unique_ptr&& __u) _NOEXCEPT {
525
417
reset (__u.release ());
526
418
__deleter_ = std::forward<deleter_type>(__u.get_deleter ());
527
- __checker_ = std::move (std::move (__u.__checker_ ));
528
419
return *this ;
529
420
}
530
421
@@ -534,8 +425,7 @@ class _LIBCPP_UNIQUE_PTR_TRIVIAL_ABI _LIBCPP_TEMPLATE_VIS unique_ptr<_Tp[], _Dp>
534
425
class = _EnableIfDeleterConvertible<_Ep> >
535
426
_LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR_SINCE_CXX23 unique_ptr (unique_ptr<_Up, _Ep>&& __u) _NOEXCEPT
536
427
: __ptr_(__u.release()),
537
- __deleter_(std::forward<_Ep>(__u.get_deleter())),
538
- __checker_(std::move(__u.__checker_)) {}
428
+ __deleter_(std::forward<_Ep>(__u.get_deleter())) {}
539
429
540
430
template <class _Up ,
541
431
class _Ep ,
@@ -544,7 +434,6 @@ class _LIBCPP_UNIQUE_PTR_TRIVIAL_ABI _LIBCPP_TEMPLATE_VIS unique_ptr<_Tp[], _Dp>
544
434
_LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR_SINCE_CXX23 unique_ptr& operator =(unique_ptr<_Up, _Ep>&& __u) _NOEXCEPT {
545
435
reset (__u.release ());
546
436
__deleter_ = std::forward<_Ep>(__u.get_deleter ());
547
- __checker_ = std::move (__u.__checker_ );
548
437
return *this ;
549
438
}
550
439
@@ -562,8 +451,6 @@ class _LIBCPP_UNIQUE_PTR_TRIVIAL_ABI _LIBCPP_TEMPLATE_VIS unique_ptr<_Tp[], _Dp>
562
451
}
563
452
564
453
_LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR_SINCE_CXX23 __add_lvalue_reference_t <_Tp> operator [](size_t __i) const {
565
- _LIBCPP_ASSERT_VALID_ELEMENT_ACCESS (__checker_.__in_bounds (std::__to_address (__ptr_), __i),
566
- " unique_ptr<T[]>::operator[](index): index out of range" );
567
454
return __ptr_[__i];
568
455
}
569
456
_LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR_SINCE_CXX23 pointer get () const _NOEXCEPT { return __ptr_; }
@@ -580,24 +467,20 @@ class _LIBCPP_UNIQUE_PTR_TRIVIAL_ABI _LIBCPP_TEMPLATE_VIS unique_ptr<_Tp[], _Dp>
580
467
_LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR_SINCE_CXX23 pointer release () _NOEXCEPT {
581
468
pointer __t = __ptr_;
582
469
__ptr_ = pointer ();
583
- // The deleter and the optional bounds-checker are left unchanged. The bounds-checker
584
- // will be reinitialized appropriately when/if the unique_ptr gets assigned-to or reset.
585
470
return __t ;
586
471
}
587
472
588
473
template <class _Pp , __enable_if_t <_CheckArrayPointerConversion<_Pp>::value, int > = 0 >
589
474
_LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR_SINCE_CXX23 void reset (_Pp __p) _NOEXCEPT {
590
475
pointer __tmp = __ptr_;
591
476
__ptr_ = __p;
592
- __checker_ = _BoundsChecker ();
593
477
if (__tmp)
594
478
__deleter_ (__tmp);
595
479
}
596
480
597
481
_LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR_SINCE_CXX23 void reset (nullptr_t = nullptr ) _NOEXCEPT {
598
482
pointer __tmp = __ptr_;
599
483
__ptr_ = nullptr ;
600
- __checker_ = _BoundsChecker ();
601
484
if (__tmp)
602
485
__deleter_ (__tmp);
603
486
}
@@ -606,7 +489,6 @@ class _LIBCPP_UNIQUE_PTR_TRIVIAL_ABI _LIBCPP_TEMPLATE_VIS unique_ptr<_Tp[], _Dp>
606
489
using std::swap;
607
490
swap (__ptr_, __u.__ptr_ );
608
491
swap (__deleter_, __u.__deleter_ );
609
- swap (__checker_, __u.__checker_ );
610
492
}
611
493
};
612
494
@@ -763,7 +645,7 @@ template <class _Tp>
763
645
inline _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR_SINCE_CXX23 typename __unique_if<_Tp>::__unique_array_unknown_bound
764
646
make_unique (size_t __n) {
765
647
typedef __remove_extent_t <_Tp> _Up;
766
- return unique_ptr<_Tp>(__private_constructor_tag (), new _Up[__n](), __n );
648
+ return unique_ptr<_Tp>(new _Up[__n]());
767
649
}
768
650
769
651
template <class _Tp , class ... _Args>
@@ -782,7 +664,7 @@ make_unique_for_overwrite() {
782
664
template <class _Tp >
783
665
_LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR_SINCE_CXX23 typename __unique_if<_Tp>::__unique_array_unknown_bound
784
666
make_unique_for_overwrite (size_t __n) {
785
- return unique_ptr<_Tp>(__private_constructor_tag (), new __remove_extent_t <_Tp>[__n], __n );
667
+ return unique_ptr<_Tp>(new __remove_extent_t <_Tp>[__n]);
786
668
}
787
669
788
670
template <class _Tp , class ... _Args>
0 commit comments