MutableBufferSequence

A MutableBufferSequence represents a collection of mutable_buffer s.

Related Identifiers

is_mutable_buffer_sequence.

Requirements

T denotes a type meeting the requirements of MutableBufferSequence.
t denotes a (possibly const) value of type T.

Expression Type Semantics, Pre/Post-conditions

Expression	Type	Semantics, Pre/Post-conditions
`T::value_type`	`mutable_buffer`	This type represents a mutable buffer in the sequence.
`T::const_iterator`		This type represents an iterator type that satisfies the requirements of `std::bidirectional_iterator`, whose value type is `mutable_buffer`.
`t.begin()`	`T::const_iterator`	Returns an iterator to the first element of the sequence.
`t.end()`	`T::const_iterator`	Returns an iterator to the element following the last element of the sequence.
`T u(t)`;		`T` satisfies the requirements of `std::copyconstructible` and `std::destructible`. Post-conditions: `assert(std::ranges::size(t) == std::ranges::size(u)); for (auto [l, r] : std::views::zip(t, u)) { assert(l.data() == r.data()); assert(l.size() == r.size()); }`

T::value_type

mutable_buffer

This type represents a mutable buffer in the sequence.

T::const_iterator

This type represents an iterator type that satisfies the requirements of std::bidirectional_iterator, whose value type is mutable_buffer.

t.begin()

T::const_iterator

Returns an iterator to the first element of the sequence.

t.end()

T::const_iterator

Returns an iterator to the element following the last element of the sequence.

T u(t);

T satisfies the requirements of std::copyconstructible and std::destructible.

Post-conditions:

assert(std::ranges::size(t) == std::ranges::size(u));

for (auto [l, r] : std::views::zip(t, u))
{
    assert(l.data() == r.data());
    assert(l.size() == r.size());
}

Models

mutable_buffer_span
mutable_buffer_pair