隐式类型转换与 ECMAScript 规范

JavaScript 的隐式类型转换（Type Coercion）是最容易产生 bug 的语言特性之一。ECMAScript 规范通过 ToPrimitive、ToNumber、ToString、ToBoolean 等抽象操作定义了精确的转换规则。理解这些规则可以避免 == 比较的陷阱，并在需要时利用隐式转换简化代码。

---

目录

1. 类型系统概览
2. ToPrimitive 抽象操作
3. ToNumber 转换规则
4. ToString 转换规则
5. ToBoolean 与 Falsy 值
6. == 的完整比较算法
7. 运算符中的隐式转换
8. 实战案例
9. 深度追问
10. 总结表格

---

1. 类型系统概览

ECMAScript 定义了 8 种数据类型：

// 代码示例 1：类型检测
// 7 种原始类型
typeof undefined;  // 'undefined'
typeof null;       // 'object' ← 历史 bug
typeof true;       // 'boolean'
typeof 42;         // 'number'
typeof 'hello';    // 'string'
typeof Symbol();   // 'symbol'
typeof 42n;        // 'bigint'

// 1 种引用类型
typeof {};         // 'object'
typeof [];         // 'object'
typeof function(){}; // 'function'（规范中仍是 object）

---

2. ToPrimitive 抽象操作

规范 §7.1.1 定义了对象转原始值的过程：

// 代码示例 2：ToPrimitive 过程
// ToPrimitive(input, preferredType)
// 1. 如果 input 已是原始值，返回
// 2. 调用 input[Symbol.toPrimitive](hint)（如果存在）
// 3. 如果 hint 是 'number'：先 valueOf() 再 toString()
// 4. 如果 hint 是 'string'：先 toString() 再 valueOf()

const obj = {
  [Symbol.toPrimitive](hint) {
    console.log('hint:', hint);
    switch (hint) {
      case 'number': return 42;
      case 'string': return 'hello';
      default: return 'default'; // hint === 'default'
    }
  }
};

console.log(+obj);       // hint: number → 42
console.log(`${obj}`);   // hint: string → 'hello'
console.log(obj + '');   // hint: default → 'default'
console.log(obj == 42);  // hint: default → 'default'

valueOf 和 toString 的调用顺序

// 代码示例 3：无 Symbol.toPrimitive 时的行为
const complex = {
  valueOf() {
    console.log('valueOf called');
    return 100;
  },
  toString() {
    console.log('toString called');
    return 'complex object';
  }
};

console.log(complex + 1);    // valueOf → 101（数值上下文）
console.log(`${complex}`);   // toString → 'complex object'（模板字符串强制 string hint）
console.log(complex + '');   // valueOf → '100'（+ 操作符 hint 是 default）

---

3. ToNumber 转换规则

// 代码示例 4：ToNumber 完整规则
Number(undefined);     // NaN
Number(null);          // 0
Number(true);          // 1
Number(false);         // 0
Number('');            // 0
Number(' ');           // 0（空白字符串）
Number('123');         // 123
Number('0x1A');        // 26（十六进制）
Number('0o17');        // 15（八进制）
Number('0b1010');      // 10（二进制）
Number('123abc');      // NaN
Number('Infinity');    // Infinity
Number([]);            // 0（[].toString() → '' → 0）
Number([1]);           // 1（[1].toString() → '1' → 1）
Number([1,2]);         // NaN（'1,2' → NaN）
Number({});            // NaN（'[object Object]' → NaN）
Number(Symbol());      // TypeError!
Number(42n);           // 42（BigInt → Number，可能丢失精度）

---

4. ToString 转换规则

// 代码示例 5：ToString 规则
String(undefined);     // 'undefined'
String(null);          // 'null'
String(true);          // 'true'
String(false);         // 'false'
String(0);             // '0'
String(-0);            // '0'（注意！）
String(NaN);           // 'NaN'
String(Infinity);      // 'Infinity'
String(123);           // '123'
String(Symbol('x'));   // 'Symbol(x)'（但隐式转换会 TypeError）
String(42n);           // '42'

// 对象的 ToString
String([]);            // ''
String([1,2,3]);       // '1,2,3'
String({});            // '[object Object]'
String(new Date());    // 'Mon Jan 01 2024...'（Date 优先调 toString）

---

5. ToBoolean 与 Falsy 值

// 代码示例 6：完整的 Falsy 值列表（仅此 8 个）
Boolean(false);        // false
Boolean(0);            // false
Boolean(-0);           // false
Boolean(0n);           // false
Boolean('');           // false
Boolean(null);         // false
Boolean(undefined);    // false
Boolean(NaN);          // false

// 所有其他值都是 truthy！
Boolean([]);           // true（空数组是 truthy！）
Boolean({});           // true（空对象是 truthy！）
Boolean('0');          // true（非空字符串）
Boolean('false');      // true
Boolean(new Boolean(false)); // true（对象总是 truthy！）
Boolean(Infinity);     // true
Boolean(-Infinity);    // true

---

6. == 的完整比较算法

ECMAScript §7.2.14 定义了 Abstract Equality Comparison：

// 代码示例 7：== 的诡异行为
[] == ![];       // true! 
// 解析：![] → false → [] == false → [] == 0 → '' == 0 → 0 == 0 → true

null == undefined; // true（规范特殊规定）
null == 0;        // false（null 只和 undefined 相等）
NaN == NaN;       // false（NaN 不等于任何值）

'' == 0;          // true（'' → 0）
'0' == false;     // true（false → 0, '0' → 0）
' \t\n' == 0;    // true（空白字符串 → 0）

// 对象 vs 原始值
[1] == 1;         // true（[1] → '1' → 1）
['0'] == false;   // true（['0'] → '0' → 0, false → 0）

完整算法流程

// 代码示例 8：== 算法伪代码
function abstractEquals(x, y) {
  // 1. 类型相同 → 使用 ===
  if (typeof x === typeof y) return x === y;
  
  // 2. null/undefined 互等
  if (x == null && y == null) return true;
  
  // 3. Number vs String → String 转 Number
  if (typeof x === 'number' && typeof y === 'string') return x === Number(y);
  if (typeof x === 'string' && typeof y === 'number') return Number(x) === y;
  
  // 4. Boolean → Number
  if (typeof x === 'boolean') return abstractEquals(Number(x), y);
  if (typeof y === 'boolean') return abstractEquals(x, Number(y));
  
  // 5. Object vs Primitive → ToPrimitive
  if (typeof x === 'object' && (typeof y === 'number' || typeof y === 'string')) {
    return abstractEquals(ToPrimitive(x), y);
  }
  // ... 反向同理
  
  return false;
}

---

7. 运算符中的隐式转换

// 代码示例 9：+ 运算符的特殊性
// 如果任一操作数是字符串，则拼接
1 + '2';          // '12'（数字转字符串）
'3' + 4;          // '34'
true + true;      // 2（boolean → number）
[] + [];          // ''（两个空字符串拼接）
[] + {};          // '[object Object]'
{} + [];          // 0（{} 被解析为空块！+ [] → 0）

// 其他算术运算符：始终转 Number
'6' - 1;          // 5
'3' * '4';        // 12
'10' / '2';       // 5
'hello' - 1;      // NaN

// 一元运算符
+'42';             // 42
+true;             // 1
+[];               // 0
+{};               // NaN

比较运算符

// 代码示例 10：< > 比较中的转换
'9' > '10';       // true!（字符串逐字符比较：'9' > '1'）
9 > '10';         // false（'10' → 10）
null > 0;         // false（null → 0，但规范特殊处理）
null >= 0;        // true!
null == 0;        // false!（三者不一致！）

// 对象比较
const a = { valueOf() { return 1; } };
const b = { valueOf() { return 2; } };
console.log(a < b); // true（1 < 2）

---

8. 实战案例

实战案例 1：安全的类型转换工具

const SafeConvert = {
  toNumber(value, fallback = 0) {
    if (value === null || value === undefined) return fallback;
    const num = Number(value);
    return Number.isNaN(num) ? fallback : num;
  },
  
  toString(value, fallback = '') {
    if (value === null || value === undefined) return fallback;
    if (typeof value === 'symbol') return value.description ?? fallback;
    return String(value);
  },
  
  toBoolean(value) {
    // 排除 '0', 'false', 'null' 等假值字符串
    if (typeof value === 'string') {
      return !['', '0', 'false', 'null', 'undefined'].includes(value.trim().toLowerCase());
    }
    return Boolean(value);
  },
  
  toInteger(value, fallback = 0) {
    const num = this.toNumber(value, fallback);
    return Math.trunc(num);
  }
};

实战案例 2：JSON 解析中的类型安全

function parseApiResponse(raw) {
  const data = JSON.parse(raw);
  
  return {
    // 确保 id 是 number（API 可能返回字符串）
    id: +data.id || 0,
    
    // 确保 name 是 string
    name: data.name != null ? String(data.name) : 'Unknown',
    
    // 确保 active 是 boolean（API 可能返回 0/1/'true'/'false'）
    active: data.active === true || data.active === 'true' || data.active === 1,
    
    // 确保 tags 是数组
    tags: Array.isArray(data.tags) ? data.tags : [],
    
    // 确保 score 是有限数字
    score: Number.isFinite(+data.score) ? +data.score : null,
  };
}

实战案例 3：利用隐式转换的简洁写法

// 常见的（安全的）隐式转换技巧
const tricks = {
  // 快速转整数（截断小数）
  intFromFloat: (n) => ~~n,         // ~~3.7 → 3
  intFromFloat2: (n) => n | 0,      // 3.7 | 0 → 3
  intFromFloat3: (n) => n >> 0,     // 仅适用于 32 位整数范围！
  
  // 快速转布尔
  toBool: (v) => !!v,
  
  // 字符串转数字
  toNum: (s) => +s,                 // +'42' → 42
  
  // 获取时间戳
  timestamp: () => +new Date(),     // Date → Number
  
  // 数组去假值
  compact: (arr) => arr.filter(Boolean),
  
  // 短路赋值
  default: (a, b) => a || b,       // 注意：0 和 '' 会被视为假值
  nullish: (a, b) => a ?? b,       // 推荐：只排除 null/undefined
};

---

9. 深度追问

Q1：为什么 typeof null === 'object'？

这是 JavaScript 最早实现中的 bug。在第一版 JS 引擎中，值以 32 位存储，前 3 位作为类型标记：000 表示 object。而 null 被表示为全零（NULL 指针），所以类型标记匹配了 object。修复这个 bug 会破坏太多现有代码，因此永远保留。

Q2：Object.is vs === 的区别？

Object.is(NaN, NaN);   // true（=== 返回 false）
Object.is(+0, -0);     // false（=== 返回 true）

Object.is 实现了 SameValue 算法（§7.2.11），而 === 使用 Strict Equality Comparison（§7.2.16）。

Q3：document.all 为什么是 falsy 的？

document.all 是唯一的 "falsy object"。typeof document.all === 'undefined'。这是 HTML 规范为了向后兼容 IE 特性而设定的特殊行为（§7.1.2 注释），不遵循正常的 ToBoolean 规则。

---

10. 总结表格

值	ToNumber	ToString	ToBoolean
undefined	NaN	'undefined'	false
null	0	'null'	false
true	1	'true'	true
false	0	'false'	false
''	0	''	false
'0'	0	'0'	true
'1'	1	'1'	true
[]	0	''	true
[0]	0	'0'	true
{}	NaN	'[object Object]'	true
NaN	NaN	'NaN'	false

最佳实践	说明
始终使用 ===	避免隐式转换的歧义
显式转换	Number(x), String(x), Boolean(x)
使用 ?? 替代 `
Number.isNaN()	而非全局 isNaN()（后者会先转 Number）

---

下一篇：11. 属性描述符与元编程拦截