ToNumber将undefined转为NaN、null转为0,根源在于语义定位:undefined表示“缺失”,无可数值化;null作为“空对象引用”,映射为默认值0。

“ToNumber”算法对 undefined 和 null 的处理看似相似,实则逻辑根源完全不同——它不是凭经验记忆“undefined→NaN、null→0”,而是严格依据 ECMAScript 规范中两类值在类型系统中的语义定位。
undefined 被转为 NaN:代表“无定义,不可参与数值运算”
undefined 表示变量已声明但未赋值,或属性根本不存在。它不指向任何有意义的值,连“空”都不是,而是“缺失”。因此 ToNumber 无法从中提取任何数值含义,只能返回一个明确的错误标记:NaN(Not-a-Number)。这符合其语义——不是“算不出来”,而是“根本没有可算的东西”。
-
Number(undefined)→NaN -
+"hello"→NaN(同理,字符串解析失败也得 NaN) -
undefined + 1→NaN(隐式调用 ToNumber 后计算)
null 被转为 0:源于历史设计与空对象指针的数值映射
null 在语言设计中被明确定义为“空对象引用”,即“本该有对象,但现在是空的”。这种“空”是有上下文的——它暗示一种“初始态”或“占位态”,而非 undefined 那种彻底的“未出现”。因此 ToNumber 将其映射为数值零,是一种语义上可接受的默认值:
-
Number(null)→0 -
null == 0→false(注意:== 会先做类型转换,但比较时仍不等) -
null + 1→1(ToNumber(null) 得 0,再加 1)
关键区别不在结果,而在规范依据
规范中 ToNumber 对两者的处理是独立分支,不互为推导:
- undefined 是原始类型中唯一表示“未初始化”的值,ToNumber 直接返回 NaN,无中间步骤
- null 虽也是原始值,但因其被设计为“空对象指针”,ToNumber 显式规定其结果为 +0(即 0)
- 二者在 == 比较中相等(
null == undefined为 true),但这属于抽象相等算法(Abstract Equality Comparison)的特殊规则,和 ToNumber 无关
实际编码中需警惕的混淆点
尽管 Number(null) === 0 和 Number(undefined) !== 0 结果不同,但若混入布尔上下文,容易误判:
-
if (null) { }→ 不执行(ToBoolean(null) 为 false) -
if (undefined) { }→ 不执行(ToBoolean(undefined) 为 false) - 二者在 if 中表现一致,但原因不同:null 是“空对象”,undefined 是“无定义”,都属于假值(falsy)










