From Jason Turner

[filebuf.cons]

C++17 → C++20 2.8 KB 43 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/tmpqpuxeu69/{from.md → to.md} +19 -20
tmp/tmpqpuxeu69/{from.md → to.md} RENAMED
@@ -1,33 +1,32 @@
1
- #### `basic_filebuf` constructors <a id="filebuf.cons">[[filebuf.cons]]</a>
2
 
3
  ``` cpp
4
  basic_filebuf();
5
  ```
6
 
7
- *Effects:* Constructs an object of class `basic_filebuf<charT, traits>`,
8
- initializing the base class with
9
- `basic_streambuf<charT, traits>()` ([[streambuf.cons]]).
10
 
11
- *Postconditions:* `is_open() == false`.
12
 
13
  ``` cpp
14
  basic_filebuf(basic_filebuf&& rhs);
15
  ```
16
 
17
- *Effects:* Move constructs from the rvalue `rhs`. It is
18
- *implementation-defined* whether the sequence pointers in `*this`
19
- (`eback()`, `gptr()`, `egptr()`, `pbase()`, `pptr()`, `epptr()`) obtain
20
- the values which `rhs` had. Whether they do or not, `*this` and `rhs`
21
- reference separate buffers (if any at all) after the construction.
22
- Additionally `*this` references the file which `rhs` did before the
23
- construction, and `rhs` references no file after the construction. The
24
- openmode, locale and any other state of `rhs` is also copied.
25
 
26
- *Postconditions:* Let `rhs_p` refer to the state of `rhs` just prior to
27
- this construction and let `rhs_a` refer to the state of `rhs` just after
28
- this construction.
29
 
30
  - `is_open() == rhs_p.is_open()`
31
  - `rhs_a.is_open() == false`
32
  - `gptr() - eback() == rhs_p.gptr() - rhs_p.eback()`
33
  - `egptr() - eback() == rhs_p.egptr() - rhs_p.eback()`
@@ -42,10 +41,10 @@ this construction.
42
 
43
  ``` cpp
44
  virtual ~basic_filebuf();
45
  ```
46
 
47
- *Effects:* Destroys an object of class `basic_filebuf<charT, traits>`.
48
- Calls `close()`. If an exception occurs during the destruction of the
49
- object, including the call to `close()`, the exception is caught but not
50
- rethrown (see  [[res.on.exception.handling]]).
51
 
 
1
+ #### Constructors <a id="filebuf.cons">[[filebuf.cons]]</a>
2
 
3
  ``` cpp
4
  basic_filebuf();
5
  ```
6
 
7
+ *Effects:* Initializes the base class with
8
+ `basic_streambuf<charT, traits>()` [[streambuf.cons]].
 
9
 
10
+ *Ensures:* `is_open() == false`.
11
 
12
  ``` cpp
13
  basic_filebuf(basic_filebuf&& rhs);
14
  ```
15
 
16
+ *Effects:* It is *implementation-defined* whether the sequence pointers
17
+ in `*this` (`eback()`, `gptr()`, `egptr()`, `pbase()`, `pptr()`,
18
+ `epptr()`) obtain the values which `rhs` had. Whether they do or not,
19
+ `*this` and `rhs` reference separate buffers (if any at all) after the
20
+ construction. Additionally `*this` references the file which `rhs` did
21
+ before the construction, and `rhs` references no file after the
22
+ construction. The openmode, locale and any other state of `rhs` is also
23
+ copied.
24
 
25
+ *Ensures:* Let `rhs_p` refer to the state of `rhs` just prior to this
26
+ construction and let `rhs_a` refer to the state of `rhs` just after this
27
+ construction.
28
 
29
  - `is_open() == rhs_p.is_open()`
30
  - `rhs_a.is_open() == false`
31
  - `gptr() - eback() == rhs_p.gptr() - rhs_p.eback()`
32
  - `egptr() - eback() == rhs_p.egptr() - rhs_p.eback()`
 
41
 
42
  ``` cpp
43
  virtual ~basic_filebuf();
44
  ```
45
 
46
+ *Effects:* Calls `close()`. If an exception occurs during the
47
+ destruction of the object, including the call to `close()`, the
48
+ exception is caught but not rethrown
49
+ (see  [[res.on.exception.handling]]).
50