1 | // Copyright 2017, 2021-2024 Peter Dimov. |
2 | // Distributed under the Boost Software License, Version 1.0. |
3 | // https://www.boost.org/LICENSE_1_0.txt |
4 | |
5 | #include <boost/system/result.hpp> |
6 | #include <boost/core/lightweight_test.hpp> |
7 | |
8 | using namespace boost::system; |
9 | |
10 | struct X |
11 | { |
12 | int v_; |
13 | }; |
14 | |
15 | struct Y |
16 | { |
17 | int v_; |
18 | |
19 | explicit Y( int v ): v_( v ) {} |
20 | Y( X x ): v_( x.v_) {} |
21 | |
22 | Y( Y const& ) = delete; |
23 | Y& operator=( Y const& ) = delete; |
24 | |
25 | Y( Y&& r ): v_( r.v_ ) |
26 | { |
27 | r.v_ = 0; |
28 | } |
29 | |
30 | Y& operator=( Y&& r ) |
31 | { |
32 | if( &r != this ) |
33 | { |
34 | v_ = r.v_; |
35 | r.v_ = 0; |
36 | } |
37 | |
38 | return *this; |
39 | } |
40 | }; |
41 | |
42 | struct E |
43 | { |
44 | }; |
45 | |
46 | struct E2 |
47 | { |
48 | E2() {} |
49 | E2( E ) {} |
50 | }; |
51 | |
52 | result<int, E> fi() |
53 | { |
54 | return 2; |
55 | } |
56 | |
57 | result<int, E2> fi2() |
58 | { |
59 | return E2(); |
60 | } |
61 | |
62 | result<X, E> fy() |
63 | { |
64 | return X{ .v_: 2 }; |
65 | } |
66 | |
67 | result<Y, E2> fy2() |
68 | { |
69 | return E2(); |
70 | } |
71 | |
72 | result<int&, E> fri() |
73 | { |
74 | static int x = 2; |
75 | return x; |
76 | } |
77 | |
78 | result<int&, E2> fri2() |
79 | { |
80 | return E2(); |
81 | } |
82 | |
83 | int main() |
84 | { |
85 | { |
86 | result<int, E2> r( 1 ); |
87 | |
88 | r |= fi; |
89 | |
90 | BOOST_TEST( r.has_value() ) && BOOST_TEST_EQ( *r, 1 ); |
91 | |
92 | r |= fi2; |
93 | |
94 | BOOST_TEST( r.has_value() ) && BOOST_TEST_EQ( *r, 1 ); |
95 | } |
96 | |
97 | { |
98 | result<int, E2> r( in_place_error ); |
99 | |
100 | r |= fi2; |
101 | |
102 | BOOST_TEST( r.has_error() ); |
103 | |
104 | r |= fi; |
105 | |
106 | BOOST_TEST( r.has_value() ) && BOOST_TEST_EQ( *r, 2 ); |
107 | } |
108 | |
109 | { |
110 | result<Y, E2> r( in_place_value, 1 ); |
111 | |
112 | r |= fy; |
113 | |
114 | BOOST_TEST( r.has_value() ) && BOOST_TEST_EQ( r->v_, 1 ); |
115 | |
116 | r |= fy2; |
117 | |
118 | BOOST_TEST( r.has_value() ) && BOOST_TEST_EQ( r->v_, 1 ); |
119 | } |
120 | |
121 | { |
122 | result<Y, E2> r( in_place_error ); |
123 | |
124 | r |= fy2; |
125 | |
126 | BOOST_TEST( r.has_error() ); |
127 | |
128 | r |= fy; |
129 | |
130 | BOOST_TEST( r.has_value() ) && BOOST_TEST_EQ( r->v_, 2 ); |
131 | } |
132 | |
133 | { |
134 | int x1 = 1; |
135 | |
136 | result<int&, E2> r( x1 ); |
137 | |
138 | r |= fri; |
139 | |
140 | BOOST_TEST( r.has_value() ) && BOOST_TEST_EQ( &*r, &x1 ); |
141 | |
142 | r |= fri2; |
143 | |
144 | BOOST_TEST( r.has_value() ) && BOOST_TEST_EQ( &*r, &x1 ); |
145 | } |
146 | |
147 | { |
148 | result<int&, E2> r( in_place_error ); |
149 | |
150 | r |= fri2; |
151 | |
152 | BOOST_TEST( r.has_error() ); |
153 | |
154 | r |= fri; |
155 | |
156 | BOOST_TEST( r.has_value() ) && BOOST_TEST_EQ( &*r, &*fri() ); |
157 | } |
158 | |
159 | return boost::report_errors(); |
160 | } |
161 | |