ToPrimitive与OrdinaryToPrimitive：JavaScript强制转换底层疑问

结合《YDKJS》中强制类型转换章节内容与ECMAScript规范，针对你的疑问解答如下：

问题1：为了完成字符串拼接，原始值'a'会被临时装箱为Number对象吗？ #

不会。根据ECMAScript规范中ToPrimitive抽象操作的定义，若输入值本身是原始类型（比如这里的42是Number原始值），会直接返回该原始值，不会触发装箱操作。只有当输入是对象类型时，才会进入后续的Symbol.toPrimitive检查或OrdinaryToPrimitive调用流程。字符串拼接时，a + " "触发对a的ToPrimitive转换，但因为a是原始值，直接参与运算，无需装箱。

问题2：第2行传递的Hint（类型提示）是default（即Number），而第3行是string？Hint仅在显式转换时传递吗？ #

• 第2行的a + " "属于二元加法运算，根据规范，加法操作触发ToPrimitive时传递的Hint是default。在OrdinaryToPrimitive中，default会被当作number处理，即先尝试调用valueOf()，再尝试toString()。
• 第3行的String(a)是显式字符串转换，触发ToPrimitive时传递的Hint是string，此时会先尝试调用toString()，再尝试valueOf()。
• Hint不是仅在显式转换时传递，隐式转换场景也会传递对应的Hint。比如使用==进行松散比较时，若操作数类型不同，触发ToPrimitive时也会传递default或特定Hint；再比如Date对象的隐式转换（如new Date() + ""），因为Date原型上重写了Symbol.toPrimitive，会根据Hint返回不同结果。

问题3：强制类型转换过程中会调用OrdinaryToPrimitive吗？由于Number.prototype和Array.prototype都不含Symbol.toPrimitive方法，exoticToPrim应为undefined，是否仅自定义奇异对象（重写Symbol.toPrimitive的对象）才会执行规范7.1.1的1a和1b步骤？ #

• 是的，普通内置对象（如Number、Array实例）在强制类型转换时会调用OrdinaryToPrimitive。因为它们的原型上没有定义Symbol.toPrimitive方法，所以ToPrimitive操作会跳过exoticToPrim的逻辑，直接进入OrdinaryToPrimitive流程。
• 规范7.1.1的1a和1b步骤，仅针对拥有Symbol.toPrimitive方法的对象（即你提到的奇异对象）。当对象存在该方法时，引擎会调用它并传入对应的Hint，不会再执行OrdinaryToPrimitive。自定义对象只要重写了Symbol.toPrimitive，就会触发这两个步骤，比如：

  const customObj = {
    [Symbol.toPrimitive](hint) {
      if (hint === 'string') return 'hello';
      if (hint === 'number') return 123;
      return 'default';
    }
  };
  console.log(customObj + ' world'); // "default world"
  console.log(String(customObj)); // "hello"
  

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