真正安全的类型转换需从二进制表示出发逐位控制：short↔int需符号扩展与溢出检查；float↔int须手动解析ieee 754结构并处理nan、inf等边界；移码比较应先检测nan，位运算须规避负数右移和union别名等未定义行为。
不能靠强制转换或隐式提升，得从二进制表示出发，逐位控制符号、指数、尾数和截断逻辑——这才是真正安全的类型转换。
short 与 int 之间的符号扩展和截断
short 是 16 位有符号整数，int 通常是 32 位。转换不是简单赋值，而是要保留数值语义：
- short → int：需符号扩展。取 short 值，左移 16 位再算术右移 16 位（
(s > 16），利用右移补符号位的特性还原完整符号。 - int → short：只取低 16 位（
i & 0xFFFF），但必须检查是否溢出——若原值 32767，就拒绝转换并返回错误码。
float 与整型的手动解析与组装
IEEE 754 单精度 float 是 32 位：1 位符号 + 8 位指数 + 23 位尾数。绕过编译器自动转换，就得直接操作这 32 位：
- float → 二进制十六进制：用 union 或指针类型重解释（如
unsigned int u; memcpy(&u, &f, sizeof(f));），再按 4 字节输出 hex。 - int → float：先判断是否在 ±2²⁴ 范围内（保证尾数不丢精度），再手动拼接符号位、偏置指数（127 + floor(log₂|n|)）、归一化尾数（去掉隐含的 1）。
- float → int（截断）：提取符号、指数、尾数，还原真实值；若绝对值 ≥ 2³¹，则超出 int 表示范围，应返回 INT_MIN 或 INT_MAX 并标记溢出。
移码比较与 NaN 防御
把两个 int 当作 32 位移码（biased notation）比较大小，本质是把它们看作无符号整数来比：
- 直接转为 unsigned int 后比较即可（
(unsigned int)x > (unsigned int)y），因为移码布局天然支持无符号比较。 - 但若用于浮点数的 raw bit 比较，必须先检测 NaN：当指数全 1 且尾数非零时，即为 NaN，此时任何比较都应返回“无序”，函数可约定返回 -2 或设标志位。
避免未定义行为的关键细节
位运算实现类型转换时，几个底层陷阱必须绕开：
- 不要对负数做右移（
>>）——C 标准不保证补符号位；统一转成 unsigned 类型再移位。 - 不要依赖 union 别名访问（除非启用
-fstrict-aliasing以外的编译选项）；更稳妥的是用memcpy复制字节。 - 处理 float 的 inf 和 subnormal 数时，指数和尾数组合有特殊规则，需单独分支判断。
