C安全整数转换的模板

我正在尝试编写一个C模板函数,它将在不同整数类型之间的转换中的整数溢出上抛出运行时异常,具有不同的宽度,以及可能的有符号/无符号不匹配.出于这些目的,我不关心从浮点类型转换为整数类型,也不关心其他对象到对象的转换.我想这样做而不必写很多特殊的案例代码.这就是我目前拥有的：

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 );
}

这是正确有效的吗？

编辑：由于各种原因stl不可用,所以我不能使用std :: numeric_limits,Boost的任何东西都是正确的.

解决方法:

你试过SafeInt吗？它是一个跨平台模板,可以对各种整数类型进行整数溢出检查.它可以在github上找到

> https://github.com/dcleblanc/SafeInt

标签：c,templates,casting,integer-overflow
来源： https://codeday.me/bug/20190927/1822929.html