JavaScript底层字符串比较机制及===操作符性能优势疑问

• 第一大核心优势是字符串驻留（Interning）机制带来的O(1)短路判定
  几乎所有主流JS引擎（比如Chrome的V8、Firefox的SpiderMonkey）都实现了字符串驻留逻辑：相同内容的静态字符串、已经被标记为可驻留的字符串，会被存放在同一块内存地址。===比较的第一步就是直接比对两个字符串变量的内存指针，指针完全相同的情况下直接返回true，根本不需要读取任何字符串内容，耗时和字符串长度完全无关。
  如果指针不同，第二步会直接比对两个字符串的长度属性，长度不一致直接返回false，这一步也是O(1)操作。只有指针不同、长度完全一致的极端场景，才会进入内容比对环节。
• 第二大优势是底层内容比对的执行效率远高于JS层循环
  就算真的走到内容比对步骤，===的逻辑是用C/C++实现的高度优化的内存比对逻辑：可以利用CPU位宽一次读取多字节数据批量比对（比如64位CPU一次可以读取8字节，相当于一次性比对4个UTF-16编码的字符），远快于JS层一次遍历一个字符的效率。
  反观你写的compare2，首先本身就存在冗余逻辑：前面已经判断了长度不等直接返回false，后续的Math.max(a.length, b.length)完全没有必要，哪怕修正这个问题，JS层循环的额外开销也非常高：每次循环的变量自增、边界判定、a[i]的下标合法性校验、字符串字符读取的封装逻辑都会产生额外开销，字符串长度越大，这部分开销的占比就越高。
  你提到的“全部逻辑在底层执行”确实是核心原因之一，再加上驻留机制的短路优化，就会出现compare1速度完全不受字符串长度影响、远快于手动逐字符比对的测试结果。

内容的提问来源于stack exchange，提问作者강현구