not_zero.hpp

Go to the documentation of this file.

 
#ifndef EAGINE_VALID_IF_NOT_ZERO_HPP
#define EAGINE_VALID_IF_NOT_ZERO_HPP
 
#include "decl.hpp"
 
namespace eagine {
 
template <typename T>
struct valid_if_nz_policy {
 
    constexpr auto operator()(T value) const noexcept {
        return (value > T(0)) || (value < T(0));
    }
 
    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&) const {
            log << "Value zero is invalid";
        }
    };
};
 
template <typename T>
using valid_if_not_zero = valid_if<T, valid_if_nz_policy<T>>;
 
template <typename T>
using nonzero_t = valid_if_not_zero<T>;
 
template <typename T>
static inline auto nonzero(T v) noexcept -> nonzero_t<T> {
    return {v};
}
 
} // namespace eagine
 
#endif // EAGINE_VALID_IF_NOT_ZERO_HPP