31 Input/output library [input.output]

Returns: An estimate of the number of characters available in the sequence, or $-1$.

If it returns a positive value, then successive calls to underflow() will not return traits​::​eof() until at least that number of characters have been extracted from the stream.

If showmanyc() returns $-1$, then calls to underflow() or uflow() will fail.277

Default behavior: Returns zero.

Remarks: Uses traits​::​eof().

Effects: Assigns up to n characters to successive elements of the array whose first element is designated by s.

The characters assigned are read from the input sequence as if by repeated calls to sbumpc().

Assigning stops when either n characters have been assigned or a call to sbumpc() would return traits​::​eof().

Returns: The number of characters assigned.278

Remarks: Uses traits​::​eof().

The pending sequence of characters is defined as the concatenation of

• (7.1)
  the empty sequence if gptr() is null, otherwise the characters in [gptr(), egptr()), followed by
• (7.2)
  some (possibly empty) sequence of characters read from the input sequence.

The result character is the first character of the pending sequence if it is non-empty, otherwise the next character that would be read from the input sequence.

The backup sequence is the empty sequence if eback() is null, otherwise the characters in [eback(), gptr()).

Effects: The function sets up the gptr() and egptr() such that if the pending sequence is non-empty, then egptr() is non-null and the characters in [gptr(), egptr()) are the characters in the pending sequence, otherwise either gptr() is null or gptr() == egptr().

If eback() and gptr() are non-null then the function is not constrained as to their contents, but the “usual backup condition” is that either

• (11.1)
  the backup sequence contains at least gptr() - eback() characters, in which case the characters in [eback(), gptr()) agree with the last gptr() - eback() characters of the backup sequence, or
• (11.2)
  the characters in [gptr() - n, gptr()) agree with the backup sequence (where n is the length of the backup sequence).

Returns: traits​::​to_int_type(c), where c is the first character of the pending sequence, without moving the input sequence position past it.

If the pending sequence is null then the function returns traits​::​eof() to indicate failure.

Default behavior: Returns traits​::​eof().

Remarks: The public members of basic_streambuf call this virtual function only if gptr() is null or gptr() >= egptr().

Preconditions: The constraints are the same as for underflow(), except that the result character is transferred from the pending sequence to the backup sequence, and the pending sequence is not empty before the transfer.

Default behavior: Calls underflow().

If underflow() returns traits​::​eof(), returns traits​::​eof().

Otherwise, returns the value of traits​::​to_int_type(*gptr()) and increments the value of the next pointer for the input sequence.

Returns: traits​::​eof() to indicate failure.