An integer type that can represent a character of type char_type or an end-of-file (EOF) character.
typedef long int_type;
It must be possible to type cast a value of type CharType to int_type then back to CharType without altering the original value.
See the example for eq_int_type for an example of how to declare and use int_type.
Header: <string>
Namespace: std