31 Input/output library [input.output]

31.7 Formatting and manipulators [iostream.format]

31.7.5 Input streams [input.streams]

31.7.5.7 Class template basic_iostream [iostreamclass]

31.7.5.7.3 Destructor [iostream.dest]