31 Input/output library [input.output]

31.9 Span-based streams [span.streams]

explicit basic_spanbuf(std::span<charT> s,
                       ios_base::openmode which = ios_base::in | ios_base::out);

Effects: Initializes the base class with basic_streambuf() ([streambuf.cons]), and mode with which.

Initializes the internal pointers as if calling span(s).

basic_spanbuf(basic_spanbuf&& rhs);

Effects: Initializes the base class with std::move(rhs) and mode with std::move(rhs.mode) and buf with std::move(rhs.buf).

The sequence pointers in *this (eback(), gptr(), egptr(), pbase(), pptr(), epptr()) obtain the values which rhs had.

It is implementation-defined whether rhs.buf.empty() returns true after the move.

Postconditions: Let rhs_p refer to the state of rhs just prior to this construction.

(3.1)
span().data() == rhs_p.span().data()
(3.2)
span().size() == rhs_p.span().size()
(3.3)
eback() == rhs_p.eback()
(3.4)
gptr() == rhs_p.gptr()
(3.5)
egptr() == rhs_p.egptr()
(3.6)
pbase() == rhs_p.pbase()
(3.7)
pptr() == rhs_p.pptr()
(3.8)
epptr() == rhs_p.epptr()
(3.9)
getloc() == rhs_p.getloc()