| 1 | /* Unit testing for outcomes |
|---|
| 2 | (C) 2013-2024 Niall Douglas <http://www.nedproductions.biz/> (4 commits) |
|---|
| 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.hpp> |
|---|
| 31 | #include <boost/test/unit_test.hpp> |
|---|
| 32 | #include <boost/test/unit_test_monitor.hpp> |
|---|
| 33 | |
|---|
| 34 | BOOST_OUTCOME_AUTO_TEST_CASE(works_outcome_default_construction, "Tests that outcome default constructs when it ought to" ) |
|---|
| 35 | { |
|---|
| 36 | using namespace BOOST_OUTCOME_V2_NAMESPACE; |
|---|
| 37 | struct udt |
|---|
| 38 | { |
|---|
| 39 | int _v{78}; |
|---|
| 40 | udt() = default; |
|---|
| 41 | constexpr explicit udt(int v) noexcept : _v(v) {} |
|---|
| 42 | udt(udt &&o) = delete; |
|---|
| 43 | udt(const udt &) = delete; |
|---|
| 44 | udt &operator=(udt &&o) = delete; |
|---|
| 45 | udt &operator=(const udt &) = delete; |
|---|
| 46 | ~udt() = default; |
|---|
| 47 | constexpr int operator*() const noexcept { return _v; } |
|---|
| 48 | }; |
|---|
| 49 | // One path is via success_type<void> |
|---|
| 50 | outcome<udt> a(success()); |
|---|
| 51 | BOOST_CHECK(*a.value() == 78); |
|---|
| 52 | |
|---|
| 53 | // Other path is via empty initialiser list |
|---|
| 54 | outcome<udt> d({}); |
|---|
| 55 | BOOST_CHECK(*d.value() == 78); |
|---|
| 56 | } |
|---|
| 57 | |
|---|
