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
|
// Copyright 2017, 2021-2024 Peter Dimov.
// Distributed under the Boost Software License, Version 1.0.
// https://www.boost.org/LICENSE_1_0.txt
#include <boost/system/result.hpp>
#include <boost/core/lightweight_test.hpp>
using namespace boost::system;
struct X
{
int v_;
};
struct Y
{
int v_;
explicit Y( int v ): v_( v ) {}
Y( X x ): v_( x.v_) {}
Y( Y const& ) = delete;
Y& operator=( Y const& ) = delete;
Y( Y&& r ): v_( r.v_ )
{
r.v_ = 0;
}
Y& operator=( Y&& r )
{
if( &r != this )
{
v_ = r.v_;
r.v_ = 0;
}
return *this;
}
};
struct E
{
};
int main()
{
{
result<int> r( 1 );
r |= 2;
BOOST_TEST( r.has_value() ) && BOOST_TEST_EQ( *r, 1 );
}
{
result<int, E> r( in_place_error );
r |= 2;
BOOST_TEST( r.has_value() ) && BOOST_TEST_EQ( *r, 2 );
}
{
result<Y> r( in_place_value, 1 );
r |= X{2};
BOOST_TEST( r.has_value() ) && BOOST_TEST_EQ( r->v_, 1 );
}
{
result<Y, E> r( in_place_error );
r |= X{2};
BOOST_TEST( r.has_value() ) && BOOST_TEST_EQ( r->v_, 2 );
}
{
int x1 = 1;
int x2 = 2;
result<int&> r( x1 );
r |= x2;
BOOST_TEST( r.has_value() ) && BOOST_TEST_EQ( &*r, &x1 );
}
{
int x2 = 2;
result<int&, E> r( in_place_error );
r |= x2;
BOOST_TEST( r.has_value() ) && BOOST_TEST_EQ( &*r, &x2 );
}
return boost::report_errors();
}
|
