fill.hpp

Go to the documentation of this file.

#ifndef BSL_FILL_HPP
#define BSL_FILL_HPP

#include "cstdint.hpp"
#include "cstring.hpp"
#include "enable_if.hpp"
#include "is_constant_evaluated.hpp"
#include "is_fundamental.hpp"
#include "is_copy_assignable.hpp"
#include "is_nothrow_copy_assignable.hpp"

namespace bsl
{
    namespace details
    {
        template<typename VIEW, typename T>
        constexpr void
        fill_impl(VIEW &vw, T const &value) noexcept(    // --
            is_nothrow_copy_assignable<T>::value)
        {
            for (bsl::uintmax i{}; i < vw.size(); ++i) {
                *vw.at_if(i) = value;
            }
        }
    }

    template<typename VIEW, typename T>
    constexpr enable_if_t<is_copy_assignable<T>::value>
    fill(VIEW &vw, T const &value) noexcept(    // --
        is_nothrow_copy_assignable<T>::value)
    {
        if (is_fundamental<T>::value && !is_constant_evaluated()) {
            if (T{} == value) {
                bsl::builtin_memset(vw.data(), 0, vw.size_bytes());
            }
            else {
                details::fill_impl(vw, value);
            }
        }
        else {
            details::fill_impl(vw, value);
        }
    }

    template<typename ITER, typename T>
    constexpr enable_if_t<is_copy_assignable<T>::value>
    fill(ITER first, ITER last, T const &value) noexcept(    // --
        is_nothrow_copy_assignable<T>::value)
    {
        for (; first < last; ++first) {
            *first.get_if() = value;
        }
    }
}

#endif