27 Strings library [strings]

27.2 Character traits [char.traits]

27.2.3 Traits typedefs [char.traits.typedefs]

using int_type = see below;

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().¹⁸⁹

🔗

using state_type = see below;

Preconditions: state_type meets the Cpp17Destructible (Table 35), Cpp17CopyAssignable (Table 34), Cpp17CopyConstructible (Table 32), and Cpp17DefaultConstructible (Table 30) requirements.

189)189)

If eof() can be held in char_type then some iostreams operations can give surprising results.