123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357 |
- /* Unit testing for outcomes
- (C) 2013-2019 Niall Douglas <http://www.nedproductions.biz/> (8 commits)
- Boost Software License - Version 1.0 - August 17th, 2003
- Permission is hereby granted, free of charge, to any person or organization
- obtaining a copy of the software and accompanying documentation covered by
- this license (the "Software") to use, reproduce, display, distribute,
- execute, and transmit the Software, and to prepare derivative works of the
- Software, and to permit third-parties to whom the Software is furnished to
- do so, all subject to the following:
- The copyright notices in the Software and this entire statement, including
- the above license grant, this restriction and the following disclaimer,
- must be included in all copies of the Software, in whole or in part, and
- all derivative works of the Software, unless such copies or derivative
- works are solely in the form of machine-executable object code generated by
- a source language processor.
- THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
- IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
- FITNESS FOR A PARTICULAR PURPOSE, TITLE AND NON-INFRINGEMENT. IN NO EVENT
- SHALL THE COPYRIGHT HOLDERS OR ANYONE DISTRIBUTING THE SOFTWARE BE LIABLE
- FOR ANY DAMAGES OR OTHER LIABILITY, WHETHER IN CONTRACT, TORT OR OTHERWISE,
- ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
- DEALINGS IN THE SOFTWARE.
- */
- #include <boost/outcome/experimental/status_result.hpp>
- template <class T, class S = BOOST_OUTCOME_SYSTEM_ERROR2_NAMESPACE::system_code, class NoValuePolicy = BOOST_OUTCOME_V2_NAMESPACE::experimental::policy::default_status_result_policy<T, S>> using result = BOOST_OUTCOME_V2_NAMESPACE::experimental::status_result<T, S, NoValuePolicy>;
- using BOOST_OUTCOME_V2_NAMESPACE::in_place_type;
- #include <boost/test/unit_test.hpp>
- #include <boost/test/unit_test_monitor.hpp>
- #include <exception>
- #include <iostream>
- #ifndef BOOST_NO_EXCEPTIONS
- // Custom error type with payload
- struct payload
- {
- BOOST_OUTCOME_SYSTEM_ERROR2_NAMESPACE::errc ec{BOOST_OUTCOME_SYSTEM_ERROR2_NAMESPACE::errc::success};
- const char *str{nullptr};
- payload() = default;
- payload(BOOST_OUTCOME_SYSTEM_ERROR2_NAMESPACE::errc _ec, const char *_str)
- : ec(_ec)
- , str(_str)
- {
- }
- };
- struct payload_exception : std::exception
- {
- const char *_what{nullptr};
- explicit payload_exception(const char *what)
- : _what(what)
- {
- }
- virtual const char *what() const noexcept override final { return _what; } // NOLINT
- };
- class _payload_domain;
- using status_code_payload = BOOST_OUTCOME_SYSTEM_ERROR2_NAMESPACE::status_code<_payload_domain>;
- class _payload_domain : public BOOST_OUTCOME_SYSTEM_ERROR2_NAMESPACE::status_code_domain
- {
- template <class> friend class status_code;
- using _base = BOOST_OUTCOME_SYSTEM_ERROR2_NAMESPACE::status_code_domain;
- public:
- using value_type = payload;
- using string_ref = _base::string_ref;
- public:
- constexpr _payload_domain() noexcept : _base(0x7b782c8f935e34ba) {}
- static inline constexpr const _payload_domain &get();
- virtual _base::string_ref name() const noexcept override final { return string_ref("payload domain"); } // NOLINT
- protected:
- virtual bool _do_failure(const BOOST_OUTCOME_SYSTEM_ERROR2_NAMESPACE::status_code<void> &code) const noexcept override final // NOLINT
- {
- assert(code.domain() == *this); // NOLINT
- return static_cast<const status_code_payload &>(code).value().ec != BOOST_OUTCOME_SYSTEM_ERROR2_NAMESPACE::errc::success; // NOLINT
- }
- virtual bool _do_equivalent(const BOOST_OUTCOME_SYSTEM_ERROR2_NAMESPACE::status_code<void> &code1, const BOOST_OUTCOME_SYSTEM_ERROR2_NAMESPACE::status_code<void> &code2) const noexcept override final // NOLINT
- {
- assert(code1.domain() == *this); // NOLINT
- const auto &c1 = static_cast<const status_code_payload &>(code1); // NOLINT
- if(code2.domain() == *this)
- {
- const auto &c2 = static_cast<const status_code_payload &>(code2); // NOLINT
- return c1.value().ec == c2.value().ec;
- }
- return false;
- }
- virtual BOOST_OUTCOME_SYSTEM_ERROR2_NAMESPACE::generic_code _generic_code(const BOOST_OUTCOME_SYSTEM_ERROR2_NAMESPACE::status_code<void> &code) const noexcept override final // NOLINT
- {
- assert(code.domain() == *this); // NOLINT
- return static_cast<const status_code_payload &>(code).value().ec; // NOLINT
- }
- virtual _base::string_ref _do_message(const BOOST_OUTCOME_SYSTEM_ERROR2_NAMESPACE::status_code<void> &code) const noexcept override final // NOLINT
- {
- assert(code.domain() == *this); // NOLINT
- const auto &c = static_cast<const status_code_payload &>(code); // NOLINT
- return string_ref(BOOST_OUTCOME_SYSTEM_ERROR2_NAMESPACE::detail::generic_code_message(c.value().ec));
- }
- virtual void _do_throw_exception(const BOOST_OUTCOME_SYSTEM_ERROR2_NAMESPACE::status_code<void> &code) const override final // NOLINT
- {
- assert(code.domain() == *this); // NOLINT
- const auto &c = static_cast<const status_code_payload &>(code); // NOLINT
- throw payload_exception(c.value().str);
- }
- };
- constexpr _payload_domain payload_domain;
- inline constexpr const _payload_domain &_payload_domain::get()
- {
- return payload_domain;
- }
- inline status_code_payload make_status_code(payload c) noexcept
- {
- return status_code_payload(BOOST_OUTCOME_SYSTEM_ERROR2_NAMESPACE::in_place, c);
- }
- #endif
- BOOST_OUTCOME_AUTO_TEST_CASE(works_status_code_result, "Tests that the result with status_code works as intended")
- {
- using namespace BOOST_OUTCOME_SYSTEM_ERROR2_NAMESPACE;
- { // errored int
- result<int> m(generic_code{errc::bad_address});
- BOOST_CHECK(!m);
- BOOST_CHECK(!m.has_value());
- BOOST_CHECK(m.has_error());
- // BOOST_CHECK(!m.has_exception());
- BOOST_CHECK_THROW(m.value(), generic_error);
- BOOST_CHECK_NO_THROW(m.error());
- }
- { // errored void
- result<void> m(generic_code{errc::bad_address});
- BOOST_CHECK(!m);
- BOOST_CHECK(!m.has_value());
- BOOST_CHECK(m.has_error());
- // BOOST_CHECK(!m.has_exception());
- BOOST_CHECK_THROW(([&m]() -> void { return m.value(); }()), generic_error);
- BOOST_CHECK_NO_THROW(m.error());
- }
- { // valued int
- result<int> m(5);
- BOOST_CHECK(m);
- BOOST_CHECK(m.has_value());
- BOOST_CHECK(!m.has_error());
- // BOOST_CHECK(!m.has_exception());
- BOOST_CHECK(m.value() == 5);
- m.value() = 6;
- BOOST_CHECK(m.value() == 6);
- }
- { // valued bool
- result<bool> m(false);
- BOOST_CHECK(m);
- BOOST_CHECK(m.has_value());
- BOOST_CHECK(!m.has_error());
- // BOOST_CHECK(!m.has_exception());
- BOOST_CHECK(m.value() == false);
- m.value() = true;
- BOOST_CHECK(m.value() == true);
- }
- { // moves do not clear state
- result<std::string> m("niall");
- BOOST_CHECK(m);
- BOOST_CHECK(m.has_value());
- BOOST_CHECK(!m.has_error());
- // BOOST_CHECK(!m.has_exception());
- BOOST_CHECK(m.value() == "niall");
- m.value() = "NIALL";
- BOOST_CHECK(m.value() == "NIALL");
- auto temp(std::move(m).value());
- BOOST_CHECK(temp == "NIALL");
- BOOST_CHECK(m.value().empty()); // NOLINT
- }
- { // valued void
- result<void> m(in_place_type<void>);
- BOOST_CHECK(m);
- BOOST_CHECK(m.has_value());
- BOOST_CHECK(!m.has_error());
- // BOOST_CHECK(!m.has_exception());
- BOOST_CHECK_NO_THROW(m.value()); // works, but type returned is unusable
- }
- { // errored
- error ec(errc::no_link);
- result<int> m(ec.clone());
- BOOST_CHECK(!m);
- BOOST_CHECK(!m.has_value());
- BOOST_CHECK(m.has_error());
- // BOOST_CHECK(!m.has_exception());
- BOOST_CHECK_THROW(m.value(), generic_error);
- BOOST_CHECK(m.error() == ec);
- }
- if(false) // NOLINT
- { // void, void is permitted, but is not constructible
- result<void, void> *m = nullptr;
- m->value();
- m->error();
- }
- {
- // Deliberately define non-trivial operations
- struct udt
- {
- int _v{0};
- udt() = default;
- udt(udt &&o) noexcept : _v(o._v) {}
- udt(const udt &o) // NOLINT
- : _v(o._v)
- {
- }
- udt &operator=(udt &&o) noexcept
- {
- _v = o._v;
- return *this;
- }
- udt &operator=(const udt &o) // NOLINT
- {
- _v = o._v;
- return *this;
- }
- ~udt() { _v = 0; }
- };
- // No default construction, no copy nor move
- struct udt2
- {
- udt2() = delete;
- udt2(udt2 &&) = delete;
- udt2(const udt2 &) = delete;
- udt2 &operator=(udt2 &&) = delete;
- udt2 &operator=(const udt2 &) = delete;
- explicit udt2(int /*unused*/) {}
- ~udt2() = default;
- };
- // Can only be constructed via multiple args
- struct udt3
- {
- udt3() = delete;
- udt3(udt3 &&) = delete;
- udt3(const udt3 &) = delete;
- udt3 &operator=(udt3 &&) = delete;
- udt3 &operator=(const udt3 &) = delete;
- explicit udt3(int /*unused*/, const char * /*unused*/, std::nullptr_t /*unused*/) {}
- ~udt3() = default;
- };
- result<int> a(5);
- result<int> b(generic_code{errc::invalid_argument});
- std::cout << sizeof(a) << std::endl; // 32 bytes
- if(false) // NOLINT
- {
- b.assume_value();
- a.assume_error();
- }
- #ifndef BOOST_NO_EXCEPTIONS
- try
- {
- b.value();
- std::cerr << "fail" << std::endl;
- std::terminate();
- }
- catch(const generic_error &e)
- {
- BOOST_CHECK(!strcmp(e.what(), b.error().message().c_str()));
- }
- #endif
- static_assert(!std::is_default_constructible<decltype(a)>::value, "");
- static_assert(!std::is_nothrow_default_constructible<decltype(a)>::value, "");
- static_assert(!std::is_copy_constructible<decltype(a)>::value, "");
- // Quality of implementation of std::optional is poor :(
- #ifndef TESTING_WG21_EXPERIMENTAL_RESULT
- static_assert(!std::is_trivially_copy_constructible<decltype(a)>::value, "");
- static_assert(!std::is_nothrow_copy_constructible<decltype(a)>::value, "");
- static_assert(!std::is_copy_assignable<decltype(a)>::value, "");
- static_assert(!std::is_trivially_copy_assignable<decltype(a)>::value, "");
- static_assert(!std::is_nothrow_copy_assignable<decltype(a)>::value, "");
- #endif
- static_assert(!std::is_trivially_destructible<decltype(a)>::value, "");
- static_assert(std::is_nothrow_destructible<decltype(a)>::value, "");
- // Test void compiles
- result<void> c(in_place_type<void>);
- // Test a standard udt compiles
- result<udt> d(in_place_type<udt>);
- static_assert(!std::is_default_constructible<decltype(d)>::value, "");
- static_assert(!std::is_nothrow_default_constructible<decltype(d)>::value, "");
- static_assert(!std::is_copy_constructible<decltype(d)>::value, "");
- static_assert(!std::is_trivially_copy_constructible<decltype(d)>::value, "");
- static_assert(!std::is_nothrow_copy_constructible<decltype(d)>::value, "");
- static_assert(!std::is_copy_assignable<decltype(d)>::value, "");
- static_assert(!std::is_trivially_copy_assignable<decltype(d)>::value, "");
- static_assert(!std::is_nothrow_copy_assignable<decltype(d)>::value, "");
- static_assert(std::is_move_assignable<decltype(d)>::value, "");
- static_assert(!std::is_trivially_move_assignable<decltype(d)>::value, "");
- static_assert(std::is_nothrow_move_assignable<decltype(d)>::value, "");
- static_assert(!std::is_trivially_destructible<decltype(d)>::value, "");
- static_assert(std::is_nothrow_destructible<decltype(d)>::value, "");
- // Test a highly pathological udt compiles
- result<udt2> e(in_place_type<udt2>, 5);
- // result<udt2> e2(e);
- static_assert(!std::is_default_constructible<decltype(e)>::value, "");
- static_assert(!std::is_nothrow_default_constructible<decltype(e)>::value, "");
- static_assert(!std::is_copy_constructible<decltype(e)>::value, "");
- static_assert(!std::is_trivially_copy_constructible<decltype(e)>::value, "");
- static_assert(!std::is_nothrow_copy_constructible<decltype(e)>::value, "");
- static_assert(!std::is_copy_assignable<decltype(e)>::value, "");
- static_assert(!std::is_trivially_copy_assignable<decltype(e)>::value, "");
- static_assert(!std::is_nothrow_copy_assignable<decltype(e)>::value, "");
- static_assert(!std::is_move_assignable<decltype(e)>::value, "");
- static_assert(!std::is_trivially_move_assignable<decltype(e)>::value, "");
- static_assert(!std::is_nothrow_move_assignable<decltype(e)>::value, "");
- // Test a udt which can only be constructed in place compiles
- result<udt3> g(in_place_type<udt3>, 5, static_cast<const char *>("niall"), nullptr);
- // Does converting inplace construction also work?
- result<udt3> h(5, static_cast<const char *>("niall"), nullptr);
- result<udt3> i(generic_code{errc::not_enough_memory});
- BOOST_CHECK(h.has_value());
- BOOST_CHECK(i.has_error());
- }
- // Test direct use of error code enum works
- {
- constexpr result<int, errc, BOOST_OUTCOME_V2_NAMESPACE::policy::all_narrow> a(5), b(errc::invalid_argument);
- static_assert(a.value() == 5, "a is not 5");
- static_assert(b.error() == errc::invalid_argument, "b is not errored");
- }
- #ifndef BOOST_NO_EXCEPTIONS
- // Test payload facility
- {
- const char *niall = "niall";
- result<int, status_code_payload> b{payload{errc::invalid_argument, niall}};
- try
- {
- b.value();
- BOOST_CHECK(false);
- }
- catch(const payload_exception &e)
- {
- BOOST_CHECK(!strcmp(e.what(), niall));
- }
- catch(...)
- {
- BOOST_CHECK(false);
- }
- }
- #endif
- }
|