uninitialized_default_construct.h

Go to the documentation of this file.

#pragma once
 
#include "di/container/concepts/prelude.h"
#include "di/container/iterator/prelude.h"
#include "di/container/meta/prelude.h"
#include "di/meta/trivial.h"
#include "di/util/addressof.h"
#include "di/util/default_construct_at.h"
 
namespace di::container {
namespace detail {
    struct UninitializedDefaultConstructFunction {
        template<concepts::UninitForwardIterator Out, concepts::UninitSentinelFor<Out> OutSent>
        requires(concepts::DefaultInitializable<meta::IteratorValue<Out>>)
        constexpr auto operator()(Out out, OutSent out_last) const -> Out {
            if constexpr (concepts::TriviallyDefaultConstructible<meta::IteratorValue<Out>>) {
                return container::next(out, out_last);
            }
 
            for (; out != out_last; ++out) {
                util::default_construct_at(util::addressof(*out));
            }
            return out;
        }
 
        template<concepts::UninitForwardContainer Out>
        requires(concepts::DefaultInitializable<meta::ContainerValue<Out>>)
        constexpr auto operator()(Out&& out) const -> meta::BorrowedIterator<Out> {
            return (*this)(container::begin(out), container::end(out));
        }
    };
}
 
constexpr inline auto uninitialized_default_construct = detail::UninitializedDefaultConstructFunction {};
}
 
namespace di {
using container::uninitialized_default_construct;
}