我通过this的回答得知：在C20中，计算引起的有符号溢出仍然是未定义的行为，而转换引起的有符号溢出在C20中有明确定义（这是为Pre-C++20定义的实现）。转换导致有符号溢出的这种变化是因为C20编译器要求使用2的补码。我的问题是如果编译器需要使用C20中的2的补码，那么为什么计算导致的有符号溢出不能像转换导致的有符号溢出一样定义良好？也就是说，为什么（如何）在计算溢出和转换溢出之间有区别。本质上，为什么这两种溢出被区别对待。
ohtdti5x1#
如果非二进制补码支持是唯一的考虑，那么有符号算术溢出可以被定义为具有实现定义的结果，就像转换整数已经被定义一样。有原因为什么它是UB，这些原因没有改变，也没有改变有符号算术溢出的规则。在任何UB的情况下，其存在基本上有两个主要原因：
fkaflof62#
您可以在此处看到演示有符号整数溢出的示例：https://happydapps.com/en/article/cpp-signed-integer-overflow-example
2条答案
按热度按时间ohtdti5x1#
如果非二进制补码支持是唯一的考虑，那么有符号算术溢出可以被定义为具有实现定义的结果，就像转换整数已经被定义一样。有原因为什么它是UB，这些原因没有改变，也没有改变有符号算术溢出的规则。
在任何UB的情况下，其存在基本上有两个主要原因：
fkaflof62#
您可以在此处看到演示有符号整数溢出的示例：
https://happydapps.com/en/article/cpp-signed-integer-overflow-example