I am trying to write a C++ template function that will throw a runtime exception on integer overflow in casts between different integral types, with different widths, and possible signed/unsigned mismatch. For these purposes I'm not concerned with casting from floating-point types to integral types, nor other object-to-object conversions. I'd like to do this without having to write lots of special case code. This is what I currently have:
template< typename T, typename R > void safe_cast( const T& source, R& result )
{
// get the maximum safe value of type R
R rMax = (R) ~0;
if ( rMax < 0 ) // R is a signed type
{
// assume that we're on an 8-bit twos-compliment machine
rMax = ~( 0x80 << ( ( sizeof( R ) - 1 ) * 8 ) );
}
if ( ( source & rMax ) != source )
{
throw new IntegerOverflowException( source );
}
result = static_cast<R>( source );
}
Is this correct and efficient?
EDIT: For various reasons stl isn't available, so I can't use std::numeric_limits, and anything from Boost is right out.
You can get the minimum and maximum safe values (and a whole lot of other information) for any fundamental type in a much more elegant way using the std::numeric_limits
template, e.g. std::numeric_limits<T>::max()
. You'll need to include <limits>
.
Reference: http://www.cplusplus.com/reference/std/limits/numeric_limits/
Is boost an option? If so, try boost::numeric_cast<>. It appears to provide the characteristics you're looking for.
Have you tried SafeInt? It's a cross platform template that will do integer overflow checks for a variety of integer types. It's available on github
It's been over a decade since this question was posted, and I wanted a solution that was self contained and used modern C++ (std::optional
, constexpr
, type_traits
). Here is what I wrote:
/// Cast integer of type "From" to integer of type "To", as long as it fits. If it doesn't
/// fit, return std::nullopt.
template<typename To, typename From>
constexpr std::optional<To> IntegerCast(From from) {
static_assert(std::is_integral_v<From>, "IntegerCast only supports integers");
static_assert(std::is_integral_v<To>, "IntegerCast only supports integers");
static_assert(!std::is_same_v<To, bool>, "IntegerCast only supports integers");
static_assert(!std::is_same_v<From, bool>, "IntegerCast only supports integers");
constexpr bool fromSigned = std::is_signed_v<From>;
constexpr bool toSigned = std::is_signed_v<To>;
constexpr bool bothSigned = fromSigned && toSigned;
constexpr bool bothUnsigned = !fromSigned && !toSigned;
constexpr From fromMax = std::numeric_limits<From>::max();
constexpr From fromMin = std::numeric_limits<From>::min();
constexpr To toMax = std::numeric_limits<To>::max();
constexpr To toMin = std::numeric_limits<To>::min();
if constexpr (bothUnsigned) {
using Widen = std::conditional_t<(sizeof(From) > sizeof(To)), From, To>;
if (from > Widen(toMax)) {
return std::nullopt;
} else {
return To(from);
}
} else if constexpr (bothSigned) {
using Widen = std::conditional_t<(sizeof(From) > sizeof(To)), From, To>;
if (from > Widen(toMax)) {
return std::nullopt;
} else if (from < Widen(toMin)) {
return std::nullopt;
} else {
return To(from);
}
} else if constexpr (fromSigned && !toSigned) {
using Widen =
std::make_unsigned_t<std::conditional_t<(sizeof(From) > sizeof(To)), From, To>>;
if (from < 0) {
return std::nullopt;
} else if (from > Widen(toMax)) {
return std::nullopt;
} else {
return To(from);
}
} else if constexpr (!fromSigned && toSigned) {
using Widen =
std::make_unsigned_t<std::conditional_t<(sizeof(From) > sizeof(To)), From, To>>;
if (from > Widen(toMax)) {
return std::nullopt;
} else {
return To(from);
}
}
}
It comes with a test suite in GoogleTest
TEST(IntegerCast, Basics) {
constexpr uint64_t large64 = 10000000000000000000ull;
static_assert(IntegerCast<uint8_t>(large64) == std::nullopt);
static_assert(IntegerCast<uint16_t>(large64) == std::nullopt);
static_assert(IntegerCast<uint32_t>(large64) == std::nullopt);
static_assert(IntegerCast<uint64_t>(large64) == 10000000000000000000ull);
static_assert(IntegerCast<int8_t>(large64) == std::nullopt);
static_assert(IntegerCast<int16_t>(large64) == std::nullopt);
static_assert(IntegerCast<int32_t>(large64) == std::nullopt);
static_assert(IntegerCast<int64_t>(large64) == std::nullopt);
constexpr int64_t largeNegative64 = -5000000000000000000;
static_assert(IntegerCast<uint8_t>(largeNegative64) == std::nullopt);
static_assert(IntegerCast<uint16_t>(largeNegative64) == std::nullopt);
static_assert(IntegerCast<uint32_t>(largeNegative64) == std::nullopt);
static_assert(IntegerCast<uint64_t>(largeNegative64) == std::nullopt);
static_assert(IntegerCast<int8_t>(largeNegative64) == std::nullopt);
static_assert(IntegerCast<int16_t>(largeNegative64) == std::nullopt);
static_assert(IntegerCast<int32_t>(largeNegative64) == std::nullopt);
static_assert(IntegerCast<int64_t>(largeNegative64) == -5000000000000000000);
constexpr uint64_t small64 = 1;
static_assert(IntegerCast<uint8_t>(small64) == 1);
static_assert(IntegerCast<uint16_t>(small64) == 1);
static_assert(IntegerCast<uint32_t>(small64) == 1);
static_assert(IntegerCast<uint64_t>(small64) == 1);
static_assert(IntegerCast<int8_t>(small64) == 1);
static_assert(IntegerCast<int16_t>(small64) == 1);
static_assert(IntegerCast<int32_t>(small64) == 1);
static_assert(IntegerCast<int64_t>(small64) == 1);
constexpr int64_t smallNegative64 = -1;
static_assert(IntegerCast<uint8_t>(smallNegative64) == std::nullopt);
static_assert(IntegerCast<uint16_t>(smallNegative64) == std::nullopt);
static_assert(IntegerCast<uint32_t>(smallNegative64) == std::nullopt);
static_assert(IntegerCast<uint64_t>(smallNegative64) == std::nullopt);
static_assert(IntegerCast<int8_t>(smallNegative64) == -1);
static_assert(IntegerCast<int16_t>(smallNegative64) == -1);
static_assert(IntegerCast<int32_t>(smallNegative64) == -1);
static_assert(IntegerCast<int64_t>(smallNegative64) == -1);
}
TEST(IntegerCast, Boundaries) {
constexpr uint8_t maxUnsigned8 = 255;
static_assert(IntegerCast<uint8_t>(maxUnsigned8) == 255);
static_assert(IntegerCast<uint16_t>(maxUnsigned8) == 255);
static_assert(IntegerCast<uint32_t>(maxUnsigned8) == 255);
static_assert(IntegerCast<uint64_t>(maxUnsigned8) == 255);
static_assert(IntegerCast<int8_t>(maxUnsigned8) == std::nullopt);
static_assert(IntegerCast<int16_t>(maxUnsigned8) == 255);
static_assert(IntegerCast<int32_t>(maxUnsigned8) == 255);
static_assert(IntegerCast<int64_t>(maxUnsigned8) == 255);
constexpr uint8_t minUnisigned8 = 0;
static_assert(IntegerCast<uint8_t>(minUnisigned8) == 0);
static_assert(IntegerCast<uint16_t>(minUnisigned8) == 0);
static_assert(IntegerCast<uint32_t>(minUnisigned8) == 0);
static_assert(IntegerCast<uint64_t>(minUnisigned8) == 0);
static_assert(IntegerCast<int8_t>(minUnisigned8) == 0);
static_assert(IntegerCast<int16_t>(minUnisigned8) == 0);
static_assert(IntegerCast<int32_t>(minUnisigned8) == 0);
static_assert(IntegerCast<int64_t>(minUnisigned8) == 0);
constexpr int8_t maxSigned8 = 127;
static_assert(IntegerCast<uint8_t>(maxSigned8) == 127);
static_assert(IntegerCast<uint16_t>(maxSigned8) == 127);
static_assert(IntegerCast<uint32_t>(maxSigned8) == 127);
static_assert(IntegerCast<uint64_t>(maxSigned8) == 127);
static_assert(IntegerCast<int8_t>(maxSigned8) == 127);
static_assert(IntegerCast<int16_t>(maxSigned8) == 127);
static_assert(IntegerCast<int32_t>(maxSigned8) == 127);
static_assert(IntegerCast<int64_t>(maxSigned8) == 127);
constexpr int8_t minSigned8 = -128;
static_assert(IntegerCast<uint8_t>(minSigned8) == std::nullopt);
static_assert(IntegerCast<uint16_t>(minSigned8) == std::nullopt);
static_assert(IntegerCast<uint32_t>(minSigned8) == std::nullopt);
static_assert(IntegerCast<uint64_t>(minSigned8) == std::nullopt);
static_assert(IntegerCast<int8_t>(minSigned8) == -128);
static_assert(IntegerCast<int16_t>(minSigned8) == -128);
static_assert(IntegerCast<int32_t>(minSigned8) == -128);
static_assert(IntegerCast<int64_t>(minSigned8) == -128);
}
TEST(IntegerCast, SameSizeDifferentSign) {
constexpr uint8_t above = 200;
static_assert(IntegerCast<int8_t>(above) == std::nullopt);
constexpr uint8_t withinUnsigned = 100;
static_assert(IntegerCast<int8_t>(withinUnsigned) == 100);
constexpr int8_t withinSigned = 100;
static_assert(IntegerCast<uint8_t>(withinSigned) == 100);
constexpr int8_t below = -100;
static_assert(IntegerCast<uint8_t>(below) == std::nullopt);
}
If you love us? You can donate to us via Paypal or buy me a coffee so we can maintain and grow! Thank you!
Donate Us With