TypeScript中number类型与位运算的使用疑问及原理探究

一、C++与JS中位运算的本质差异 #

在C里，a |= 0这类位运算直接操作整数的二进制内存位：如果a是整数类型（比如int），0的二进制全是0，按位或后结果和原数完全一致；如果a是浮点数类型，C不允许直接对浮点数做位运算，编译阶段就会报错——因为浮点数的内存编码和整数完全不同，语言层面禁止这种跨类型位操作。

但在JS/TS中，所有number类型本质都是64位双精度浮点数，不过位运算（包括|）会先把浮点数转换为32位有符号整数，再执行位操作，最后转回64位浮点数返回结果。这是两者最核心的区别。

二、JS浮点数的内存结构（以1.23为例） #

JS采用IEEE 754标准的64位双精度浮点数，内存结构分为三部分：

• 符号位（1位）：0表示正数，1表示负数
• 指数位（11位）：存储偏移后的指数值
• 尾数位（52位）：存储有效数字的小数部分（隐含最高位的1）

1.23的二进制无法精确表示，内存里是近似值：符号位为0，指数位是0x3FF（对应实际指数0），尾数位存储近似0.23的二进制小数。这个编码和整数1的浮点数编码完全不同——整数1的浮点数表示是符号位0、指数位0x3FF、尾数位全0。

三、为什么a | 0能截断取整得到1？ #

执行1.23 | 0时，JS引擎会按以下步骤处理：

1. 浮点数转32位有符号整数：直接截断浮点数的小数部分取整数部分，再转换为32位有符号整数。1.23的整数部分是1，转换后32位整数为0x00000001。
2. 执行按位或操作：32位整数1和0（0x00000000）按位或，结果还是1。
3. 转回64位浮点数：把32位整数1转回浮点数，最终结果就是1。

本质是位运算的前置转换过程帮你截断了小数部分，而|0本身不会改变整数的值，因此实现了截断取整的效果。

四、| 0能不能作为取整手段？ #

可以，但存在几个限制：

• 仅能处理32位有符号整数范围内的数（即-2^31到231-1，也就是-2147483648到2147483647）。超出范围的数转换为32位整数时会溢出，结果不符合预期，比如2147483648 | 0会得到-2147483648。
• 只会截断小数部分，不做四舍五入，负数也一样：比如-1.23 | 0会得到-1，而非-2。
• 性能上和Math.floor、parseInt差异不大，但可读性差，除非追求极致精简的场景，否则不推荐在业务代码中使用——毕竟多数人需要额外花时间理解这个操作的含义。

内容的提问来源于stack exchange，提问作者Cody Z