Wann setzt 'ifstream :: readsome' 'eofbit'?

Dieser Code wird für immer wiederholt:

Dies liegt daran, dass readsome niemals eofbit setzt.

cplusplus.com sagt:

  

Fehler werden durch Ändern der internen Zustandsflags signalisiert:

     

eofbit Der get-Zeiger befindet sich am Ende der internen Eingabe des Stream-Puffers   Wenn die Funktion aufgerufen wird, bedeutet dies, dass keine Positionen vorhanden sind   Lesen Sie den internen Puffer (der das Ende der Eingabe sein kann oder nicht)   Sequenz). Dies geschieht, wenn rdbuf()->in_avail() -1 vor dem zurückgibt   erstes Zeichen wird extrahiert.

     

failbit Der Stream befand sich am Ende der Zeichenquelle vor dem   Funktion wurde aufgerufen.

     

badbit Ein anderer Fehler ist aufgetreten.

Fast derselbe Standard lautet:

  

[C++11: 27.7.2.3]: streamsize readsome(char_type* s, streamsize n);

     

32. Effekte: Benutzt sich als unformatierte Eingabefunktion (wie in   27.7.2.3, Absatz 1). Nach dem Erstellen eines Sentry-Objekts, wenn !good() aufruft    setstate(failbit) , die eine Ausnahme auslösen und zurückgeben kann. Ansonsten Extrakte   Zeichen und speichert sie in aufeinanderfolgenden Orten eines Arrays, deren erste   Element wird mit s bezeichnet. Wenn rdbuf()->in_avail() == -1 , Aufrufe    setstate(eofbit) (die ios_base::failure (27.5.5.4) auslösen kann) und Extrakte   keine Zeichen;

     

• Wenn rdbuf()->in_avail() == 0 , extrahiert keine Zeichen
  
• Wenn rdbuf()->in_avail() > 0 , Extrakte min(rdbuf()->in_avail(),n)) .
  

33. Rückgabe: Die Anzahl der extrahierten Zeichen.

Dass die Bedingung in_avail() == 0 eine Nicht-Operation ist, bedeutet, dass ifstream::readsome selbst keine Operation ist, wenn der Strompuffer leer ist, aber die Bedingung in_avail() == -1 bedeutet, dass gesetzt wird eofbit , wenn eine andere Operation zu in_avail() == -1 geführt hat.

Dies scheint eine Inkonsistenz zu sein, trotz der "etwas" Natur von readsome .

Was also sind die Semantiken von readsome und eof ? Habe ich sie richtig interpretiert? Sind sie ein Beispiel für schlechtes Design in der Stream-Bibliothek?

^{(Gestohlen vom [IMO] ungültigen libstdc ++ Fehler 52169 .)}