30 Input/output library [input.output]

Effects: Constructs an object of class basic_­filebuf<charT, traits>, initializing the base class with basic_­streambuf<charT, traits>() ([streambuf.cons]).

Postconditions: is_­open() == false.

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.

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()

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]).