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
8using namespace boost::system;
9
10struct X
11{
12 int v_;
13};
14
15struct 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
42struct E
43{
44};
45
46struct E2
47{
48 E2() {}
49 E2( E ) {}
50};
51
52result<int, E> fi()
53{
54 return 2;
55}
56
57result<int, E2> fi2()
58{
59 return E2();
60}
61
62result<X, E> fy()
63{
64 return X{ .v_: 2 };
65}
66
67result<Y, E2> fy2()
68{
69 return E2();
70}
71
72result<int&, E> fri()
73{
74 static int x = 2;
75 return x;
76}
77
78result<int&, E2> fri2()
79{
80 return E2();
81}
82
83int 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

source code of boost/libs/system/test/result_or_eq_fn0r.cpp