smart_holder_poc_test.cpp 11.2 KB
Newer Older
1
#include "pybind11/detail/smart_holder_poc.h"
2
3
4
5
6
7
8
9

#define CATCH_CONFIG_MAIN
#include "catch.hpp"

using pybindit::memory::smart_holder;

namespace helpers {

10
struct movable_int {
11
12
13
14
15
16
    int valu;
    movable_int(int v) : valu{v} {}
    movable_int(movable_int &&other) {
        valu       = other.valu;
        other.valu = 91;
    }
17
18
};

19
20
template <typename T>
struct functor_builtin_delete {
21
    void operator()(T *ptr) { delete ptr; }
22
23
};

24
25
26
template <typename T>
struct functor_other_delete : functor_builtin_delete<T> {};

27
} // namespace helpers
28

29
TEST_CASE("from_raw_ptr_unowned+as_raw_ptr_unowned", "[S]") {
30
31
32
    static int value = 19;
    auto hld         = smart_holder::from_raw_ptr_unowned(&value);
    REQUIRE(*hld.as_raw_ptr_unowned<int>() == 19);
33
34
}

35
TEST_CASE("from_raw_ptr_unowned+as_lvalue_ref", "[S]") {
36
37
    static int value = 19;
    auto hld         = smart_holder::from_raw_ptr_unowned(&value);
38
    REQUIRE(hld.as_lvalue_ref<int>() == 19);
39
40
}

41
TEST_CASE("from_raw_ptr_unowned+as_rvalue_ref", "[S]") {
42
43
44
    helpers::movable_int orig(19);
    {
        auto hld = smart_holder::from_raw_ptr_unowned(&orig);
45
        helpers::movable_int othr(hld.as_rvalue_ref<helpers::movable_int>());
46
47
48
        REQUIRE(othr.valu == 19);
        REQUIRE(orig.valu == 91);
    }
49
50
}

51
TEST_CASE("from_raw_ptr_unowned+as_raw_ptr_release_ownership", "[E]") {
52
53
54
55
    static int value = 19;
    auto hld         = smart_holder::from_raw_ptr_unowned(&value);
    REQUIRE_THROWS_WITH(hld.as_raw_ptr_release_ownership<int>(),
                        "Cannot disown non-owning holder (as_raw_ptr_release_ownership).");
56
}
57

58
TEST_CASE("from_raw_ptr_unowned+as_unique_ptr", "[E]") {
59
60
61
62
    static int value = 19;
    auto hld         = smart_holder::from_raw_ptr_unowned(&value);
    REQUIRE_THROWS_WITH(hld.as_unique_ptr<int>(),
                        "Cannot disown non-owning holder (as_unique_ptr).");
63
}
64

65
TEST_CASE("from_raw_ptr_unowned+as_unique_ptr_with_deleter", "[E]") {
66
67
68
69
    static int value = 19;
    auto hld         = smart_holder::from_raw_ptr_unowned(&value);
    REQUIRE_THROWS_WITH((hld.as_unique_ptr<int, helpers::functor_builtin_delete<int>>()),
                        "Missing unique_ptr deleter (as_unique_ptr).");
70
}
71
72

TEST_CASE("from_raw_ptr_unowned+as_shared_ptr", "[S]") {
73
74
75
    static int value = 19;
    auto hld         = smart_holder::from_raw_ptr_unowned(&value);
    REQUIRE(*hld.as_shared_ptr<int>() == 19);
76
77
}

78
TEST_CASE("from_raw_ptr_take_ownership+as_lvalue_ref", "[S]") {
79
80
    auto hld = smart_holder::from_raw_ptr_take_ownership(new int(19));
    REQUIRE(hld.has_pointee());
81
    REQUIRE(hld.as_lvalue_ref<int>() == 19);
82
83
84
}

TEST_CASE("from_raw_ptr_take_ownership+as_raw_ptr_release_ownership1", "[S]") {
85
86
87
88
    auto hld       = smart_holder::from_raw_ptr_take_ownership(new int(19));
    auto new_owner = std::unique_ptr<int>(hld.as_raw_ptr_release_ownership<int>());
    REQUIRE(!hld.has_pointee());
    REQUIRE(*new_owner == 19);
89
90
}

91
TEST_CASE("from_raw_ptr_take_ownership+as_raw_ptr_release_ownership2", "[E]") {
92
93
94
95
    auto hld     = smart_holder::from_raw_ptr_take_ownership(new int(19));
    auto shd_ptr = hld.as_shared_ptr<int>();
    REQUIRE_THROWS_WITH(hld.as_raw_ptr_release_ownership<int>(),
                        "Cannot disown use_count != 1 (as_raw_ptr_release_ownership).");
96
}
97
98

TEST_CASE("from_raw_ptr_take_ownership+as_unique_ptr1", "[S]") {
99
100
101
102
    auto hld                       = smart_holder::from_raw_ptr_take_ownership(new int(19));
    std::unique_ptr<int> new_owner = hld.as_unique_ptr<int>();
    REQUIRE(!hld.has_pointee());
    REQUIRE(*new_owner == 19);
103
104
}

105
TEST_CASE("from_raw_ptr_take_ownership+as_unique_ptr2", "[E]") {
106
107
108
    auto hld     = smart_holder::from_raw_ptr_take_ownership(new int(19));
    auto shd_ptr = hld.as_shared_ptr<int>();
    REQUIRE_THROWS_WITH(hld.as_unique_ptr<int>(), "Cannot disown use_count != 1 (as_unique_ptr).");
109
}
110

111
TEST_CASE("from_raw_ptr_take_ownership+as_unique_ptr_with_deleter", "[E]") {
112
113
114
    auto hld = smart_holder::from_raw_ptr_take_ownership(new int(19));
    REQUIRE_THROWS_WITH((hld.as_unique_ptr<int, helpers::functor_builtin_delete<int>>()),
                        "Missing unique_ptr deleter (as_unique_ptr).");
115
}
116
117

TEST_CASE("from_raw_ptr_take_ownership+as_shared_ptr", "[S]") {
118
119
120
121
    auto hld                       = smart_holder::from_raw_ptr_take_ownership(new int(19));
    std::shared_ptr<int> new_owner = hld.as_shared_ptr<int>();
    REQUIRE(hld.has_pointee());
    REQUIRE(*new_owner == 19);
122
123
}

124
TEST_CASE("from_unique_ptr+as_lvalue_ref", "[S]") {
125
126
127
    std::unique_ptr<int> orig_owner(new int(19));
    auto hld = smart_holder::from_unique_ptr(std::move(orig_owner));
    REQUIRE(orig_owner.get() == nullptr);
128
    REQUIRE(hld.as_lvalue_ref<int>() == 19);
129
130
}

131
TEST_CASE("from_unique_ptr+as_raw_ptr_release_ownership1", "[S]") {
132
133
134
135
136
137
    std::unique_ptr<int> orig_owner(new int(19));
    auto hld = smart_holder::from_unique_ptr(std::move(orig_owner));
    REQUIRE(orig_owner.get() == nullptr);
    auto new_owner = std::unique_ptr<int>(hld.as_raw_ptr_release_ownership<int>());
    REQUIRE(!hld.has_pointee());
    REQUIRE(*new_owner == 19);
138
139
}

140
TEST_CASE("from_unique_ptr+as_raw_ptr_release_ownership2", "[E]") {
141
142
143
144
145
146
    std::unique_ptr<int> orig_owner(new int(19));
    auto hld = smart_holder::from_unique_ptr(std::move(orig_owner));
    REQUIRE(orig_owner.get() == nullptr);
    auto shd_ptr = hld.as_shared_ptr<int>();
    REQUIRE_THROWS_WITH(hld.as_raw_ptr_release_ownership<int>(),
                        "Cannot disown use_count != 1 (as_raw_ptr_release_ownership).");
147
}
148
149

TEST_CASE("from_unique_ptr+as_unique_ptr1", "[S]") {
150
151
152
153
154
155
    std::unique_ptr<int> orig_owner(new int(19));
    auto hld = smart_holder::from_unique_ptr(std::move(orig_owner));
    REQUIRE(orig_owner.get() == nullptr);
    std::unique_ptr<int> new_owner = hld.as_unique_ptr<int>();
    REQUIRE(!hld.has_pointee());
    REQUIRE(*new_owner == 19);
156
157
}

158
TEST_CASE("from_unique_ptr+as_unique_ptr2", "[E]") {
159
160
161
162
163
    std::unique_ptr<int> orig_owner(new int(19));
    auto hld = smart_holder::from_unique_ptr(std::move(orig_owner));
    REQUIRE(orig_owner.get() == nullptr);
    auto shd_ptr = hld.as_shared_ptr<int>();
    REQUIRE_THROWS_WITH(hld.as_unique_ptr<int>(), "Cannot disown use_count != 1 (as_unique_ptr).");
164
}
165

166
TEST_CASE("from_unique_ptr+as_unique_ptr_with_deleter", "[E]") {
167
168
169
    std::unique_ptr<int> orig_owner(new int(19));
    auto hld = smart_holder::from_unique_ptr(std::move(orig_owner));
    REQUIRE(orig_owner.get() == nullptr);
170
    REQUIRE_THROWS_WITH((hld.as_unique_ptr<int, helpers::functor_builtin_delete<int>>()),
171
                        "Incompatible unique_ptr deleter (as_unique_ptr).");
172
}
173
174

TEST_CASE("from_unique_ptr+as_shared_ptr", "[S]") {
175
176
177
178
179
180
    std::unique_ptr<int> orig_owner(new int(19));
    auto hld = smart_holder::from_unique_ptr(std::move(orig_owner));
    REQUIRE(orig_owner.get() == nullptr);
    std::shared_ptr<int> new_owner = hld.as_shared_ptr<int>();
    REQUIRE(hld.has_pointee());
    REQUIRE(*new_owner == 19);
181
182
}

183
TEST_CASE("from_unique_ptr_with_deleter+as_lvalue_ref", "[S]") {
184
    std::unique_ptr<int, helpers::functor_builtin_delete<int>> orig_owner(new int(19));
185
    auto hld = smart_holder::from_unique_ptr(std::move(orig_owner));
186
    REQUIRE(orig_owner.get() == nullptr);
187
    REQUIRE(hld.as_lvalue_ref<int>() == 19);
188
189
}

190
TEST_CASE("from_unique_ptr_with_deleter+as_raw_ptr_release_ownership", "[E]") {
191
    std::unique_ptr<int, helpers::functor_builtin_delete<int>> orig_owner(new int(19));
192
    auto hld = smart_holder::from_unique_ptr(std::move(orig_owner));
193
194
195
    REQUIRE(orig_owner.get() == nullptr);
    REQUIRE_THROWS_WITH(hld.as_raw_ptr_release_ownership<int>(),
                        "Cannot disown custom deleter (as_raw_ptr_release_ownership).");
196
}
197

198
TEST_CASE("from_unique_ptr_with_deleter+as_unique_ptr", "[E]") {
199
    std::unique_ptr<int, helpers::functor_builtin_delete<int>> orig_owner(new int(19));
200
    auto hld = smart_holder::from_unique_ptr(std::move(orig_owner));
201
    REQUIRE(orig_owner.get() == nullptr);
202
203
    REQUIRE_THROWS_WITH(hld.as_unique_ptr<int>(),
                        "Incompatible unique_ptr deleter (as_unique_ptr).");
204
}
205
206

TEST_CASE("from_unique_ptr_with_deleter+as_unique_ptr_with_deleter1", "[S]") {
207
    std::unique_ptr<int, helpers::functor_builtin_delete<int>> orig_owner(new int(19));
208
    auto hld = smart_holder::from_unique_ptr(std::move(orig_owner));
209
210
    REQUIRE(orig_owner.get() == nullptr);
    std::unique_ptr<int, helpers::functor_builtin_delete<int>> new_owner
211
        = hld.as_unique_ptr<int, helpers::functor_builtin_delete<int>>();
212
213
    REQUIRE(!hld.has_pointee());
    REQUIRE(*new_owner == 19);
214
215
}

216
TEST_CASE("from_unique_ptr_with_deleter+as_unique_ptr_with_deleter2", "[E]") {
217
    std::unique_ptr<int, helpers::functor_builtin_delete<int>> orig_owner(new int(19));
218
    auto hld = smart_holder::from_unique_ptr(std::move(orig_owner));
219
    REQUIRE(orig_owner.get() == nullptr);
220
    REQUIRE_THROWS_WITH((hld.as_unique_ptr<int, helpers::functor_other_delete<int>>()),
221
                        "Incompatible unique_ptr deleter (as_unique_ptr).");
222
}
223
224

TEST_CASE("from_unique_ptr_with_deleter+as_shared_ptr", "[S]") {
225
    std::unique_ptr<int, helpers::functor_builtin_delete<int>> orig_owner(new int(19));
226
    auto hld = smart_holder::from_unique_ptr(std::move(orig_owner));
227
228
229
230
    REQUIRE(orig_owner.get() == nullptr);
    std::shared_ptr<int> new_owner = hld.as_shared_ptr<int>();
    REQUIRE(hld.has_pointee());
    REQUIRE(*new_owner == 19);
231
232
}

233
TEST_CASE("from_shared_ptr+as_lvalue_ref", "[S]") {
234
235
    std::shared_ptr<int> orig_owner(new int(19));
    auto hld = smart_holder::from_shared_ptr(orig_owner);
236
    REQUIRE(hld.as_lvalue_ref<int>() == 19);
237
238
}

239
TEST_CASE("from_shared_ptr+as_raw_ptr_release_ownership", "[E]") {
240
241
242
243
    std::shared_ptr<int> orig_owner(new int(19));
    auto hld = smart_holder::from_shared_ptr(orig_owner);
    REQUIRE_THROWS_WITH(hld.as_raw_ptr_release_ownership<int>(),
                        "Cannot disown external shared_ptr (as_raw_ptr_release_ownership).");
244
}
245

246
TEST_CASE("from_shared_ptr+as_unique_ptr", "[E]") {
247
248
249
250
    std::shared_ptr<int> orig_owner(new int(19));
    auto hld = smart_holder::from_shared_ptr(orig_owner);
    REQUIRE_THROWS_WITH(hld.as_unique_ptr<int>(),
                        "Cannot disown external shared_ptr (as_unique_ptr).");
251
}
252

253
TEST_CASE("from_shared_ptr+as_unique_ptr_with_deleter", "[E]") {
254
    std::shared_ptr<int> orig_owner(new int(19));
255
256
257
    auto hld = smart_holder::from_shared_ptr(orig_owner);
    REQUIRE_THROWS_WITH((hld.as_unique_ptr<int, helpers::functor_builtin_delete<int>>()),
                        "Missing unique_ptr deleter (as_unique_ptr).");
258
}
259
260

TEST_CASE("from_shared_ptr+as_shared_ptr", "[S]") {
261
262
263
    std::shared_ptr<int> orig_owner(new int(19));
    auto hld = smart_holder::from_shared_ptr(orig_owner);
    REQUIRE(*hld.as_shared_ptr<int>() == 19);
264
}
265
266

TEST_CASE("error_unpopulated_holder", "[E]") {
267
    smart_holder hld;
268
    REQUIRE_THROWS_WITH(hld.as_lvalue_ref<int>(), "Unpopulated holder (as_lvalue_ref).");
269
270
271
}

TEST_CASE("error_disowned_holder", "[E]") {
272
273
    auto hld = smart_holder::from_raw_ptr_take_ownership(new int(19));
    hld.as_unique_ptr<int>();
274
    REQUIRE_THROWS_WITH(hld.as_lvalue_ref<int>(), "Disowned holder (as_lvalue_ref).");
275
}
276
277

TEST_CASE("error_cannot_disown_nullptr", "[E]") {
278
279
280
    auto hld = smart_holder::from_raw_ptr_take_ownership(new int(19));
    hld.as_unique_ptr<int>();
    REQUIRE_THROWS_WITH(hld.as_unique_ptr<int>(), "Cannot disown nullptr (as_unique_ptr).");
281
}