From Jason Turner

[char.traits.typedefs]

C++17 → C++20 2.0 KB 42 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/tmpfsgjncpp/{from.md → to.md} +10 -29
tmp/tmpfsgjncpp/{from.md → to.md} RENAMED
@@ -1,39 +1,20 @@
1
  ### Traits typedefs <a id="char.traits.typedefs">[[char.traits.typedefs]]</a>
2
 
3
  ``` cpp
4
- using char_type = CHAR_T;
5
  ```
6
 
7
- The type `char_type` is used to refer to the character container type in
8
- the implementation of the library classes defined in  [[string.classes]]
9
- and Clause  [[input.output]].
10
 
11
  ``` cpp
12
- using int_type = INT_T;
13
  ```
14
 
15
- *Requires:* For a certain character container type `char_type`, a
16
- related container type `INT_T` shall be a type or class which can
17
- represent all of the valid characters converted from the corresponding
18
- `char_type` values, as well as an end-of-file value, `eof()`. The type
19
- `int_type` represents a character container type which can hold
20
- end-of-file to be used as a return type of the iostream class member
21
- functions.[^1]
22
-
23
- ``` cpp
24
- using off_type = implementation-defined;
25
- using pos_type = implementation-defined;
26
- ```
27
-
28
- *Requires:* Requirements for `off_type` and `pos_type` are described
29
- in  [[iostreams.limits.pos]] and [[iostream.forward]].
30
-
31
- ``` cpp
32
- using state_type = STATE_T;
33
- ```
34
-
35
- *Requires:* `state_type` shall meet the requirements of `CopyAssignable`
36
- (Table  [[tab:copyassignable]]), `CopyConstructible`
37
- (Table  [[tab:copyconstructible]]), and `DefaultConstructible`
38
- (Table  [[tab:defaultconstructible]]) types.
39
 
 
1
  ### Traits typedefs <a id="char.traits.typedefs">[[char.traits.typedefs]]</a>
2
 
3
  ``` cpp
4
+ using int_type = see below;
5
  ```
6
 
7
+ *Preconditions:* `int_type` shall be able to represent all of the valid
8
+ characters converted from the corresponding `char_type` values, as well
9
+ as an end-of-file value, `eof()`. [^1]
10
 
11
  ``` cpp
12
+ using state_type = see below;
13
  ```
14
 
15
+ *Preconditions:* `state_type` meets the *Cpp17Destructible*
16
+ ([[cpp17.destructible]]), *Cpp17CopyAssignable*
17
+ ([[cpp17.copyassignable]]), *Cpp17CopyConstructible*
18
+ ([[cpp17.copyconstructible]]), and *Cpp17DefaultConstructible*
19
+ ([[cpp17.defaultconstructible]]) requirements.
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
20