mutable_vector.h

Go to the documentation of this file.

#pragma once
 
#include "di/container/concepts/contiguous_container.h"
#include "di/container/vector/constant_vector.h"
#include "di/meta/core.h"
#include "di/meta/language.h"
#include "di/meta/operations.h"
#include "di/meta/vocab.h"
#include "di/types/prelude.h"
 
namespace di::concepts::detail {
template<typename T>
concept MutableVector = ConstantVector<T> && DefaultConstructible<T> && MoveConstructible<T> &&
                        requires(T& value, T const& cvalue, usize n) {
                            { cvalue.capacity() } -> SameAs<usize>;
                            { cvalue.max_size() } -> SameAs<usize>;
                            { value.reserve_from_nothing(n) } -> MaybeFallible<void>;
                            { value.assume_size(n) } -> LanguageVoid;
                            { cvalue.grow_capacity(n) } -> SameAs<usize>;
                        };
}
 
namespace di::meta::detail {
template<concepts::detail::MutableVector T>
using VectorAllocResult = decltype(util::declval<T&>().reserve_from_nothing(util::declval<size_t>()));
}