cast.hpp

Go to the documentation of this file.

#ifndef SANISIZER_CAST_HPP
#define SANISIZER_CAST_HPP
 
#include "attest.hpp"
 
namespace sanisizer {
 
template<typename Size_, typename Value_>
constexpr auto can_cast(Value_ x) {
    check_overflow<Size_>(x);
    return get_value(x);
}
 
template<typename Dest_, typename Value_>
constexpr Dest_ cast(Value_ x) {
    return can_cast<Dest_>(x);
}
 
}
 
#endif