123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548 |
- // -*- C++ -*-
- //===----------------------------------------------------------------------===//
- //
- // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
- // See https://llvm.org/LICENSE.txt for license information.
- // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
- //
- //===----------------------------------------------------------------------===//
- #ifndef _LIBCPP_SYSTEM_ERROR
- #define _LIBCPP_SYSTEM_ERROR
- /*
- system_error synopsis
- namespace std
- {
- class error_category
- {
- public:
- virtual ~error_category() noexcept;
- constexpr error_category();
- error_category(const error_category&) = delete;
- error_category& operator=(const error_category&) = delete;
- virtual const char* name() const noexcept = 0;
- virtual error_condition default_error_condition(int ev) const noexcept;
- virtual bool equivalent(int code, const error_condition& condition) const noexcept;
- virtual bool equivalent(const error_code& code, int condition) const noexcept;
- virtual string message(int ev) const = 0;
- bool operator==(const error_category& rhs) const noexcept;
- bool operator!=(const error_category& rhs) const noexcept; // removed in C++20
- bool operator<(const error_category& rhs) const noexcept; // removed in C++20
- strong_ordering operator<=>(const error_category& rhs) const noexcept; // C++20
- };
- const error_category& generic_category() noexcept;
- const error_category& system_category() noexcept;
- template <class T> struct is_error_code_enum
- : public false_type {};
- template <class T> struct is_error_condition_enum
- : public false_type {};
- template <class _Tp>
- inline constexpr bool is_error_condition_enum_v = is_error_condition_enum<_Tp>::value; // C++17
- template <class _Tp>
- inline constexpr bool is_error_code_enum_v = is_error_code_enum<_Tp>::value; // C++17
- class error_code
- {
- public:
- // constructors:
- error_code() noexcept;
- error_code(int val, const error_category& cat) noexcept;
- template <class ErrorCodeEnum>
- error_code(ErrorCodeEnum e) noexcept;
- // modifiers:
- void assign(int val, const error_category& cat) noexcept;
- template <class ErrorCodeEnum>
- error_code& operator=(ErrorCodeEnum e) noexcept;
- void clear() noexcept;
- // observers:
- int value() const noexcept;
- const error_category& category() const noexcept;
- error_condition default_error_condition() const noexcept;
- string message() const;
- explicit operator bool() const noexcept;
- };
- // non-member functions:
- template <class charT, class traits>
- basic_ostream<charT,traits>&
- operator<<(basic_ostream<charT,traits>& os, const error_code& ec);
- class error_condition
- {
- public:
- // constructors:
- error_condition() noexcept;
- error_condition(int val, const error_category& cat) noexcept;
- template <class ErrorConditionEnum>
- error_condition(ErrorConditionEnum e) noexcept;
- // modifiers:
- void assign(int val, const error_category& cat) noexcept;
- template <class ErrorConditionEnum>
- error_condition& operator=(ErrorConditionEnum e) noexcept;
- void clear() noexcept;
- // observers:
- int value() const noexcept;
- const error_category& category() const noexcept;
- string message() const noexcept;
- explicit operator bool() const noexcept;
- };
- class system_error
- : public runtime_error
- {
- public:
- system_error(error_code ec, const string& what_arg);
- system_error(error_code ec, const char* what_arg);
- system_error(error_code ec);
- system_error(int ev, const error_category& ecat, const string& what_arg);
- system_error(int ev, const error_category& ecat, const char* what_arg);
- system_error(int ev, const error_category& ecat);
- const error_code& code() const noexcept;
- const char* what() const noexcept;
- };
- template <> struct is_error_condition_enum<errc>
- : true_type { }
- error_code make_error_code(errc e) noexcept;
- error_condition make_error_condition(errc e) noexcept;
- // Comparison operators:
- bool operator==(const error_code& lhs, const error_code& rhs) noexcept;
- bool operator==(const error_code& lhs, const error_condition& rhs) noexcept;
- bool operator==(const error_condition& lhs, const error_code& rhs) noexcept; // removed in C++20
- bool operator==(const error_condition& lhs, const error_condition& rhs) noexcept;
- bool operator!=(const error_code& lhs, const error_code& rhs) noexcept; // removed in C++20
- bool operator!=(const error_code& lhs, const error_condition& rhs) noexcept; // removed in C++20
- bool operator!=(const error_condition& lhs, const error_code& rhs) noexcept; // removed in C++20
- bool operator!=(const error_condition& lhs, const error_condition& rhs) noexcept; // removed in C++20
- bool operator<(const error_condition& lhs, const error_condition& rhs) noexcept; // removed in C++20
- bool operator<(const error_code& lhs, const error_code& rhs) noexcept; // removed in C++20
- strong_ordering operator<=>(const error_code& lhs, const error_code& rhs) noexcept; // C++20
- strong_ordering operator<=>(const error_condition& lhs, const error_condition& rhs) noexcept; // C++20
- template <> struct hash<std::error_code>;
- template <> struct hash<std::error_condition>;
- } // std
- */
- #include <__assert> // all public C++ headers provide the assertion handler
- #include <__config>
- #include <__errc>
- #include <__functional/hash.h>
- #include <__functional/unary_function.h>
- #include <__memory/addressof.h>
- #include <stdexcept>
- #include <string>
- #include <type_traits>
- #include <version>
- // standard-mandated includes
- // [system.error.syn]
- #include <compare>
- #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
- # pragma GCC system_header
- #endif
- _LIBCPP_BEGIN_NAMESPACE_STD
- // is_error_code_enum
- template <class _Tp>
- struct _LIBCPP_TEMPLATE_VIS is_error_code_enum
- : public false_type {};
- #if _LIBCPP_STD_VER > 14
- template <class _Tp>
- inline constexpr bool is_error_code_enum_v = is_error_code_enum<_Tp>::value;
- #endif
- // is_error_condition_enum
- template <class _Tp>
- struct _LIBCPP_TEMPLATE_VIS is_error_condition_enum
- : public false_type {};
- #if _LIBCPP_STD_VER > 14
- template <class _Tp>
- inline constexpr bool is_error_condition_enum_v = is_error_condition_enum<_Tp>::value;
- #endif
- template <>
- struct _LIBCPP_TEMPLATE_VIS is_error_condition_enum<errc>
- : true_type { };
- #ifdef _LIBCPP_CXX03_LANG
- template <>
- struct _LIBCPP_TEMPLATE_VIS is_error_condition_enum<errc::__lx>
- : true_type { };
- #endif
- class _LIBCPP_TYPE_VIS error_condition;
- class _LIBCPP_TYPE_VIS error_code;
- // class error_category
- class _LIBCPP_HIDDEN __do_message;
- class _LIBCPP_TYPE_VIS error_category
- {
- public:
- virtual ~error_category() _NOEXCEPT;
- #if defined(_LIBCPP_ERROR_CATEGORY_DEFINE_LEGACY_INLINE_FUNCTIONS)
- error_category() noexcept;
- #else
- _LIBCPP_INLINE_VISIBILITY
- _LIBCPP_CONSTEXPR_SINCE_CXX14 error_category() _NOEXCEPT = default;
- #endif
- error_category(const error_category&) = delete;
- error_category& operator=(const error_category&) = delete;
- virtual const char* name() const _NOEXCEPT = 0;
- virtual error_condition default_error_condition(int __ev) const _NOEXCEPT;
- virtual bool equivalent(int __code, const error_condition& __condition) const _NOEXCEPT;
- virtual bool equivalent(const error_code& __code, int __condition) const _NOEXCEPT;
- virtual string message(int __ev) const = 0;
- _LIBCPP_INLINE_VISIBILITY
- bool operator==(const error_category& __rhs) const _NOEXCEPT {return this == &__rhs;}
- #if _LIBCPP_STD_VER > 17
- _LIBCPP_HIDE_FROM_ABI
- strong_ordering operator<=>(const error_category& __rhs) const noexcept {return compare_three_way()(this, std::addressof(__rhs));}
- #else // _LIBCPP_STD_VER > 17
- _LIBCPP_INLINE_VISIBILITY
- bool operator!=(const error_category& __rhs) const _NOEXCEPT {return !(*this == __rhs);}
- _LIBCPP_INLINE_VISIBILITY
- bool operator< (const error_category& __rhs) const _NOEXCEPT {return this < &__rhs;}
- #endif // _LIBCPP_STD_VER > 17
- friend class _LIBCPP_HIDDEN __do_message;
- };
- class _LIBCPP_HIDDEN __do_message
- : public error_category
- {
- public:
- string message(int __ev) const override;
- };
- _LIBCPP_FUNC_VIS const error_category& generic_category() _NOEXCEPT;
- _LIBCPP_FUNC_VIS const error_category& system_category() _NOEXCEPT;
- namespace __adl_only {
- // Those cause ADL to trigger but they are not viable candidates,
- // so they are never actually selected.
- void make_error_condition() = delete;
- void make_error_code() = delete;
- } // namespace __adl_only
- class _LIBCPP_TYPE_VIS error_condition
- {
- int __val_;
- const error_category* __cat_;
- public:
- _LIBCPP_INLINE_VISIBILITY
- error_condition() _NOEXCEPT : __val_(0), __cat_(&generic_category()) {}
- _LIBCPP_INLINE_VISIBILITY
- error_condition(int __val, const error_category& __cat) _NOEXCEPT
- : __val_(__val), __cat_(&__cat) {}
- template <class _Ep>
- _LIBCPP_INLINE_VISIBILITY
- error_condition(_Ep __e,
- typename enable_if<is_error_condition_enum<_Ep>::value>::type* = nullptr
- ) _NOEXCEPT
- {
- using __adl_only::make_error_condition;
- *this = make_error_condition(__e);
- }
- _LIBCPP_INLINE_VISIBILITY
- void assign(int __val, const error_category& __cat) _NOEXCEPT
- {
- __val_ = __val;
- __cat_ = &__cat;
- }
- template <class _Ep>
- _LIBCPP_INLINE_VISIBILITY
- typename enable_if
- <
- is_error_condition_enum<_Ep>::value,
- error_condition&
- >::type
- operator=(_Ep __e) _NOEXCEPT
- {
- using __adl_only::make_error_condition;
- *this = make_error_condition(__e);
- return *this;
- }
- _LIBCPP_INLINE_VISIBILITY
- void clear() _NOEXCEPT
- {
- __val_ = 0;
- __cat_ = &generic_category();
- }
- _LIBCPP_INLINE_VISIBILITY
- int value() const _NOEXCEPT {return __val_;}
- _LIBCPP_INLINE_VISIBILITY
- const error_category& category() const _NOEXCEPT {return *__cat_;}
- string message() const;
- _LIBCPP_INLINE_VISIBILITY
- explicit operator bool() const _NOEXCEPT {return __val_ != 0;}
- };
- inline _LIBCPP_INLINE_VISIBILITY
- error_condition
- make_error_condition(errc __e) _NOEXCEPT
- {
- return error_condition(static_cast<int>(__e), generic_category());
- }
- // error_code
- class _LIBCPP_TYPE_VIS error_code
- {
- int __val_;
- const error_category* __cat_;
- public:
- _LIBCPP_INLINE_VISIBILITY
- error_code() _NOEXCEPT : __val_(0), __cat_(&system_category()) {}
- _LIBCPP_INLINE_VISIBILITY
- error_code(int __val, const error_category& __cat) _NOEXCEPT
- : __val_(__val), __cat_(&__cat) {}
- template <class _Ep>
- _LIBCPP_INLINE_VISIBILITY
- error_code(_Ep __e,
- typename enable_if<is_error_code_enum<_Ep>::value>::type* = nullptr
- ) _NOEXCEPT
- {
- using __adl_only::make_error_code;
- *this = make_error_code(__e);
- }
- _LIBCPP_INLINE_VISIBILITY
- void assign(int __val, const error_category& __cat) _NOEXCEPT
- {
- __val_ = __val;
- __cat_ = &__cat;
- }
- template <class _Ep>
- _LIBCPP_INLINE_VISIBILITY
- typename enable_if
- <
- is_error_code_enum<_Ep>::value,
- error_code&
- >::type
- operator=(_Ep __e) _NOEXCEPT
- {
- using __adl_only::make_error_code;
- *this = make_error_code(__e);
- return *this;
- }
- _LIBCPP_INLINE_VISIBILITY
- void clear() _NOEXCEPT
- {
- __val_ = 0;
- __cat_ = &system_category();
- }
- _LIBCPP_INLINE_VISIBILITY
- int value() const _NOEXCEPT {return __val_;}
- _LIBCPP_INLINE_VISIBILITY
- const error_category& category() const _NOEXCEPT {return *__cat_;}
- _LIBCPP_INLINE_VISIBILITY
- error_condition default_error_condition() const _NOEXCEPT
- {return __cat_->default_error_condition(__val_);}
- string message() const;
- _LIBCPP_INLINE_VISIBILITY
- explicit operator bool() const _NOEXCEPT {return __val_ != 0;}
- };
- inline _LIBCPP_INLINE_VISIBILITY
- error_code
- make_error_code(errc __e) _NOEXCEPT
- {
- return error_code(static_cast<int>(__e), generic_category());
- }
- inline _LIBCPP_INLINE_VISIBILITY
- bool
- operator==(const error_code& __x, const error_code& __y) _NOEXCEPT
- {
- return __x.category() == __y.category() && __x.value() == __y.value();
- }
- inline _LIBCPP_INLINE_VISIBILITY
- bool
- operator==(const error_code& __x, const error_condition& __y) _NOEXCEPT
- {
- return __x.category().equivalent(__x.value(), __y)
- || __y.category().equivalent(__x, __y.value());
- }
- #if _LIBCPP_STD_VER <= 17
- inline _LIBCPP_INLINE_VISIBILITY
- bool
- operator==(const error_condition& __x, const error_code& __y) _NOEXCEPT
- {
- return __y == __x;
- }
- #endif
- inline _LIBCPP_INLINE_VISIBILITY
- bool
- operator==(const error_condition& __x, const error_condition& __y) _NOEXCEPT
- {
- return __x.category() == __y.category() && __x.value() == __y.value();
- }
- #if _LIBCPP_STD_VER <= 17
- inline _LIBCPP_INLINE_VISIBILITY
- bool
- operator!=(const error_code& __x, const error_code& __y) _NOEXCEPT
- {return !(__x == __y);}
- inline _LIBCPP_INLINE_VISIBILITY
- bool
- operator!=(const error_code& __x, const error_condition& __y) _NOEXCEPT
- {return !(__x == __y);}
- inline _LIBCPP_INLINE_VISIBILITY
- bool
- operator!=(const error_condition& __x, const error_code& __y) _NOEXCEPT
- {return !(__x == __y);}
- inline _LIBCPP_INLINE_VISIBILITY
- bool
- operator!=(const error_condition& __x, const error_condition& __y) _NOEXCEPT
- {return !(__x == __y);}
- inline _LIBCPP_INLINE_VISIBILITY
- bool
- operator<(const error_condition& __x, const error_condition& __y) _NOEXCEPT
- {
- return __x.category() < __y.category()
- || (__x.category() == __y.category() && __x.value() < __y.value());
- }
- inline _LIBCPP_INLINE_VISIBILITY
- bool
- operator<(const error_code& __x, const error_code& __y) _NOEXCEPT
- {
- return __x.category() < __y.category()
- || (__x.category() == __y.category() && __x.value() < __y.value());
- }
- #else // _LIBCPP_STD_VER <= 17
- inline _LIBCPP_HIDE_FROM_ABI strong_ordering
- operator<=>(const error_code& __x, const error_code& __y) noexcept
- {
- if (auto __c = __x.category() <=> __y.category(); __c != 0)
- return __c;
- return __x.value() <=> __y.value();
- }
- inline _LIBCPP_HIDE_FROM_ABI strong_ordering
- operator<=>(const error_condition& __x, const error_condition& __y) noexcept
- {
- if (auto __c = __x.category() <=> __y.category(); __c != 0)
- return __c;
- return __x.value() <=> __y.value();
- }
- #endif // _LIBCPP_STD_VER <= 17
- template <>
- struct _LIBCPP_TEMPLATE_VIS hash<error_code>
- : public __unary_function<error_code, size_t>
- {
- _LIBCPP_INLINE_VISIBILITY
- size_t operator()(const error_code& __ec) const _NOEXCEPT
- {
- return static_cast<size_t>(__ec.value());
- }
- };
- template <>
- struct _LIBCPP_TEMPLATE_VIS hash<error_condition>
- : public __unary_function<error_condition, size_t>
- {
- _LIBCPP_INLINE_VISIBILITY
- size_t operator()(const error_condition& __ec) const _NOEXCEPT
- {
- return static_cast<size_t>(__ec.value());
- }
- };
- // system_error
- class _LIBCPP_TYPE_VIS system_error
- : public runtime_error
- {
- error_code __ec_;
- public:
- system_error(error_code __ec, const string& __what_arg);
- system_error(error_code __ec, const char* __what_arg);
- system_error(error_code __ec);
- system_error(int __ev, const error_category& __ecat, const string& __what_arg);
- system_error(int __ev, const error_category& __ecat, const char* __what_arg);
- system_error(int __ev, const error_category& __ecat);
- system_error(const system_error&) _NOEXCEPT = default;
- ~system_error() _NOEXCEPT override;
- _LIBCPP_INLINE_VISIBILITY
- const error_code& code() const _NOEXCEPT {return __ec_;}
- private:
- static string __init(const error_code&, string);
- };
- _LIBCPP_NORETURN _LIBCPP_FUNC_VIS
- void __throw_system_error(int __ev, const char* __what_arg);
- _LIBCPP_END_NAMESPACE_STD
- #endif // _LIBCPP_SYSTEM_ERROR
|