强制类型转换不改变二进制位模式,仅改变解释方式;有符号转无符号时负数因符号位被当数值位而变成大正数,如-12345(short)→53191(unsigned short)。

强制转换本身不处理边界,它只是换一副“眼镜”去看同一串二进制位。是否溢出、符号怎么变,取决于源值是否落在目标类型的合法范围内,以及最高位在新类型中被解释为符号位还是数值位。
有符号转无符号:负数变大正数
位模式完全不变,但最高位不再表示正负,而是参与数值计算。例如:
-
short x = -12345在内存中是1100111111000111(16位补码) - 转成
unsigned short后,仍为该位串,但被解释为53191
常见陷阱:if (x 在 <code>(unsigned int)x 后永远为假——因为无符号类型没有负数。
无符号转有符号:超限值变负数
只要无符号值超过目标有符号类型能表示的最大正数,其位模式就会被当作补码解读,最高位为1 → 结果为负。
-
unsigned int u = 4294967295u(32位全1),转int后仍是11111111111111111111111111111111,解释为-1 - 若
u = 2147483647u(≤INT_MAX),转换后值不变
风险多见于将 size_t 或数据库 ID 直接转 int 传给旧接口,导致逻辑反转或越界访问。
宽转窄:高位截断,静默失真
从 int 转 short、long 转 int 等,只保留低字节,高位直接丢弃,不报错也不警告。
-
int a = 100000(二进制末16位为1000011010100000),转short后变成-31072 -
long v = 2147483648L强转int得-2147483648(即Integer.MIN_VALUE)
Java 推荐用 Math.toIntExact(long) 替代裸强转,它会在越界时抛 ArithmeticException,语义明确。
浮点转整数:截断 + 溢出双重风险
这不是位重解释,而是数值映射:小数部分朝零截断,且若值超出整型范围,行为未定义(UB)。
-
float f = -3.9f→(int)f得-3 -
float f = 1e10f→(int)f是未定义行为,结果不可预测
安全做法:先用 isfinite() 判断是否为有限值,再检查是否在 [INT_MIN, INT_MAX] 内,最后转换。











