From Jason Turner

[syserr.errcondition.constructors]

C++20 → C++23 1.0 KB 15 lines
Current Draft | LaTeX Source
Archived: C++20 | C++23
Markdown: C++20 | C++23
Explore in Adventure Game

Diff to HTML by rtfpessoa

Files changed (1) hide show
  1. tmp/tmpbxxez25a/{from.md → to.md} +9 -3
tmp/tmpbxxez25a/{from.md → to.md} RENAMED
@@ -2,23 +2,29 @@
2
 
3
  ``` cpp
4
  error_condition() noexcept;
5
  ```
6
 
7
- *Ensures:* `val_ == 0` and `cat_ == &generic_category()`.
 
8
 
9
  ``` cpp
10
  error_condition(int val, const error_category& cat) noexcept;
11
  ```
12
 
13
- *Ensures:* `val_ == val` and `cat_ == &cat`.
14
 
15
  ``` cpp
16
  template<class ErrorConditionEnum>
17
  error_condition(ErrorConditionEnum e) noexcept;
18
  ```
19
 
20
  *Constraints:* `is_error_condition_enum_v<ErrorConditionEnum>` is
21
  `true`.
22
 
23
- *Ensures:* `*this == make_error_condition(e)`.
 
 
 
 
 
24
 
 
2
 
3
  ``` cpp
4
  error_condition() noexcept;
5
  ```
6
 
7
+ *Effects:* Initializes `val_` with `0` and `cat_` with
8
+ `&generic_category()`.
9
 
10
  ``` cpp
11
  error_condition(int val, const error_category& cat) noexcept;
12
  ```
13
 
14
+ *Effects:* Initializes `val_` with `val` and `cat_` with `&cat`.
15
 
16
  ``` cpp
17
  template<class ErrorConditionEnum>
18
  error_condition(ErrorConditionEnum e) noexcept;
19
  ```
20
 
21
  *Constraints:* `is_error_condition_enum_v<ErrorConditionEnum>` is
22
  `true`.
23
 
24
+ *Effects:* Equivalent to:
25
+
26
+ ``` cpp
27
+ error_condition ec = make_error_condition(e);
28
+ assign(ec.value(), ec.category());
29
+ ```
30