如何在C++中捕捉整数溢出？

我有一个sum()函数。 我需要捕获所有溢出。

我搜索了网站，但没有找到好的方法。

那么.有什么想法吗？

---

解决方案

正如其他人所说，如果结果与两个操作数的符号不同，则会发生两个补码带符号的溢出。

反之亦然。除非操作数的符号相同(负数或非负数)并且结果相反，否则不会发生2的补码带符号溢出。

不过，就我个人而言，我更喜欢更直截了当的方法：

int_type a = 12356, b = 98765432;
if ( b > 0 && a > std::numeric_limits< int_type >::max() - b )
    throw std::range_error( "adding a and b would cause overflow" );

if ( b < 0 && a < std::numeric_limits< int_type >::min() - b )
    throw std::range_error( "adding a and b would cause underflow" );

int_type c = a + b;

这将同时捕获已签名和未签名的溢出/下溢，并且更容易看到正在发生的情况。

此外，C++中的有符号整数溢出不能保证回绕，因为不需要二的补码运算。带符号整数溢出甚至可能崩溃，尽管可能性不大。所以就语言而言，最好在发生前停止溢出。C++03§5/5：

如果在表达式求值期间，结果未在数学上定义或不在其类型的可表示值范围内，则行为是未定义的，除非这样的表达式是常量表达式(5.19)，在这种情况下，程序的格式是错误的。[注意：大多数现有的C++实现都忽略了整数溢出。…]

另请参阅Boost Numeric Conversion库，尽管我不确定它是否可以解决std::numeric_limits无法解决的问题。