30 Input/output library [input.output]

30.9 File-based streams [file.streams]

30.9.2 Class template basic_­filebuf [filebuf]

30.9.2.1 basic_­filebuf constructors [filebuf.cons]

basic_filebuf();
1
#
Effects: Constructs an object of class basic_­filebuf<charT, traits>, initializing the base class with basic_­streambuf<charT, traits>() ([streambuf.cons]).
2
#
Postconditions: is_­open() == false.
basic_filebuf(basic_filebuf&& rhs);
3
#
Effects: Move constructs from the rvalue rhs.
It is implementation-defined whether the sequence pointers in *this (eback(), gptr(), egptr(), pbase(), pptr(), epptr()) obtain the values which rhs had.
Whether they do or not, *this and rhs reference separate buffers (if any at all) after the construction.
Additionally *this references the file which rhs did before the construction, and rhs references no file after the construction.
The openmode, locale and any other state of rhs is also copied.
4
#
Postconditions: Let rhs_­p refer to the state of rhs just prior to this construction and let rhs_­a refer to the state of rhs just after this construction.
  • (4.1)
    is_­open() == rhs_­p.is_­open()
  • (4.2)
    rhs_­a.is_­open() == false
  • (4.3)
    gptr() - eback() == rhs_­p.gptr() - rhs_­p.eback()
  • (4.4)
    egptr() - eback() == rhs_­p.egptr() - rhs_­p.eback()
  • (4.5)
    pptr() - pbase() == rhs_­p.pptr() - rhs_­p.pbase()
  • (4.6)
    epptr() - pbase() == rhs_­p.epptr() - rhs_­p.pbase()
  • (4.7)
    if (eback()) eback() != rhs_­a.eback()
  • (4.8)
    if (gptr()) gptr() != rhs_­a.gptr()
  • (4.9)
    if (egptr()) egptr() != rhs_­a.egptr()
  • (4.10)
    if (pbase()) pbase() != rhs_­a.pbase()
  • (4.11)
    if (pptr()) pptr() != rhs_­a.pptr()
  • (4.12)
    if (epptr()) epptr() != rhs_­a.epptr()
virtual ~basic_filebuf();
5
#
Effects: Destroys an object of class basic_­filebuf<charT, traits>.
Calls close().
If an exception occurs during the destruction of the object, including the call to close(), the exception is caught but not rethrown (see [res.on.exception.handling]).