cast.hpp

Go to the documentation of this file.

#ifndef SANISIZER_CAST_HPP
#define SANISIZER_CAST_HPP
 
#include "utils.hpp"
#include "comparisons.hpp"
#include "generics.hpp"
 
namespace sanisizer {
 
template<typename Dest_, typename Value_>
constexpr bool can_cast(Value_ x) {
    static_assert(std::is_integral<Dest_>::value);
    constexpr auto dest_maxed = get_max<Dest_>();
    if constexpr(is_less_than_or_equal(get_max<Value_>(), dest_maxed)) {
        return true;
    } else {
        return is_less_than_or_equal(get_value(x), dest_maxed);
    }
}
 
template<typename Dest_, typename Value_>
constexpr bool check_overflow(Value_ x) {
    if (!can_cast<Dest_>(x)) {
        throw std::overflow_error("detected " + failure<Dest_>() + " for integer cast");
    }
    return false;
}
template<typename Dest_, typename Value_>
constexpr Dest_ cast(Value_ x) {
    check_overflow<Dest_>(x);
    return get_value(x);
}
 
}
 
#endif