防止加法的Int溢出？

Question

在我的C代码中，我有：

int c=(a+b)/2;

我确信最终结果不会导致整数溢出，但这并不能保证（a b）

以下是我的错误信息：

第20行：Char 27：运行时错误：有符号整数溢出：1063376696 2126753390不能在类型'int'（solution.cpp）中表示摘要：未定义行为清理器：未定义行为prog_joined.cpp:31： 27

我如何解决这类问题？

Answer 1

只需使用int c=a（b-a）/2；如果a和b都是阳性。否则，您可以使用上述方法

Answer 2

>

std::midpoint(a, b);

转换为可避免溢出的较大类型：

static_cast<int>((static_cast<std::int64_t>(a) + static_cast<std::int64_t>(b))/2);

使用特定于编译器的标志（例如-ftrapv）或内置标志（例如\uuuuuuu内置\uu添加\uu溢出）检测它：

if (__builtin_add_overflow(a, b, &result))
    throw std::out_of_range("overflow");

以避免溢出的方式执行计算（将其分为若干个案例，并找出在每种情况下避免溢出的方法）：

using U = unsigned int;
return a>b ? a-(static_cast<U>(a)-b)/2 : a+(static_cast<U>(b)-a)/2;

https://godbolt.org/z/T3rPdq

Answer 3

您可以使用64位整数执行该操作，然后将其转换回32位。

int c = int((std::int64_t(a) + std::int64_t(b)) / 2);