JavaScript运行时函数与对象绑定的实现原理（解释器开发疑问）

你的核心困惑在于：函数本身并没有绑定固定的this，this的值完全由函数的调用方式决定。gX和o.getX确实指向同一个函数，但调用它们时的上下文（即this的来源）完全不同。

一、调用时的this绑定逻辑 #

JavaScript的函数调用操作符()会根据其左侧的表达式类型，决定this的值：

• 当()左侧是属性引用表达式（比如o.getX，本质是一个包含「基对象o」和「属性名getX」的引用类型），调用时会自动将基对象设置为函数的this。
• 当()左侧是普通函数值（比如变量gX，或者经过赋值、括号分组后解包的函数），调用时this会使用默认绑定：非严格模式下绑定全局对象，严格模式下绑定undefined。

二、拆解你提到的关键案例 #

1. o.getX()返回1：
   这里o.getX是一个属性引用，调用()时，解释器会获取这个引用的基对象o，并将其作为this传入getX函数，所以this.x就是o.x，返回1。

2. gX()返回undefined：
   let gX = o.getX这一步会把引用o.getX解包成函数本身赋值给gX。调用gX()时，()左侧是普通函数值，this用默认绑定（严格模式下是undefined），所以this.x就是undefined.x，最终返回undefined。

3. (o.getX)()返回1：
   括号在这里只是语法分组，不会改变o.getX的引用类型——它仍然是指向o上getX属性的引用。调用时依然会把o作为this传入，所以返回1。

4. (gX = o.getX)()返回undefined：
   赋值表达式gX = o.getX的返回值是解包后的函数本身（不是引用类型）。调用这个返回值时，()左侧是普通函数值，this用默认绑定，所以返回undefined。

三、解释器实现的关键要点 #

在实现JavaScript解释器时，你需要区分两种值类型：

• 引用类型（Reference）：包含基对象（base）和属性名（name），比如属性访问、标识符引用的结果。
• 普通值（Value）：比如函数对象、字符串、数字等。

当处理函数调用时：

1. 先求值()左侧的表达式，得到一个结果。
2. 如果结果是引用类型，就将其基对象作为this，然后获取该属性对应的函数进行调用。
3. 如果结果是普通值，就使用默认绑定的this进行调用。

这样就能准确处理你提到的所有场景。

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