ECMAScript中为什么原始值可以调用“特定”的方法和属性？

问题

在ECMAScript中大家都知道，下面这段代码没啥问题。

let s1 = 'hello world';
let s2 = s1.substring(2);
console.log(s2); // llo world

但是，有没有人真正的去考虑，第二行代码为什么可以正确执行呢？按理，s1 是原始值，原始值不是不可以调用方法吗？这不应该是对象才可以调用方法吗？

---

原理

其实，在第二行中访问 s1 的时候，是以读模式访问的，也就是要从内存中读取变量保存的值，在读取变量保存的值的过程中，在后台默默做了如下处理：

1. 创建一个 String类型的实例；
2. 调用 String类型的实例上特定的方法；
3. 销毁实例。

可以把上面的步骤理解成这段代码:

let s1 = new String('hello world');
let s2 = s1.substring(2);
s1 = null;

console.log(s2); // llo world

所以，确实原始值调用特定方法的时候，其实在后台真正做的是上面这段代码中的事情。同理，对于数值和布尔值，同样也做了上面这 3 步，只不过是转化为了对应的 Number 和 Boolean 类型的实例。

当然，原始值也可以添加属性，只不过因为变量生命周期的原因，访问的时候为 undefined，比如：

let nameInfo = '柯腾';
nameInfo.alias = '小柯';
console.log(nameInfo.alias); // undefined

要真正理解这段代码，需要知道，引用类型和原始值包装类型的变量生命周期。通过 new 关键字实例化了引用类型后，得到的实例会在离开了作用域之后被销毁；而通过原始值包装类型创建的实例，它的生命周期只存在于访问它的那行代码执行期间，之后就会被销毁。

比如上面这段代码，代码执行到第二行的时候，其实是创建了一个 String 类型的对象，并且添加了 nameInfo.alias属性，保存字符串’小柯’。这没有任何问题，但是在第 3 行访问它的时候，实例已经被销毁了，所以打印 undefined。其实呢，第三行也创建了一个 String 类型的对象，只不过它的值为 undefined。