blob: 53b6ddaf6aa585f1baab77a1d7752a767ec2a675 (
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
|
#include "asl/box.hpp"
#include "asl/option.hpp"
#include "asl/testing/testing.hpp"
#include "asl/tests/test_types.hpp"
static_assert(sizeof(asl::box<int>) == sizeof(int*));
static_assert(!asl::copyable<asl::box<int>>);
static_assert(asl::moveable<asl::box<int>>);
static_assert(asl::has_niche<asl::box<int>>);
static_assert(sizeof(asl::option<asl::box<int>>) == sizeof(int*));
ASL_TEST(destructor)
{
bool d = false;
{
auto box = asl::make_box<DestructorObserver>(&d);
ASL_TEST_ASSERT(!d);
auto box3 = ASL_MOVE(box);
ASL_TEST_ASSERT(!d);
}
ASL_TEST_ASSERT(d);
}
ASL_TEST(value)
{
auto b = asl::make_box<int>(24);
ASL_TEST_EXPECT(*b == 24);
auto b2 = ASL_MOVE(b);
ASL_TEST_EXPECT(*b2 == 24);
}
ASL_TEST(ptr)
{
auto b = asl::make_box<int>(24);
auto* ptr1 = b.get();
auto b2 = ASL_MOVE(b);
auto* ptr2 = b2.get();
ASL_TEST_EXPECT(ptr1 == ptr2);
}
struct Struct { int a; };
ASL_TEST(arrow)
{
auto b = asl::make_box<Struct>(45);
ASL_TEST_EXPECT(b->a == 45);
}
ASL_TEST(niche)
{
asl::option<asl::box<int>> opt;
ASL_TEST_EXPECT(!opt.has_value());
opt = asl::make_box<int>(66);
ASL_TEST_EXPECT(opt.has_value());
ASL_TEST_EXPECT(*opt.value() == 66);
opt = asl::nullopt;
ASL_TEST_EXPECT(!opt.has_value());
bool destroyed = false;
asl::option<asl::box<DestructorObserver>> opt2 = asl::make_box<DestructorObserver>(&destroyed);
ASL_TEST_EXPECT(opt2.has_value());
ASL_TEST_EXPECT(!destroyed);
opt2.reset();
ASL_TEST_EXPECT(!opt2.has_value());
ASL_TEST_EXPECT(destroyed);
}
|
