[已解决]取值超出范围后是怎么算的？

1613551

为什么a的值是65535，我记得小甲鱼讲过这个，但是我给忘了，现在不知道要去哪里翻那个了

#include <stdio.h>
int main(void)
{
  unsigned short a = -1;
  printf("%u", a);
  return 0;
}

最佳答案

月排行榜 / 总排行榜

人造人

2022-7-26 16:14:00

https://fishc.com.cn/thread-67124-1-1.html

跳转到最佳答案楼层

人造人

https://fishc.com.cn/thread-67124-1-1.html

jhq999

-2^15~2^15-1
为啥减一，因为有个0

1613551

jhq999 发表于 2022-7-26 16:20
-2^15~2^15-1
为啥减一，因为有个0

我没懂，什么叫因为有个0

临时号

1613551 发表于 2022-7-26 16:24
我没懂，什么叫因为有个0

这个代码发生了溢出
unsigned short的范围是0-65535,而你赋值了-1,因此发生了溢出,所以结果是65535
这种溢出的代码没有价值

jhq999

1613551 发表于 2022-7-26 16:24
我没懂，什么叫因为有个0

可表示的负整数2^15个，正整数2^15-1个， 和1个0，一共2^16个

dolly_yos2

临时号 发表于 2022-7-26 16:30
这个代码发生了溢出
unsigned short的范围是0-65536,而你赋值了-1,因此发生了溢出,所以结果是65535
这 ...

很难认同“没有价值”这一观点。
首先关于这种类型转换，来看看标准中是如何规定的：

6.3.1.3 Signed and unsigned integers
1   When a value with integer type is converted to another integer type other than _Bool, if the value can be represented by the new type, it is unchanged.
2   Otherwise, if the new type is unsigned, the value is converted by repeatedly adding or subtracting one more than the maximum value that can be represented in the new type until the value is in the range of the new type.
3   Otherwise, the new type is signed and the value cannot be represented in it; either the result is implementation-defined or an implementation-defined signal is raised.

* The rules describe arithmetic on the mathematical value, not the value of a given type of expression.

简单来说，当一个整数类型的值被转换到一个不为 _Bool 的整数类型时，如果该值在数值上可以由目标类型表示，则转换后值不变；否则（若目标类型无法表示原数值）如果目标类型为无符号类型，则反复将原数值加或减 ( 目标类型可以表示的最大数值加 1 ) 直到结果可以被目标类型表示，此时得到的结果为转换后的值；否则若目标类型有符号且无法表示原数值，标准不规定应产生何种效果，由具体实现自行决定。
综上所述，此处将数值 -1 转换到无符号类型 unsigned short 中，显然无法直接表示此数值，则将此数值反复加上 ( unsigned short 可以表示的最大数值加 1 ) 即 65536 直到结果可被 unsigned short 表示，即得到转换结果 65535 。
这种行为是标准明确定义的，因此可以通过向任意（非 _Bool 的）无符号类型赋值 -1 来将其赋值为其类型能够表示的最大值，而无需关心这种类型具体的有效位宽等信息。这以及类似的方法在编写特定用途的代码时很有帮助。

临时号

dolly_yos2 发表于 2022-7-26 17:30
很难认同“没有价值”这一观点。
首先关于这种类型转换，来看看标准中是如何规定的：

受教

ExiaGN001

-1在计算机中用
1 111 1111 1111 1111 Bin补
表示，第一个1表示负数
unsigned short会将其以
（0） 1111 1111 1111 1111 Bin补
处理，第一个0是逻辑上的，并不存在于内存中
所以就是65535了

1613551

临时号 发表于 2022-7-26 16:30
这个代码发生了溢出
unsigned short的范围是0-65536,而你赋值了-1,因此发生了溢出,所以结果是65535
这 ...

啊？unsigned short的取值范围不是0~65535吗？

临时号

1613551 发表于 2022-7-27 13:57
啊？unsigned short的取值范围不是0~65535吗？

不好意思,打错了,不仔细看还真看不出来