]>
Commit | Line | Data |
---|---|---|
52066eae | 1 | // { dg-do run { target c++14 } } |
930d5602 | 2 | |
7adcbafe | 3 | // Copyright (C) 2015-2022 Free Software Foundation, Inc. |
930d5602 FY |
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 | // You should have received a copy of the GNU General Public License along | |
17 | // with this library; see the file COPYING3. If not see | |
18 | // <http://www.gnu.org/licenses/>. | |
19 | ||
20 | // 8.2.1 Class template shared_ptr [memory.smartptr.shared] | |
21 | ||
22 | #include <experimental/memory> | |
23 | #include <testsuite_hooks.h> | |
24 | ||
25 | int destroyed = 0; | |
26 | ||
27 | struct A : std::experimental::enable_shared_from_this<A> | |
28 | { | |
84870b6b | 29 | ~A() { ++destroyed; } |
930d5602 FY |
30 | }; |
31 | ||
a04df2ba JW |
32 | struct B : A { }; |
33 | ||
930d5602 FY |
34 | // 8.2.1.1 shared_ptr constructors [memory.smartptr.shared.const] |
35 | ||
36 | // Construction from unique_ptr<A[]> | |
37 | ||
a04df2ba JW |
38 | template<typename From, typename To> |
39 | constexpr bool constructible() | |
40 | { | |
41 | using std::experimental::shared_ptr; | |
42 | using std::experimental::is_constructible_v; | |
43 | using std::unique_ptr; | |
44 | return is_constructible_v<shared_ptr<To>, unique_ptr<From>>; | |
45 | } | |
46 | ||
47 | static_assert( constructible< A, A >(), "A -> A compatible" ); | |
48 | static_assert( !constructible< A, A[] >(), "A -> A[] not compatible" ); | |
49 | static_assert( !constructible< A, A[1] >(), "A -> A[1] not compatible" ); | |
50 | static_assert( !constructible< A[], A >(), "A[] -> A not compatible" ); | |
51 | static_assert( constructible< A[], A[] >(), "A[] -> A[] compatible" ); | |
52 | static_assert( !constructible< A[], A[1] >(), "A[] -> A[1] not compatible" ); | |
53 | ||
54 | static_assert( constructible< B, A >(), "B -> A compatible" ); | |
55 | static_assert( !constructible< B, A[] >(), "B -> A[] not compatible" ); | |
56 | static_assert( !constructible< B, A[1] >(), "B -> A[1] not compatible" ); | |
57 | static_assert( !constructible< B[], A >(), "B[] -> A not compatible" ); | |
58 | static_assert( !constructible< B[], A[] >(), "B[] -> A[] not compatible" ); | |
59 | static_assert( !constructible< B[], A[1] >(), "B[2] -> A[1] not compatible" ); | |
60 | ||
84870b6b | 61 | void |
930d5602 FY |
62 | test01() |
63 | { | |
84870b6b | 64 | std::unique_ptr<A> up(new A); |
930d5602 FY |
65 | std::experimental::shared_ptr<A> sp(std::move(up)); |
66 | VERIFY( up.get() == 0 ); | |
67 | VERIFY( sp.get() != 0 ); | |
68 | VERIFY( sp.use_count() == 1 ); | |
69 | ||
70 | VERIFY( sp->shared_from_this() != nullptr ); | |
71 | ||
72 | sp.reset(); | |
84870b6b JW |
73 | VERIFY( destroyed == 1 ); |
74 | destroyed = 0; | |
75 | } | |
930d5602 | 76 | |
84870b6b JW |
77 | void |
78 | test02() | |
79 | { | |
80 | std::unique_ptr<A[]> up(new A[5]); | |
81 | std::experimental::shared_ptr<A[]> sp(std::move(up)); | |
82 | VERIFY( up.get() == 0 ); | |
83 | VERIFY( sp.get() != 0 ); | |
84 | VERIFY( sp.use_count() == 1 ); | |
85 | ||
f3070dab JW |
86 | bool caught = false; |
87 | try | |
88 | { | |
89 | sp[0].shared_from_this(); // should not be set for arrays | |
90 | } | |
91 | catch (const std::bad_weak_ptr&) | |
92 | { | |
93 | caught = true; | |
94 | } | |
95 | VERIFY( caught ); | |
84870b6b JW |
96 | |
97 | sp.reset(); | |
98 | VERIFY( destroyed == 5 ); | |
930d5602 FY |
99 | } |
100 | ||
101 | int | |
102 | main() | |
103 | { | |
104 | test01(); | |
84870b6b | 105 | test02(); |
930d5602 | 106 | } |