23
Strings library
[strings]
23.2
Character traits
[char.traits]
23.2.3
Traits typedefs
[char.traits.typedefs]
🔗
using
int_type
=
see below
;
1
#
Preconditions
:
int_
type
shall be able to represent all of the valid characters converted from the corresponding
char_
type
values, as well as an end-of-file value,
eof
(
)
.
205
🔗
using
state_type
=
see below
;
2
#
Preconditions
:
state_
type
meets the
Cpp17Destructible
(Table
35
),
Cpp17CopyAssignable
(Table
34
),
Cpp17CopyConstructible
(Table
32
), and
Cpp17DefaultConstructible
(Table
30
) requirements
.
205)
205)
If
eof
(
)
can be held in
char_
type
then some iostreams operations can give surprising results
.