boostorg/system
1
0
Fork 1
mirror of https://github.com/boostorg/system.git synced 2026-07-05 16:00:55 +02:00
Code Issues Packages Projects Releases Wiki Activity

Add unwrap_and_construct

Browse Source
This commit is contained in:
Peter Dimov
2026-02-25 14:10:14 +02:00
parent 739179a494
commit fa3babf4e6
4 changed files with 135 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
test/unwrap_and_construct.cpp
+109
View File
@@ -0,0 +1,109 @@
// Copyright 2026 Peter Dimov
// Distributed under the Boost Software License, Version 1.0.
// https://www.boost.org/LICENSE_1_0.txt
#include <boost/system/unwrap_and_invoke.hpp>
#include <boost/system/result.hpp>
#include <boost/core/lightweight_test_trait.hpp>
using namespace boost::system;
struct X
{
int v;
};
struct Y
{
int v;
explicit Y( X a1 = {}, X a2 = {}, X a3 = {}, X a4 = {} ): v( a1.v + a2.v + a3.v + a4.v )
{
}
};
struct E
{
int w;
};
int main()
{
{
auto r = unwrap_and_construct<Y>( result<X, E>( E{1} ) );
BOOST_TEST( !r ) && BOOST_TEST_EQ( r.error().w, 1 );
}
{
auto r = unwrap_and_construct<Y>( result<X, E>( X{1} ) );
BOOST_TEST( r ) && BOOST_TEST_EQ( r.unsafe_value().v, 1 );
}
//
{
auto r = unwrap_and_construct<Y>( result<X, E>( E{1} ), result<X, E>( E{2} ) );
BOOST_TEST( !r ) && BOOST_TEST_EQ( r.error().w, 1 );
}
{
auto r = unwrap_and_construct<Y>( result<X, E>( X{1} ), result<X, E>( E{2} ) );
BOOST_TEST( !r ) && BOOST_TEST_EQ( r.error().w, 2 );
}
{
auto r = unwrap_and_construct<Y>( result<X, E>( X{1} ), result<X, E>( X{2} ) );
BOOST_TEST( r ) && BOOST_TEST_EQ( r.unsafe_value().v, 3 );
}
//
{
auto r = unwrap_and_construct<Y>( result<X, E>( E{1} ), result<X, E>( E{2} ), result<X, E>( E{3} ) );
BOOST_TEST( !r ) && BOOST_TEST_EQ( r.error().w, 1 );
}
{
auto r = unwrap_and_construct<Y>( result<X, E>( X{1} ), result<X, E>( E{2} ), result<X, E>( E{3} ) );
BOOST_TEST( !r ) && BOOST_TEST_EQ( r.error().w, 2 );
}
{
auto r = unwrap_and_construct<Y>( result<X, E>( X{1} ), result<X, E>( X{2} ), result<X, E>( E{3} ) );
BOOST_TEST( !r ) && BOOST_TEST_EQ( r.error().w, 3 );
}
{
auto r = unwrap_and_construct<Y>( result<X, E>( X{1} ), result<X, E>( X{2} ), result<X, E>( X{3} ) );
BOOST_TEST( r ) && BOOST_TEST_EQ( r.unsafe_value().v, 6 );
}
//
{
auto r = unwrap_and_construct<Y>( result<X, E>( E{1} ), result<X, E>( E{2} ), result<X, E>( E{3} ), result<X, E>( E{4} ) );
BOOST_TEST( !r ) && BOOST_TEST_EQ( r.error().w, 1 );
}
{
auto r = unwrap_and_construct<Y>( result<X, E>( X{1} ), result<X, E>( E{2} ), result<X, E>( E{3} ), result<X, E>( E{4} ) );
BOOST_TEST( !r ) && BOOST_TEST_EQ( r.error().w, 2 );
}
{
auto r = unwrap_and_construct<Y>( result<X, E>( X{1} ), result<X, E>( X{2} ), result<X, E>( E{3} ), result<X, E>( E{4} ) );
BOOST_TEST( !r ) && BOOST_TEST_EQ( r.error().w, 3 );
}
{
auto r = unwrap_and_construct<Y>( result<X, E>( X{1} ), result<X, E>( X{2} ), result<X, E>( X{3} ), result<X, E>( E{4} ) );
BOOST_TEST( !r ) && BOOST_TEST_EQ( r.error().w, 4 );
}
{
auto r = unwrap_and_construct<Y>( result<X, E>( X{1} ), result<X, E>( X{2} ), result<X, E>( X{3} ), result<X, E>( X{4} ) );
BOOST_TEST( r ) && BOOST_TEST_EQ( r.unsafe_value().v, 10 );
}
return boost::report_errors();
}