| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945 |
- // boost/system/error_code.hpp -------------------------------------------------------//
- // Copyright Beman Dawes 2006, 2007
- // Copyright Christoper Kohlhoff 2007
- // Copyright Peter Dimov 2017, 2018
- // Distributed under the Boost Software License, Version 1.0. (See accompanying
- // file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
- // See library home page at http://www.boost.org/libs/system
- #ifndef BOOST_SYSTEM_ERROR_CODE_HPP
- #define BOOST_SYSTEM_ERROR_CODE_HPP
- #include <boost/system/config.hpp>
- #include <boost/cstdint.hpp>
- #include <boost/assert.hpp>
- #include <boost/noncopyable.hpp>
- #include <boost/utility/enable_if.hpp>
- #include <ostream>
- #include <string>
- #include <stdexcept>
- #include <functional>
- // TODO: undef these macros if not already defined
- #include <boost/cerrno.hpp>
- #if !defined(BOOST_POSIX_API) && !defined(BOOST_WINDOWS_API)
- # error BOOST_POSIX_API or BOOST_WINDOWS_API must be defined
- #endif
- #ifndef BOOST_NO_CXX11_HDR_SYSTEM_ERROR
- #include <system_error>
- #endif
- #include <boost/config/abi_prefix.hpp> // must be the last #include
- #ifndef BOOST_SYSTEM_NOEXCEPT
- #define BOOST_SYSTEM_NOEXCEPT BOOST_NOEXCEPT
- #endif
- #if !defined(BOOST_NO_CXX14_CONSTEXPR)
- # define BOOST_SYSTEM_HAS_CONSTEXPR
- #endif
- #if defined(__GNUC__) && (__GNUC__ == 7 && __GNUC_MINOR__ < 4) && __cplusplus >= 201700L
- // https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83835
- # undef BOOST_SYSTEM_HAS_CONSTEXPR
- #endif
- #if defined(__clang__) && defined(_MSC_VER) && defined(_CPPLIB_VER)
- // Clang on Windows with MSVC headers, the constructor of std::error_category
- // is not constexpr at least up to VS2017 15.7.x (_MSVC_STL_UPDATE 201803)
- # undef BOOST_SYSTEM_HAS_CONSTEXPR
- #endif
- #if defined(__clang__) && defined(BOOST_LIBSTDCXX_VERSION) && BOOST_LIBSTDCXX_VERSION < 40900
- // The constructor of std::error_category is not constexpr in libstdc++ 4.8
- # undef BOOST_SYSTEM_HAS_CONSTEXPR
- #endif
- #if defined(BOOST_SYSTEM_HAS_CONSTEXPR)
- # define BOOST_SYSTEM_CONSTEXPR constexpr
- #else
- # define BOOST_SYSTEM_CONSTEXPR
- #endif
- namespace boost
- {
- namespace system
- {
- class error_code; // values defined by the operating system
- class error_condition; // portable generic values defined below, but ultimately
- // based on the POSIX standard
- // "Concept" helpers -------------------------------------------------------------//
- template< class T >
- struct is_error_code_enum { static const bool value = false; };
- template< class T >
- struct is_error_condition_enum { static const bool value = false; };
- // generic error_conditions ------------------------------------------------------//
- namespace errc
- {
- enum errc_t
- {
- success = 0,
- address_family_not_supported = EAFNOSUPPORT,
- address_in_use = EADDRINUSE,
- address_not_available = EADDRNOTAVAIL,
- already_connected = EISCONN,
- argument_list_too_long = E2BIG,
- argument_out_of_domain = EDOM,
- bad_address = EFAULT,
- bad_file_descriptor = EBADF,
- bad_message = EBADMSG,
- broken_pipe = EPIPE,
- connection_aborted = ECONNABORTED,
- connection_already_in_progress = EALREADY,
- connection_refused = ECONNREFUSED,
- connection_reset = ECONNRESET,
- cross_device_link = EXDEV,
- destination_address_required = EDESTADDRREQ,
- device_or_resource_busy = EBUSY,
- directory_not_empty = ENOTEMPTY,
- executable_format_error = ENOEXEC,
- file_exists = EEXIST,
- file_too_large = EFBIG,
- filename_too_long = ENAMETOOLONG,
- function_not_supported = ENOSYS,
- host_unreachable = EHOSTUNREACH,
- identifier_removed = EIDRM,
- illegal_byte_sequence = EILSEQ,
- inappropriate_io_control_operation = ENOTTY,
- interrupted = EINTR,
- invalid_argument = EINVAL,
- invalid_seek = ESPIPE,
- io_error = EIO,
- is_a_directory = EISDIR,
- message_size = EMSGSIZE,
- network_down = ENETDOWN,
- network_reset = ENETRESET,
- network_unreachable = ENETUNREACH,
- no_buffer_space = ENOBUFS,
- no_child_process = ECHILD,
- no_link = ENOLINK,
- no_lock_available = ENOLCK,
- no_message_available = ENODATA,
- no_message = ENOMSG,
- no_protocol_option = ENOPROTOOPT,
- no_space_on_device = ENOSPC,
- no_stream_resources = ENOSR,
- no_such_device_or_address = ENXIO,
- no_such_device = ENODEV,
- no_such_file_or_directory = ENOENT,
- no_such_process = ESRCH,
- not_a_directory = ENOTDIR,
- not_a_socket = ENOTSOCK,
- not_a_stream = ENOSTR,
- not_connected = ENOTCONN,
- not_enough_memory = ENOMEM,
- not_supported = ENOTSUP,
- operation_canceled = ECANCELED,
- operation_in_progress = EINPROGRESS,
- operation_not_permitted = EPERM,
- operation_not_supported = EOPNOTSUPP,
- operation_would_block = EWOULDBLOCK,
- owner_dead = EOWNERDEAD,
- permission_denied = EACCES,
- protocol_error = EPROTO,
- protocol_not_supported = EPROTONOSUPPORT,
- read_only_file_system = EROFS,
- resource_deadlock_would_occur = EDEADLK,
- resource_unavailable_try_again = EAGAIN,
- result_out_of_range = ERANGE,
- state_not_recoverable = ENOTRECOVERABLE,
- stream_timeout = ETIME,
- text_file_busy = ETXTBSY,
- timed_out = ETIMEDOUT,
- too_many_files_open_in_system = ENFILE,
- too_many_files_open = EMFILE,
- too_many_links = EMLINK,
- too_many_symbolic_link_levels = ELOOP,
- value_too_large = EOVERFLOW,
- wrong_protocol_type = EPROTOTYPE
- };
- } // namespace errc
- # ifdef BOOST_SYSTEM_ENABLE_DEPRECATED
- namespace posix = errc;
- namespace posix_error = errc;
- # endif
- template<> struct is_error_condition_enum<errc::errc_t>
- { static const bool value = true; };
- // --------------------------------------------------------------------------------//
- // Operating system specific interfaces ------------------------------------------//
- // The interface is divided into general and system-specific portions to
- // meet these requirements:
- //
- // * Code calling an operating system API can create an error_code with
- // a single category (system_category), even for POSIX-like operating
- // systems that return some POSIX errno values and some native errno
- // values. This code should not have to pay the cost of distinguishing
- // between categories, since it is not yet known if that is needed.
- //
- // * Users wishing to write system-specific code should be given enums for
- // at least the common error cases.
- //
- // * System specific code should fail at compile time if moved to another
- // operating system.
- // The system specific portions of the interface are located in headers
- // with names reflecting the operating system. For example,
- //
- // <boost/system/cygwin_error.hpp>
- // <boost/system/linux_error.hpp>
- // <boost/system/windows_error.hpp>
- //
- // These headers are effectively empty for compiles on operating systems
- // where they are not applicable.
- // --------------------------------------------------------------------------------//
- #ifdef BOOST_MSVC
- #pragma warning(push)
- // 'this' : used in base member initializer list
- #pragma warning(disable: 4355)
- #endif
- // class error_category ------------------------------------------------//
- class error_category : public noncopyable
- {
- #ifndef BOOST_NO_CXX11_HDR_SYSTEM_ERROR
- private:
- class std_category: public std::error_category
- {
- private:
- boost::system::error_category const * pc_;
- public:
- BOOST_SYSTEM_CONSTEXPR explicit std_category( boost::system::error_category const * pc ): pc_( pc )
- {
- }
- virtual const char * name() const BOOST_NOEXCEPT
- {
- return pc_->name();
- }
- virtual std::string message( int ev ) const
- {
- return pc_->message( ev );
- }
- virtual std::error_condition default_error_condition( int ev ) const
- BOOST_NOEXCEPT;
- virtual bool equivalent( int code, const std::error_condition & condition ) const
- BOOST_NOEXCEPT;
- virtual bool equivalent( const std::error_code & code, int condition ) const
- BOOST_NOEXCEPT;
- };
- std_category std_cat_;
- public:
- BOOST_SYSTEM_CONSTEXPR error_category() BOOST_SYSTEM_NOEXCEPT: std_cat_( this ) {}
- operator std::error_category const & () const BOOST_SYSTEM_NOEXCEPT
- {
- // do not map generic to std::generic on purpose; occasionally,
- // there are two std::generic categories in a program, which leads
- // to error codes/conditions mysteriously not being equal to themselves
- return std_cat_;
- }
- #else
- // to maintain ABI compatibility between 03 and 11,
- // define a class with the same layout
- private:
- class std_category
- {
- private:
- boost::system::error_category const * pc_;
- public:
- BOOST_SYSTEM_CONSTEXPR explicit std_category( boost::system::error_category const * pc ): pc_( pc )
- {
- }
- virtual ~std_category() {}
- virtual const char * name() const BOOST_NOEXCEPT
- {
- return pc_->name();
- }
- // we can't define message, because (1) it returns an std::string,
- // which can be different between 03 and 11, and (2) on mingw, there
- // are actually two `message` functions, not one, so it doesn't work
- // even if we do
- // neither can we define default_error_condition or equivalent
- // if these functions are called, it will crash, but that's still
- // better than the alternative of having the class layout change
- };
- std_category std_cat_;
- public:
- BOOST_SYSTEM_CONSTEXPR error_category() BOOST_SYSTEM_NOEXCEPT: std_cat_( this ) {}
- #endif
- public:
- virtual ~error_category(){}
- virtual const char * name() const BOOST_SYSTEM_NOEXCEPT = 0;
- virtual std::string message( int ev ) const = 0;
- inline virtual error_condition default_error_condition( int ev ) const
- BOOST_SYSTEM_NOEXCEPT;
- inline virtual bool equivalent( int code,
- const error_condition & condition ) const
- BOOST_SYSTEM_NOEXCEPT;
- inline virtual bool equivalent( const error_code & code,
- int condition ) const BOOST_SYSTEM_NOEXCEPT;
- };
- BOOST_SYSTEM_CONSTEXPR inline bool operator==( const error_category & lhs,
- const error_category & rhs ) BOOST_SYSTEM_NOEXCEPT
- { return &lhs == &rhs; }
- BOOST_SYSTEM_CONSTEXPR inline bool operator!=( const error_category & lhs,
- const error_category & rhs ) BOOST_SYSTEM_NOEXCEPT
- { return &lhs != &rhs; }
- inline bool operator<( const error_category & lhs,
- const error_category & rhs ) BOOST_SYSTEM_NOEXCEPT
- { return std::less<const error_category*>()( &lhs, &rhs ); }
- #ifdef BOOST_MSVC
- #pragma warning(pop)
- #endif
- // predefined error categories ---------------------------------------------------//
- namespace detail
- {
- #ifdef BOOST_ERROR_CODE_HEADER_ONLY
- # define BOOST_SYSTEM_DECL_
- #else
- # define BOOST_SYSTEM_DECL_ BOOST_SYSTEM_DECL
- #endif
- class generic_error_category: public error_category
- {
- public:
- // clang++ 3.8 and below: initialization of const object
- // requires a user-provided default constructor
- BOOST_SYSTEM_CONSTEXPR generic_error_category() BOOST_SYSTEM_NOEXCEPT
- {
- }
- const char * name() const BOOST_SYSTEM_NOEXCEPT
- {
- return "generic";
- }
- BOOST_SYSTEM_DECL_ std::string message( int ev ) const;
- };
- class system_error_category: public error_category
- {
- public:
- BOOST_SYSTEM_CONSTEXPR system_error_category() BOOST_SYSTEM_NOEXCEPT
- {
- }
- const char * name() const BOOST_SYSTEM_NOEXCEPT
- {
- return "system";
- }
- BOOST_SYSTEM_DECL_ std::string message( int ev ) const;
- BOOST_SYSTEM_DECL_ error_condition default_error_condition( int ev ) const BOOST_SYSTEM_NOEXCEPT;
- };
- #undef BOOST_SYSTEM_DECL_
- } // namespace detail
- #define BOOST_SYSTEM_REQUIRE_CONST_INIT
- #if defined(__has_cpp_attribute)
- #if __has_cpp_attribute(clang::require_constant_initialization)
- # undef BOOST_SYSTEM_REQUIRE_CONST_INIT
- # define BOOST_SYSTEM_REQUIRE_CONST_INIT [[clang::require_constant_initialization]]
- #endif
- #endif
- #if defined(BOOST_ERROR_CODE_HEADER_ONLY)
- # if defined(BOOST_SYSTEM_HAS_CONSTEXPR)
- namespace detail
- {
- template<class T> struct cat_holder
- {
- static system_error_category system_category_instance;
- static generic_error_category generic_category_instance;
- };
- template<class T> BOOST_SYSTEM_REQUIRE_CONST_INIT system_error_category cat_holder<T>::system_category_instance;
- template<class T> BOOST_SYSTEM_REQUIRE_CONST_INIT generic_error_category cat_holder<T>::generic_category_instance;
- } // namespace detail
- constexpr const error_category & system_category() BOOST_SYSTEM_NOEXCEPT
- {
- return detail::cat_holder<void>::system_category_instance;
- }
- constexpr const error_category & generic_category() BOOST_SYSTEM_NOEXCEPT
- {
- return detail::cat_holder<void>::generic_category_instance;
- }
- # else
- inline const error_category & system_category() BOOST_SYSTEM_NOEXCEPT
- {
- static const detail::system_error_category system_category_instance;
- return system_category_instance;
- }
- inline const error_category & generic_category() BOOST_SYSTEM_NOEXCEPT
- {
- static const detail::generic_error_category generic_category_instance;
- return generic_category_instance;
- }
- # endif
- #elif defined(BOOST_SYSTEM_HAS_CONSTEXPR)
- namespace detail
- {
- #if defined(BOOST_SYSTEM_SOURCE)
- // clang++ requires a strictly matching declaration
- BOOST_SYSTEM_DECL extern system_error_category system_category_instance;
- BOOST_SYSTEM_DECL extern generic_error_category generic_category_instance;
- #else
- extern system_error_category system_category_instance;
- extern generic_error_category generic_category_instance;
- #endif
- } // namespace detail
- constexpr const error_category & system_category() BOOST_SYSTEM_NOEXCEPT
- {
- return detail::system_category_instance;
- }
- constexpr const error_category & generic_category() BOOST_SYSTEM_NOEXCEPT
- {
- return detail::generic_category_instance;
- }
- #else
- namespace detail
- {
- BOOST_SYSTEM_DECL const error_category & system_category_ncx() BOOST_SYSTEM_NOEXCEPT;
- BOOST_SYSTEM_DECL const error_category & generic_category_ncx() BOOST_SYSTEM_NOEXCEPT;
- } // namespace detail
- inline const error_category & system_category() BOOST_SYSTEM_NOEXCEPT
- {
- return detail::system_category_ncx();
- }
- inline const error_category & generic_category() BOOST_SYSTEM_NOEXCEPT
- {
- return detail::generic_category_ncx();
- }
- #endif
- // deprecated synonyms ------------------------------------------------------------//
- #ifdef BOOST_SYSTEM_ENABLE_DEPRECATED
- inline const error_category & get_system_category() { return system_category(); }
- inline const error_category & get_generic_category() { return generic_category(); }
- inline const error_category & get_posix_category() { return generic_category(); }
- static const error_category & posix_category BOOST_ATTRIBUTE_UNUSED
- = generic_category();
- static const error_category & errno_ecat BOOST_ATTRIBUTE_UNUSED
- = generic_category();
- static const error_category & native_ecat BOOST_ATTRIBUTE_UNUSED
- = system_category();
- #endif
- // class error_condition ---------------------------------------------------------//
- // error_conditions are portable, error_codes are system or library specific
- class error_condition
- {
- public:
- // constructors:
- BOOST_SYSTEM_CONSTEXPR error_condition() BOOST_SYSTEM_NOEXCEPT : m_val(0), m_cat(&generic_category()) {}
- BOOST_SYSTEM_CONSTEXPR error_condition( int val, const error_category & cat ) BOOST_SYSTEM_NOEXCEPT
- : m_val(val), m_cat(&cat) {}
- template <class ErrorConditionEnum>
- error_condition(ErrorConditionEnum e,
- typename boost::enable_if<is_error_condition_enum<ErrorConditionEnum> >::type*
- = 0) BOOST_SYSTEM_NOEXCEPT
- {
- *this = make_error_condition(e);
- }
- // modifiers:
- BOOST_SYSTEM_CONSTEXPR void assign( int val, const error_category & cat ) BOOST_SYSTEM_NOEXCEPT
- {
- m_val = val;
- m_cat = &cat;
- }
- template<typename ErrorConditionEnum>
- typename boost::enable_if<is_error_condition_enum<ErrorConditionEnum>,
- error_condition>::type &
- operator=( ErrorConditionEnum val ) BOOST_SYSTEM_NOEXCEPT
- {
- *this = make_error_condition(val);
- return *this;
- }
- BOOST_SYSTEM_CONSTEXPR void clear() BOOST_SYSTEM_NOEXCEPT
- {
- m_val = 0;
- m_cat = &generic_category();
- }
- // observers:
- BOOST_SYSTEM_CONSTEXPR int value() const BOOST_SYSTEM_NOEXCEPT { return m_val; }
- BOOST_SYSTEM_CONSTEXPR const error_category & category() const BOOST_SYSTEM_NOEXCEPT { return *m_cat; }
- std::string message() const { return m_cat->message(value()); }
- #if !defined(BOOST_NO_CXX11_EXPLICIT_CONVERSION_OPERATORS)
- BOOST_SYSTEM_CONSTEXPR explicit operator bool() const BOOST_SYSTEM_NOEXCEPT // true if error
- {
- return m_val != 0;
- }
- #else
- typedef void (*unspecified_bool_type)();
- static void unspecified_bool_true() {}
- BOOST_SYSTEM_CONSTEXPR operator unspecified_bool_type() const BOOST_SYSTEM_NOEXCEPT // true if error
- {
- return m_val == 0 ? 0 : unspecified_bool_true;
- }
- BOOST_SYSTEM_CONSTEXPR bool operator!() const BOOST_SYSTEM_NOEXCEPT // true if no error
- {
- return m_val == 0;
- }
- #endif
- // relationals:
- // the more symmetrical non-member syntax allows enum
- // conversions work for both rhs and lhs.
- BOOST_SYSTEM_CONSTEXPR inline friend bool operator==( const error_condition & lhs,
- const error_condition & rhs ) BOOST_SYSTEM_NOEXCEPT
- {
- return lhs.m_cat == rhs.m_cat && lhs.m_val == rhs.m_val;
- }
- inline friend bool operator<( const error_condition & lhs,
- const error_condition & rhs ) BOOST_SYSTEM_NOEXCEPT
- // the more symmetrical non-member syntax allows enum
- // conversions work for both rhs and lhs.
- {
- return lhs.m_cat < rhs.m_cat
- || (lhs.m_cat == rhs.m_cat && lhs.m_val < rhs.m_val);
- }
- #ifndef BOOST_NO_CXX11_HDR_SYSTEM_ERROR
- operator std::error_condition () const BOOST_SYSTEM_NOEXCEPT
- {
- return std::error_condition( value(), category() );
- }
- #endif
- private:
- int m_val;
- const error_category * m_cat;
- };
- // class error_code --------------------------------------------------------------//
- // We want error_code to be a value type that can be copied without slicing
- // and without requiring heap allocation, but we also want it to have
- // polymorphic behavior based on the error category. This is achieved by
- // abstract base class error_category supplying the polymorphic behavior,
- // and error_code containing a pointer to an object of a type derived
- // from error_category.
- class error_code
- {
- public:
- // constructors:
- BOOST_SYSTEM_CONSTEXPR error_code() BOOST_SYSTEM_NOEXCEPT : m_val(0), m_cat(&system_category()) {}
- BOOST_SYSTEM_CONSTEXPR error_code( int val, const error_category & cat ) BOOST_SYSTEM_NOEXCEPT
- : m_val(val), m_cat(&cat) {}
- template <class ErrorCodeEnum>
- error_code(ErrorCodeEnum e,
- typename boost::enable_if<is_error_code_enum<ErrorCodeEnum> >::type* = 0)
- BOOST_SYSTEM_NOEXCEPT
- {
- *this = make_error_code(e);
- }
- // modifiers:
- BOOST_SYSTEM_CONSTEXPR void assign( int val, const error_category & cat ) BOOST_SYSTEM_NOEXCEPT
- {
- m_val = val;
- m_cat = &cat;
- }
- template<typename ErrorCodeEnum>
- typename boost::enable_if<is_error_code_enum<ErrorCodeEnum>, error_code>::type &
- operator=( ErrorCodeEnum val ) BOOST_SYSTEM_NOEXCEPT
- {
- *this = make_error_code(val);
- return *this;
- }
- BOOST_SYSTEM_CONSTEXPR void clear() BOOST_SYSTEM_NOEXCEPT
- {
- m_val = 0;
- m_cat = &system_category();
- }
- // observers:
- BOOST_SYSTEM_CONSTEXPR int value() const BOOST_SYSTEM_NOEXCEPT { return m_val; }
- BOOST_SYSTEM_CONSTEXPR const error_category & category() const BOOST_SYSTEM_NOEXCEPT { return *m_cat; }
- error_condition default_error_condition() const BOOST_SYSTEM_NOEXCEPT
- { return m_cat->default_error_condition(value()); }
- std::string message() const { return m_cat->message(value()); }
- #if !defined(BOOST_NO_CXX11_EXPLICIT_CONVERSION_OPERATORS)
- BOOST_SYSTEM_CONSTEXPR explicit operator bool() const BOOST_SYSTEM_NOEXCEPT // true if error
- {
- return m_val != 0;
- }
- #else
- typedef void (*unspecified_bool_type)();
- static void unspecified_bool_true() {}
- BOOST_SYSTEM_CONSTEXPR operator unspecified_bool_type() const BOOST_SYSTEM_NOEXCEPT // true if error
- {
- return m_val == 0 ? 0 : unspecified_bool_true;
- }
- BOOST_SYSTEM_CONSTEXPR bool operator!() const BOOST_SYSTEM_NOEXCEPT // true if no error
- {
- return m_val == 0;
- }
- #endif
- // relationals:
- BOOST_SYSTEM_CONSTEXPR inline friend bool operator==( const error_code & lhs,
- const error_code & rhs ) BOOST_SYSTEM_NOEXCEPT
- // the more symmetrical non-member syntax allows enum
- // conversions work for both rhs and lhs.
- {
- return lhs.m_cat == rhs.m_cat && lhs.m_val == rhs.m_val;
- }
- inline friend bool operator<( const error_code & lhs,
- const error_code & rhs ) BOOST_SYSTEM_NOEXCEPT
- // the more symmetrical non-member syntax allows enum
- // conversions work for both rhs and lhs.
- {
- return lhs.m_cat < rhs.m_cat
- || (lhs.m_cat == rhs.m_cat && lhs.m_val < rhs.m_val);
- }
- #ifndef BOOST_NO_CXX11_HDR_SYSTEM_ERROR
- operator std::error_code () const BOOST_SYSTEM_NOEXCEPT
- {
- return std::error_code( value(), category() );
- }
- #endif
- private:
- int m_val;
- const error_category * m_cat;
- };
- // predefined error_code object used as "throw on error" tag
- # ifdef BOOST_SYSTEM_ENABLE_DEPRECATED
- BOOST_SYSTEM_DECL extern error_code throws;
- # endif
- // Moving from a "throws" object to a "throws" function without breaking
- // existing code is a bit of a problem. The workaround is to place the
- // "throws" function in namespace boost rather than namespace boost::system.
- } // namespace system
-
- namespace detail
- {
- // Misuse of the error_code object is turned into a noisy failure by
- // poisoning the reference. This particular implementation doesn't
- // produce warnings or errors from popular compilers, is very efficient
- // (as determined by inspecting generated code), and does not suffer
- // from order of initialization problems. In practice, it also seems
- // cause user function error handling implementation errors to be detected
- // very early in the development cycle.
- inline system::error_code* throws()
- {
- // See github.com/boostorg/system/pull/12 by visigoth for why the return
- // is poisoned with nonzero rather than (0). A test, test_throws_usage(),
- // has been added to error_code_test.cpp, and as visigoth mentioned it
- // fails on clang for release builds with a return of 0 but works fine
- // with (1).
- // Since the undefined behavior sanitizer (-fsanitize=undefined) does not
- // allow a reference to be formed to the unaligned address of (1), we use
- // (8) instead.
- return reinterpret_cast<system::error_code*>(8);
- }
- }
- inline system::error_code& throws()
- { return *detail::throws(); }
- namespace system
- {
- // non-member functions ------------------------------------------------//
- BOOST_SYSTEM_CONSTEXPR inline bool operator!=( const error_code & lhs,
- const error_code & rhs ) BOOST_SYSTEM_NOEXCEPT
- {
- return !(lhs == rhs);
- }
- BOOST_SYSTEM_CONSTEXPR inline bool operator!=( const error_condition & lhs,
- const error_condition & rhs ) BOOST_SYSTEM_NOEXCEPT
- {
- return !(lhs == rhs);
- }
- inline bool operator==( const error_code & code,
- const error_condition & condition ) BOOST_SYSTEM_NOEXCEPT
- {
- return code.category().equivalent( code.value(), condition )
- || condition.category().equivalent( code, condition.value() );
- }
- inline bool operator!=( const error_code & lhs,
- const error_condition & rhs ) BOOST_SYSTEM_NOEXCEPT
- {
- return !(lhs == rhs);
- }
- inline bool operator==( const error_condition & condition,
- const error_code & code ) BOOST_SYSTEM_NOEXCEPT
- {
- return condition.category().equivalent( code, condition.value() )
- || code.category().equivalent( code.value(), condition );
- }
- inline bool operator!=( const error_condition & lhs,
- const error_code & rhs ) BOOST_SYSTEM_NOEXCEPT
- {
- return !(lhs == rhs);
- }
- // TODO: both of these may move elsewhere, but the LWG hasn't spoken yet.
- template <class charT, class traits>
- inline std::basic_ostream<charT,traits>&
- operator<< (std::basic_ostream<charT,traits>& os, error_code ec)
- {
- os << ec.category().name() << ':' << ec.value();
- return os;
- }
- inline std::size_t hash_value( const error_code & ec )
- {
- return static_cast<std::size_t>(ec.value())
- + reinterpret_cast<std::size_t>(&ec.category());
- }
- // make_* functions for errc::errc_t ---------------------------------------------//
- namespace errc
- {
- // explicit conversion:
- inline error_code make_error_code( errc_t e ) BOOST_SYSTEM_NOEXCEPT
- { return error_code( e, generic_category() ); }
- // implicit conversion:
- inline error_condition make_error_condition( errc_t e ) BOOST_SYSTEM_NOEXCEPT
- { return error_condition( e, generic_category() ); }
- }
- // error_category default implementation -----------------------------------------//
- error_condition error_category::default_error_condition( int ev ) const
- BOOST_SYSTEM_NOEXCEPT
- {
- return error_condition( ev, *this );
- }
- bool error_category::equivalent( int code,
- const error_condition & condition ) const BOOST_SYSTEM_NOEXCEPT
- {
- return default_error_condition( code ) == condition;
- }
- bool error_category::equivalent( const error_code & code,
- int condition ) const BOOST_SYSTEM_NOEXCEPT
- {
- return *this == code.category() && code.value() == condition;
- }
- #ifndef BOOST_NO_CXX11_HDR_SYSTEM_ERROR
- inline std::error_condition error_category::std_category::default_error_condition(
- int ev ) const BOOST_NOEXCEPT
- {
- return pc_->default_error_condition( ev );
- }
- inline bool error_category::std_category::equivalent( int code,
- const std::error_condition & condition ) const BOOST_NOEXCEPT
- {
- if( condition.category() == *this )
- {
- boost::system::error_condition bn( condition.value(), *pc_ );
- return pc_->equivalent( code, bn );
- }
- else if( condition.category() == std::generic_category()
- || condition.category() == boost::system::generic_category() )
- {
- boost::system::error_condition bn( condition.value(),
- boost::system::generic_category() );
- return pc_->equivalent( code, bn );
- }
- #ifndef BOOST_NO_RTTI
- else if( std_category const* pc2 = dynamic_cast< std_category const* >(
- &condition.category() ) )
- {
- boost::system::error_condition bn( condition.value(), *pc2->pc_ );
- return pc_->equivalent( code, bn );
- }
- #endif
- else
- {
- return default_error_condition( code ) == condition;
- }
- }
- inline bool error_category::std_category::equivalent( const std::error_code & code,
- int condition ) const BOOST_NOEXCEPT
- {
- if( code.category() == *this )
- {
- boost::system::error_code bc( code.value(), *pc_ );
- return pc_->equivalent( bc, condition );
- }
- else if( code.category() == std::generic_category()
- || code.category() == boost::system::generic_category() )
- {
- boost::system::error_code bc( code.value(),
- boost::system::generic_category() );
- return pc_->equivalent( bc, condition );
- }
- #ifndef BOOST_NO_RTTI
- else if( std_category const* pc2 = dynamic_cast< std_category const* >(
- &code.category() ) )
- {
- boost::system::error_code bc( code.value(), *pc2->pc_ );
- return pc_->equivalent( bc, condition );
- }
- #endif
- else if( *pc_ == boost::system::generic_category() )
- {
- return std::generic_category().equivalent( code, condition );
- }
- else
- {
- return false;
- }
- }
- #endif
- } // namespace system
- } // namespace boost
- #include <boost/config/abi_suffix.hpp> // pops abi_prefix.hpp pragmas
- # ifdef BOOST_ERROR_CODE_HEADER_ONLY
- # include <boost/system/detail/error_code.ipp>
- # endif
- #endif // BOOST_SYSTEM_ERROR_CODE_HPP
|