c – 无符号算术和整数溢出

我试图理解算术溢出.假设我有以下,

unsigned long long x;
unsigned int y, z;

x = y*z;

y * z可能导致整数溢出.将其中一个操作数强制转换为unsigned long long可以缓解此问题. 64位操作数与32位操作数相乘的预期结果是什么？

解决方法:

unsigned long long x;
unsigned int y, z;

x = y*z;

表达式y * z的评估不受其出现的上下文的影响.它将两个unsigned int值相乘,产生unsigned int结果.如果数学结果不能表示为unsigned int值,则结果将换行.然后赋值隐式地将(可能被截断的)结果从unsigned int转换为unsigned long long.

如果想要乘法产生无符号长long结果,则需要显式转换一个或两个操作数：

x = (unsigned long long)y * z;

或者,更明确：

x = (unsigned long long)y * (unsigned long long)z;

C的*乘法运算符仅适用于两个相同类型的操作数.因此,当你给它不同类型的操作数时,它们会在执行乘法之前转换为某种常见类型.当您混合有符号和无符号类型时,规则可能有点复杂,但在这种情况下,如果将无符号long long乘以unsigned int,则unsigned int操作数将提升为unsigned long long.

如果unsigned long long至少是unsigned int的两倍,就像在大多数系统上一样,那么结果既不会溢出也不会回绕,因为,例如,64位无符号long long可以保存乘以任意值的结果两个32位无符号整数值.但是如果你在一个系统中,例如int和long long都是64位宽,你仍然可以有溢出环绕,给你一个x不等于y和z的数学乘积的结果.

标签：c-3,c,long-integer,integer-overflow,integer-arithmetic
来源： https://codeday.me/bug/20191007/1867144.html