le_size_ge0.hpp

Go to the documentation of this file.

 
#ifndef EAGINE_VALID_IF_LE_SIZE_GE0_HPP
#define EAGINE_VALID_IF_LE_SIZE_GE0_HPP
 
#include "in_class.hpp"
 
namespace eagine {
 
template <typename T, typename C>
struct valid_if_le_size_ge0_policy {
 
    auto operator()(T x, const C& c) const {
        return (T(0) <= x) && (x <= c.size());
    }
 
    auto operator()(T x, const C& c, T o) const {
        return (T(0) <= x) && (x <= c.size() - o);
    }
 
    struct do_log {
        template <typename X, typename = disable_if_same_t<X, do_log>>
        constexpr do_log(X&&) noexcept {}
 
        template <typename Log>
        void operator()(Log& log, const T& v, const C& c) const {
            log << "Value " << v << ", less than zero or "
                << "greater than c.size() = " << c.size() << " is invalid";
        }
    };
};
 
template <typename C, typename T>
using valid_if_le_size_ge0 =
  in_class_valid_if<T, C, valid_if_le_size_ge0_policy<T, C>>;
 
} // namespace eagine
 
#endif // EAGINE_VALID_IF_LE_SIZE_GE0_HPP