saturated.h

 
//          Copyright John McFarlane 2018.
// Distributed under the Boost Software License, Version 1.0.
//    (See accompanying file ../LICENSE_1_0.txt or copy at
//          http://www.boost.org/LICENSE_1_0.txt)
 
#if !defined(CNL_IMPL_OVERFLOW_SATURATED_H)
#define CNL_IMPL_OVERFLOW_SATURATED_H
 
#include "../polarity.h"
#include "is_overflow_tag.h"
#include "is_tag.h"
#include "overflow_operator.h"
 
#include <limits>
 
namespace cnl {
    struct saturated_overflow_tag
        : _impl::homogeneous_deduction_tag_base
        , _impl::homogeneous_operator_tag_base {
    };
 
    namespace _impl {
        template<>
        struct is_overflow_tag<saturated_overflow_tag> : std::true_type {
        };
 
        template<typename Operator>
        struct overflow_operator<Operator, saturated_overflow_tag, polarity::positive> {
            template<typename Destination, typename Source>
            [[nodiscard]] constexpr auto operator()(Source const&) const
            {
                return std::numeric_limits<Destination>::max();
            }
 
            template<class... Operands>
            [[nodiscard]] constexpr auto operator()(Operands const&...) const
            {
                return std::numeric_limits<op_result<Operator, Operands...>>::max();
            }
        };
 
        template<typename Operator>
        struct overflow_operator<Operator, saturated_overflow_tag, polarity::negative> {
            template<typename Destination, typename Source>
            [[nodiscard]] constexpr auto operator()(Source const&) const
            {
                return std::numeric_limits<Destination>::lowest();
            }
 
            template<class... Operands>
            [[nodiscard]] constexpr auto operator()(Operands const&...) const
            {
                return std::numeric_limits<op_result<Operator, Operands...>>::lowest();
            }
        };
    }
}
 
#endif  // CNL_IMPL_OVERFLOW_SATURATED_H