| 1 | /* Unit testing for outcomes |
|---|
| 2 | (C) 2013-2024 Niall Douglas <http://www.nedproductions.biz/> (1 commit) |
|---|
| 3 | |
|---|
| 4 | |
|---|
| 5 | Boost Software License - Version 1.0 - August 17th, 2003 |
|---|
| 6 | |
|---|
| 7 | Permission is hereby granted, free of charge, to any person or organization |
|---|
| 8 | obtaining a copy of the software and accompanying documentation covered by |
|---|
| 9 | this license (the "Software") to use, reproduce, display, distribute, |
|---|
| 10 | execute, and transmit the Software, and to prepare derivative works of the |
|---|
| 11 | Software, and to permit third-parties to whom the Software is furnished to |
|---|
| 12 | do so, all subject to the following: |
|---|
| 13 | |
|---|
| 14 | The copyright notices in the Software and this entire statement, including |
|---|
| 15 | the above license grant, this restriction and the following disclaimer, |
|---|
| 16 | must be included in all copies of the Software, in whole or in part, and |
|---|
| 17 | all derivative works of the Software, unless such copies or derivative |
|---|
| 18 | works are solely in the form of machine-executable object code generated by |
|---|
| 19 | a source language processor. |
|---|
| 20 | |
|---|
| 21 | THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR |
|---|
| 22 | IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, |
|---|
| 23 | FITNESS FOR A PARTICULAR PURPOSE, TITLE AND NON-INFRINGEMENT. IN NO EVENT |
|---|
| 24 | SHALL THE COPYRIGHT HOLDERS OR ANYONE DISTRIBUTING THE SOFTWARE BE LIABLE |
|---|
| 25 | FOR ANY DAMAGES OR OTHER LIABILITY, WHETHER IN CONTRACT, TORT OR OTHERWISE, |
|---|
| 26 | ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER |
|---|
| 27 | DEALINGS IN THE SOFTWARE. |
|---|
| 28 | */ |
|---|
| 29 | |
|---|
| 30 | #include <boost/outcome/outcome.hpp> |
|---|
| 31 | #include <boost/outcome/try.hpp> |
|---|
| 32 | #include <boost/test/unit_test.hpp> |
|---|
| 33 | #include <boost/test/unit_test_monitor.hpp> |
|---|
| 34 | |
|---|
| 35 | namespace issues247 |
|---|
| 36 | { |
|---|
| 37 | namespace outcome = BOOST_OUTCOME_V2_NAMESPACE; |
|---|
| 38 | |
|---|
| 39 | outcome::result<int> foo1() |
|---|
| 40 | { |
|---|
| 41 | outcome::result<int> ret(boost::system::errc::invalid_argument); |
|---|
| 42 | outcome::hooks::set_spare_storage(r: &ret, v: 43); |
|---|
| 43 | return ret; |
|---|
| 44 | } |
|---|
| 45 | |
|---|
| 46 | outcome::result<int> test1() |
|---|
| 47 | { |
|---|
| 48 | BOOST_OUTCOME_TRY(foo1()); |
|---|
| 49 | return 7; |
|---|
| 50 | } |
|---|
| 51 | |
|---|
| 52 | outcome::result<int> foo2() { return outcome::success(v: 5, spare_storage: 43); } |
|---|
| 53 | |
|---|
| 54 | outcome::result<int> test2() { return foo2(); } |
|---|
| 55 | |
|---|
| 56 | outcome::outcome<int> foo3() |
|---|
| 57 | { |
|---|
| 58 | outcome::outcome<int> ret(boost::copy_exception(e: std::runtime_error("foo" ))); |
|---|
| 59 | outcome::hooks::set_spare_storage(r: &ret, v: 43); |
|---|
| 60 | return ret; |
|---|
| 61 | } |
|---|
| 62 | |
|---|
| 63 | outcome::outcome<int> test3() |
|---|
| 64 | { |
|---|
| 65 | BOOST_OUTCOME_TRY(foo3()); |
|---|
| 66 | return 7; |
|---|
| 67 | } |
|---|
| 68 | |
|---|
| 69 | } // namespace issues247 |
|---|
| 70 | |
|---|
| 71 | |
|---|
| 72 | BOOST_OUTCOME_AUTO_TEST_CASE(issues_0247_test, "TRY strips spare storage value" ) |
|---|
| 73 | { |
|---|
| 74 | auto r1 = issues247::test1(); |
|---|
| 75 | BOOST_CHECK(issues247::outcome::hooks::spare_storage(&r1) == 43); |
|---|
| 76 | auto r2 = issues247::test2(); |
|---|
| 77 | BOOST_CHECK(issues247::outcome::hooks::spare_storage(&r2) == 43); |
|---|
| 78 | auto r3 = issues247::test3(); |
|---|
| 79 | BOOST_CHECK(issues247::outcome::hooks::spare_storage(&r3) == 43); |
|---|
| 80 | } |
|---|
| 81 | |
|---|
