]>
git.ipfire.org Git - thirdparty/gcc.git/blob - libstdc++-v3/testsuite/experimental/memory/shared_ptr/cons/unique_ptr_ctor.cc
1 // { dg-do run { target c++14 } }
3 // Copyright (C) 2015-2022 Free Software Foundation, Inc.
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)
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.
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/>.
20 // 8.2.1 Class template shared_ptr [memory.smartptr.shared]
22 #include <experimental/memory>
23 #include <testsuite_hooks.h>
27 struct A
: std::experimental::enable_shared_from_this
<A
>
34 // 8.2.1.1 shared_ptr constructors [memory.smartptr.shared.const]
36 // Construction from unique_ptr<A[]>
38 template<typename From
, typename To
>
39 constexpr bool constructible()
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
>>;
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" );
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" );
64 std::unique_ptr
<A
> up(new A
);
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 );
70 VERIFY( sp
->shared_from_this() != nullptr );
73 VERIFY( destroyed
== 1 );
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 );
89 sp
[0].shared_from_this(); // should not be set for arrays
91 catch (const std::bad_weak_ptr
&)
98 VERIFY( destroyed
== 5 );