libcruft-util/types.hpp

101 lines
2.1 KiB
C++

#ifndef __TYPES_HPP
#define __TYPES_HPP
#include <cstdint>
#include <string>
#include <limits>
template <int BITS>
struct bits_type;
template <> struct bits_type< 8> {
static const bool has_floating = false;
typedef uint8_t uint;
typedef int8_t sint;
typedef uint8_t floating;
};
template <> struct bits_type<16> {
static const bool has_floating = false;
typedef uint16_t uint;
typedef int16_t sint;
typedef uint16_t floating;
};
template <> struct bits_type<32> {
static const bool has_floating = true;
typedef uint32_t uint;
typedef int32_t sint;
typedef float floating;
};
template <> struct bits_type<64> {
static const bool has_floating = true;
typedef uint64_t uint;
typedef int64_t sint;
typedef double floating;
};
template <typename T>
struct sized_type : public bits_type<sizeof(T) * 8>
{ };
template <typename T>
std::string type_to_string (void);
template <typename T>
struct sign_types;
template <> struct sign_types <signed int> {
typedef signed int with_sign;
typedef unsigned int without_sign;
};
template <> struct sign_types <unsigned int> {
typedef signed int with_sign;
typedef unsigned int without_sign;
};
/// Safely cast a numeric type to its signed comparison, aborting if the
/// result is not representable.
template <typename T>
typename sign_types<T>::with_sign
sign_cast (const typename sign_types<T>::without_sign v)
{
check_hard (v <= std::numeric_limits<typename sign_types<T>::without_sign>::max () >> 1);
return static_cast <typename sign_types<T>::with_sign> (v);
}
/// Safely cast a numeric type to its unsigned comparison, aborting if the
/// result is not representable.
template <typename T>
typename sign_types<T>::without_sign
sign_cast (const typename sign_types<T>::with_sign v)
{
check_hard (v >= 0);
return static_cast <typename sign_types<T>::without_sign> (v);
}
/// Returns the number of elements of a statically allocated array
template <typename T, size_t N>
size_t elems(T (&)[N])
{ return N; }
#endif // __TYPES_HPP