blob: 8e3cabf05c3eab9efce5ab154027f3920628a911 (
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
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
|
/*
* This file is open source software, licensed to you under the terms
* of the Apache License, Version 2.0 (the "License"). See the NOTICE file
* distributed with this work for additional information regarding copyright
* ownership. You may not use this file except in compliance with the License.
*
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing,
* software distributed under the License is distributed on an
* "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
* KIND, either express or implied. See the License for the
* specific language governing permissions and limitations
* under the License.
*/
/*
* Copyright 2016 ScyllaDB
*/
#define BOOST_TEST_MODULE core
#include <boost/test/included/unit_test.hpp>
#include <seastar/core/checked_ptr.hh>
#include <seastar/core/weak_ptr.hh>
using namespace seastar;
static_assert(std::is_nothrow_default_constructible_v<checked_ptr<int*>>);
static_assert(std::is_nothrow_move_constructible_v<checked_ptr<int*>>);
static_assert(std::is_nothrow_copy_constructible_v<checked_ptr<int*>>);
static_assert(std::is_nothrow_default_constructible_v<checked_ptr<weak_ptr<int>>>);
static_assert(std::is_nothrow_move_constructible_v<checked_ptr<weak_ptr<int>>>);
template <typename T>
class may_throw_on_null_ptr : public seastar::weak_ptr<T> {
public:
may_throw_on_null_ptr(std::nullptr_t) {}
};
static_assert(!std::is_nothrow_default_constructible_v<may_throw_on_null_ptr<int>>);
static_assert(!std::is_nothrow_default_constructible_v<checked_ptr<may_throw_on_null_ptr<int>>>);
static_assert(std::is_nothrow_move_constructible_v<checked_ptr<may_throw_on_null_ptr<int>>>);
static_assert(std::is_nothrow_copy_constructible_v<checked_ptr<may_throw_on_null_ptr<int>>>);
struct my_st : public weakly_referencable<my_st> {
my_st(int a_) : a(a_) {}
int a;
};
void const_ref_check_naked(const seastar::checked_ptr<my_st*>& cp) {
BOOST_REQUIRE(bool(cp));
BOOST_REQUIRE((*cp).a == 3);
BOOST_REQUIRE(cp->a == 3);
BOOST_REQUIRE(cp.get()->a == 3);
}
void const_ref_check_smart(const seastar::checked_ptr<::weak_ptr<my_st>>& cp) {
BOOST_REQUIRE(bool(cp));
BOOST_REQUIRE((*cp).a == 3);
BOOST_REQUIRE(cp->a == 3);
BOOST_REQUIRE(cp.get()->a == 3);
}
BOOST_AUTO_TEST_CASE(test_checked_ptr_is_empty_when_default_initialized) {
seastar::checked_ptr<int*> cp;
BOOST_REQUIRE(!bool(cp));
}
BOOST_AUTO_TEST_CASE(test_checked_ptr_is_empty_when_nullptr_initialized_nakes_ptr) {
seastar::checked_ptr<int*> cp = nullptr;
BOOST_REQUIRE(!bool(cp));
}
BOOST_AUTO_TEST_CASE(test_checked_ptr_is_empty_when_nullptr_initialized_smart_ptr) {
seastar::checked_ptr<::weak_ptr<my_st>> cp = nullptr;
BOOST_REQUIRE(!bool(cp));
}
BOOST_AUTO_TEST_CASE(test_checked_ptr_is_initialized_after_assignment_naked_ptr) {
seastar::checked_ptr<my_st*> cp = nullptr;
BOOST_REQUIRE(!bool(cp));
my_st i(3);
my_st k(3);
cp = &i;
seastar::checked_ptr<my_st*> cp1(&i);
seastar::checked_ptr<my_st*> cp2(&k);
BOOST_REQUIRE(bool(cp));
BOOST_REQUIRE(cp == cp1);
BOOST_REQUIRE(cp != cp2);
BOOST_REQUIRE((*cp).a == 3);
BOOST_REQUIRE(cp->a == 3);
BOOST_REQUIRE(cp.get()->a == 3);
const_ref_check_naked(cp);
cp = nullptr;
BOOST_REQUIRE(!bool(cp));
}
BOOST_AUTO_TEST_CASE(test_checked_ptr_is_initialized_after_assignment_smart_ptr) {
seastar::checked_ptr<::weak_ptr<my_st>> cp = nullptr;
BOOST_REQUIRE(!bool(cp));
std::unique_ptr<my_st> i = std::make_unique<my_st>(3);
cp = i->weak_from_this();
seastar::checked_ptr<::weak_ptr<my_st>> cp1(i->weak_from_this());
seastar::checked_ptr<::weak_ptr<my_st>> cp2;
BOOST_REQUIRE(bool(cp));
BOOST_REQUIRE(cp == cp1);
BOOST_REQUIRE(cp != cp2);
BOOST_REQUIRE((*cp).a == 3);
BOOST_REQUIRE(cp->a == 3);
BOOST_REQUIRE(cp.get()->a == 3);
const_ref_check_smart(cp);
i = nullptr;
BOOST_REQUIRE(!bool(cp));
BOOST_REQUIRE(!bool(cp1));
BOOST_REQUIRE(!bool(cp2));
}
|
