22 Diagnostics library [diagnostics]

22.5 System error support [syserr]

22.5.4 Class error_­condition [syserr.errcondition]

22.5.4.2 Class error_­condition constructors [syserr.errcondition.constructors]

error_condition() noexcept;

Effects: Constructs an object of type error_­condition.

Postconditions: val_­ == 0 and cat_­ == &generic_­category().

error_condition(int val, const error_category& cat) noexcept;

Effects: Constructs an object of type error_­condition.

Postconditions: val_­ == val and cat_­ == &cat.

template <class ErrorConditionEnum> error_condition(ErrorConditionEnum e) noexcept;

Effects: Constructs an object of type error_­condition.

Postconditions: *this == make_­error_­condition(e).

Remarks: This constructor shall not participate in overload resolution unless
is_­error_­condition_­enum_­v<ErrorConditionEnum> is true.