22 Diagnostics library [diagnostics]

22.5 System error support [syserr]

22.5.7 Class system_­error [syserr.syserr]

22.5.7.1 Class system_­error overview [syserr.syserr.overview]

The class system_­error describes an exception object used to report error conditions that have an associated error code.
Such error conditions typically originate from the operating system or other low-level application program interfaces.
[Note
:
If an error represents an out-of-memory condition, implementations are encouraged to throw an exception object of type bad_­alloc ([bad.alloc]) rather than system_­error.
end note
]
namespace std {
  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 override;
  };
}

22.5.7.2 Class system_­error members [syserr.syserr.members]

system_error(error_code ec, const string& what_arg);
Effects: Constructs an object of class system_­error.
Postconditions: code() == ec.
string(what()).find(what_­arg) != string​::​npos.
system_error(error_code ec, const char* what_arg);
Effects: Constructs an object of class system_­error.
Postconditions: code() == ec.
string(what()).find(what_­arg) != string​::​npos.
system_error(error_code ec);
Effects: Constructs an object of class system_­error.
Postconditions: code() == ec.
system_error(int ev, const error_category& ecat, const string& what_arg);
Effects: Constructs an object of class system_­error.
Postconditions: code() == error_­code(ev, ecat).
string(what()).find(what_­arg) != string​::​npos.
system_error(int ev, const error_category& ecat, const char* what_arg);
Effects: Constructs an object of class system_­error.
Postconditions: code() == error_­code(ev, ecat).
string(what()).find(what_­arg) != string​::​npos.
system_error(int ev, const error_category& ecat);
Effects: Constructs an object of class system_­error.
Postconditions: code() == error_­code(ev, ecat).
const error_code& code() const noexcept;
Returns: ec or error_­code(ev, ecat), from the constructor, as appropriate.
const char* what() const noexcept override;
Returns: An ntbs incorporating the arguments supplied in the constructor.
[Note
:
The returned ntbs might be the contents of what_­arg + ": " + code.message().
end note
]