From Jason Turner

[re.results.const]

C++17 → C++20 2.4 KB 36 lines
Current Draft | LaTeX Source
Archived: C++17 | C++20
Markdown: C++17 | C++20
Explore in Adventure Game

Diff to HTML by rtfpessoa

Files changed (1) hide show
  1. tmp/tmp0mghgp1_/{from.md → to.md} +8 -25
tmp/tmp0mghgp1_/{from.md → to.md} RENAMED
@@ -1,52 +1,35 @@
1
- ### `match_results` constructors <a id="re.results.const">[[re.results.const]]</a>
2
-
3
- In all `match_results` constructors, a copy of the `Allocator` argument
4
- shall be used for any memory allocation performed by the constructor or
5
- member functions during the lifetime of the object.
6
-
7
- ``` cpp
8
- match_results(const Allocator& a = Allocator());
9
- ```
10
-
11
- *Effects:* Constructs an object of class `match_results`.
12
-
13
- *Postconditions:* `ready()` returns `false`. `size()` returns `0`.
14
 
15
  ``` cpp
16
- match_results(const match_results& m);
17
  ```
18
 
19
- *Effects:* Constructs an object of class `match_results`, as a copy of
20
- `m`.
21
 
22
  ``` cpp
23
  match_results(match_results&& m) noexcept;
24
  ```
25
 
26
- *Effects:*  Move constructs an object of class `match_results` from `m`
27
- satisfying the same postconditions as Table  [[tab:re:results:assign]].
28
- Additionally, the stored `Allocator` value is move constructed from
29
  `m.get_allocator()`.
30
 
31
- *Throws:* Nothing.
32
 
33
  ``` cpp
34
  match_results& operator=(const match_results& m);
35
  ```
36
 
37
- *Effects:* Assigns `m` to `*this`. The postconditions of this function
38
- are indicated in Table  [[tab:re:results:assign]].
39
 
40
  ``` cpp
41
  match_results& operator=(match_results&& m);
42
  ```
43
 
44
- *Effects:*  Move-assigns `m` to `*this`. The postconditions of this
45
- function are indicated in Table  [[tab:re:results:assign]].
46
 
47
- **Table: `match_results` assignment operator effects** <a id="tab:re:results:assign">[tab:re:results:assign]</a>
48
 
49
  | Element | Value |
50
  | ------------- | ----------------------------------------------- |
51
  | `ready()` | `m.ready()` |
52
  | `size()` | `m.size()` |
 
1
+ ### Constructors <a id="re.results.const">[[re.results.const]]</a>
 
 
 
 
 
 
 
 
 
 
 
 
2
 
3
  ``` cpp
4
+ explicit match_results(const Allocator& a);
5
  ```
6
 
7
+ *Ensures:* `ready()` returns `false`. `size()` returns `0`.
 
8
 
9
  ``` cpp
10
  match_results(match_results&& m) noexcept;
11
  ```
12
 
13
+ *Effects:* The stored `Allocator` value is move constructed from
 
 
14
  `m.get_allocator()`.
15
 
16
+ *Ensures:* As specified in [[re.results.const]].
17
 
18
  ``` cpp
19
  match_results& operator=(const match_results& m);
20
  ```
21
 
22
+ *Ensures:* As specified in [[re.results.const]].
 
23
 
24
  ``` cpp
25
  match_results& operator=(match_results&& m);
26
  ```
27
 
28
+ *Ensures:* As specified in [[re.results.const]].
 
29
 
30
+ **Table: `match_results` assignment operator effects** <a id="re.results.const">[re.results.const]</a>
31
 
32
  | Element | Value |
33
  | ------------- | ----------------------------------------------- |
34
  | `ready()` | `m.ready()` |
35
  | `size()` | `m.size()` |