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

Support aggregates in unwrap_and_construct

Browse Source
This commit is contained in:
Peter Dimov
2026-02-25 18:19:49 +02:00
parent 700f246dd3
commit 8ce9b50730
4 changed files with 147 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
test/unwrap_and_construct2.cpp
+129
View File
@@ -0,0 +1,129 @@
// 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
{
X x1{}, x2{}, x3{}, x4{};
};
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().x1.v, 1 )
&& BOOST_TEST_EQ( r.unsafe_value().x2.v, 0 )
&& BOOST_TEST_EQ( r.unsafe_value().x3.v, 0 )
&& BOOST_TEST_EQ( r.unsafe_value().x4.v, 0 )
;
}
//
{
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().x1.v, 1 )
&& BOOST_TEST_EQ( r.unsafe_value().x2.v, 2 )
&& BOOST_TEST_EQ( r.unsafe_value().x3.v, 0 )
&& BOOST_TEST_EQ( r.unsafe_value().x4.v, 0 )
;
}
//
{
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().x1.v, 1 )
&& BOOST_TEST_EQ( r.unsafe_value().x2.v, 2 )
&& BOOST_TEST_EQ( r.unsafe_value().x3.v, 3 )
&& BOOST_TEST_EQ( r.unsafe_value().x4.v, 0 )
;
}
//
{
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().x1.v, 1 )
&& BOOST_TEST_EQ( r.unsafe_value().x2.v, 2 )
&& BOOST_TEST_EQ( r.unsafe_value().x3.v, 3 )
&& BOOST_TEST_EQ( r.unsafe_value().x4.v, 4 )
;
}
return boost::report_errors();
}