blob: 243d80aaba5ae6e9debd3338144e4cebec9cf54c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
|
// { dg-options "-std=gnu++23" }
// { dg-do compile { target c++23 } }
#include <memory>
#ifndef __cpp_lib_constexpr_memory
# error "Feature test macro for constexpr unique_ptr is missing in <memory>"
#elif __cpp_lib_constexpr_memory < 202202L
# error "Feature test macro for constexpr unique_ptr has wrong value in <memory>"
#endif
#include <testsuite_hooks.h>
constexpr bool
test_default()
{
std::unique_ptr<int> p;
std::unique_ptr<int> np(nullptr);
VERIFY( p == np );
std::unique_ptr<int[]> a;
std::unique_ptr<int[]> na(nullptr);
VERIFY( a == na );
return true;
}
static_assert( test_default() );
constexpr bool
test_ptr()
{
std::unique_ptr<int> p(new int(2));
VERIFY( *p == 2 );
std::unique_ptr<int[]> a(new int[]{0, 1, 2});
VERIFY( a[2] == 2 );
return true;
}
static_assert( test_ptr() );
constexpr bool
test_del()
{
const std::default_delete<int> pd;
std::unique_ptr<int> p1(new int(1), pd);
VERIFY( *p1 == 1 );
std::unique_ptr<int> p2(new int(2), std::default_delete<int>{});
VERIFY( *p2 == 2 );
const std::default_delete<int[]> ad;
std::unique_ptr<int[]> a1(new int[]{3, 4}, ad);
VERIFY( a1[0] == 3 );
std::unique_ptr<int[]> a2(new int[]{5, 6}, std::default_delete<int[]>{});
VERIFY( a2[1] == 6 );
return true;
}
static_assert( test_del() );
constexpr bool
test_move()
{
std::unique_ptr<int> p1(new int(2));
std::unique_ptr<int> p2 = std::move(p1);
VERIFY( *p2 == 2 );
std::unique_ptr<int[]> a1(new int[]{0, 1, 2});
std::unique_ptr<int[]> a2 = std::move(a1);
VERIFY( a2[2] == 2 );
return true;
}
static_assert( test_move() );
constexpr bool
test_convert()
{
std::unique_ptr<int> p1(new int(2));
std::unique_ptr<const int> p2 = std::move(p1);
VERIFY( *p2 == 2 );
std::unique_ptr<int[]> a1(new int[]{0, 1, 2});
std::unique_ptr<const int[]> a2 = std::move(a1);
VERIFY( a2[2] == 2 );
return true;
}
static_assert( test_convert() );
|