generics.hpp

Go to the documentation of this file.

#ifndef SANISIZER_GENERICS_HPP
#define SANISIZER_GENERICS_HPP
 
#include <limits>
#include <type_traits>
 
#include "Bounded.hpp"
#include "Constant.hpp"
 
namespace sanisizer {
 
template<typename Value_>
constexpr auto get_value(const Value_ x) {
    if constexpr(std::is_integral<Value_>::value) {
        return x;
    } else if constexpr(is_Bounded<Value_>::value) {
        return x.value;
    } else {
        static_assert(is_Constant<Value_>::value);
        return Value_::value;
    }
}
 
template<typename Value_>
constexpr auto get_max() {
    if constexpr(std::is_integral<Value_>::value) {
        return std::numeric_limits<Value_>::max();
    } else if constexpr(is_Bounded<Value_>::value) {
        return Value_::max;
    } else {
        static_assert(is_Constant<Value_>::value);
        return Value_::value;
    }
}
 
}
 
#endif