Constant.hpp

Go to the documentation of this file.

#ifndef SANISIZER_CONSTANT_HPP
#define SANISIZER_CONSTANT_HPP
 
#include <type_traits>
 
namespace sanisizer {
 
template<typename Integer_, Integer_ value_>
struct Constant {
    static_assert(std::is_integral<Integer_>::value);
    static_assert(value_ >= 0);
 
    typedef Integer_ Integer;
 
    static constexpr Integer_ value = value_;
};
 
template<typename Value_>
struct is_Constant {
    static constexpr bool value = false;
};
 
template<typename Integer_, Integer_ value_>
struct is_Constant<Constant<Integer_, value_> > {
    static constexpr bool value = true;
};
 
template<typename Integer_, Integer_ value_>
struct is_Constant<const Constant<Integer_, value_> > {
    static constexpr bool value = true;
};
}
 
#endif