理解this

July 26, 2024

函数通过 new 调用（new FuncClass()）时，this 为创建（new）的对象
this 由 bind|call|apply 指定，并且不是 undefined || null
函数在对象上下文中调用，this 为上下文对象
非上述情况：严格模式下 this === undefined，否则 this === globalThis
bind|call|apply 指定 undefined || null 时，this === globalThis
箭头函数没有自己的 this， this 即是上下文中的 this

interface ProxyHandler<T extends object> {
    apply?(target: T, thisArg: any, argArray: any[]): any;
    construct?(target: T, argArray: any[], newTarget: Function): object;
    defineProperty?(target: T, property: string | symbol, attributes: PropertyDescriptor): boolean;
    deleteProperty?(target: T, p: string | symbol): boolean;
    get?(target: T, p: string | symbol, receiver: any): any;
    getOwnPropertyDescriptor?(target: T, p: string | symbol): PropertyDescriptor | undefined;
    getPrototypeOf?(target: T): object | null;
    has?(target: T, p: string | symbol): boolean;
    isExtensible?(target: T): boolean;
    ownKeys?(target: T): ArrayLike<string | symbol>;
    preventExtensions?(target: T): boolean;
    set?(target: T, p: string | symbol, newValue: any, receiver: any): boolean;
    setPrototypeOf?(target: T, v: object | null): boolean;
}

必要内部方法

内部方法	签名	描述
`[[GetPrototypeOf]]`	( ) → Object \| Null	确定提供此对象继承属性的对象。null值表示没有继承属性。
`[[SetPrototypeOf]]`	(Object \| Null) → Boolean	将此对象与提供继承属性的另一个对象关联。传递null表示没有继承属性。返回true表示操作成功完成，返回false表示操作未成功。
`[[IsExtensible]]`	( ) → Boolean	确定是否允许向此对象添加其它属性。
`[[PreventExtensions]]`	( ) → Boolean	控制是否可以向此对象添加新属性。返回true表示操作成功，返回false表示操作未成功。
`[[GetOwnProperty]]`	(`propertyKey`) → Undefined \| Property Descriptor	返回此对象自有属性的属性描述符，其键为`propertyKey`，如果不存在此类属性，则返回undefined。
`[[DefineOwnProperty]]`	(`propertyKey`, `PropertyDescriptor`) → Boolean	创建或更改自有属性，其键为`propertyKey`，使其具有`PropertyDescriptor`描述的状态。如果该属性成功创建/更新，则返回true；如果无法创建或更新该属性，则返回false。
`[[HasProperty]]`	(`propertyKey`) → Boolean	返回一个布尔值，指示此对象是否已经具有键为`propertyKey`的自有或继承属性。
`[[Get]]`	(`propertyKey`, `Receiver`) → any	返回此对象中键为`propertyKey`的属性值。如果需要执行任何ECMAScript代码来获取属性值，则在评估代码时使用`Receiver`作为this值。
`[[Set]]`	(`propertyKey`, `value`, `Receiver`) → Boolean	将键为`propertyKey`的属性值设置为`value`。如果需要执行任何ECMAScript代码来设置属性值，则在评估代码时使用`Receiver`作为this值。如果属性值已设置，则返回true；如果无法设置，则返回false。
`[[Delete]]`	(`propertyKey`) → Boolean	从此对象中删除键为`propertyKey`的自有属性。如果属性未删除且仍然存在，则返回false。如果属性已删除或不存在，则返回true。
`[[OwnPropertyKeys]]`	( ) → List of property keys	返回一个列表，其元素是此对象的所有自有属性键。

ECMAScript函数对象封装了带参数的 ECMAScript 代码，这些代码在词法环境中闭合，并支持动态求值。
ECMAScript 函数对象是普通对象，具有与其它普通对象相同的内部槽和内部方法。
ECMAScript函数对象的代码可以是严格模式代码或非严格模式代码。
代码为严格模式的 ECMAScript 函数对象称为严格函数，代码为非严格模式的则称为非严格函数。

除了 [[Extensible]] 和 [[Prototype]]，ECMAScript函数对象还拥有表中列出的内部槽。

内部槽	类型	描述
`[[Environment]]`	an Environment Record	函数闭合时的环境记录。在求值函数代码时用作外部环境。
`[[PrivateEnvironment]]`	a PrivateEnvironment Record or null	函数闭合时的私有环境记录。如果该函数在语法上不包含在类中，则为null。在求值函数代码时，用作内部类的外部私有环境。
`[[FormalParameters]]`	a Parse Node	定义函数形式参数列表的源文本的根解析节点。
`[[ECMAScriptCode]]`	a Parse Node	定义函数主体的源文本的根解析节点。
`[[ConstructorKind]]`	base or derived	函数是否为派生类构造函数。
`[[Realm]]`	a Realm Record	创建函数的 Realm，并在求值函数时提供任何访问的内在对象。
`[[ScriptOrModule]]`	a Script Record or a Module Record	创建函数的脚本或模块。
`[[ThisMode]]`	lexical, strict, or global	定义在函数的形式参数和代码主体中如何解释`this`引用。lexical意味着`this`引用词法上包围的函数的this值。strict意味着this值完全按照函数调用时提供的值使用。global意味着undefined或null的this值被解释为全局对象的引用，其它this值首先传递给ToObject。
`[[Strict]]`	a Boolean	如果这是一个严格函数，则为true；如果这是一个非严格函数，则为false。
`[[HomeObject]]`	an Object	如果函数使用`super`，这是一个对象，其`[[GetPrototypeOf]]`提供了`super`属性查找开始的对象。
`[[SourceText]]`	a sequence of Unicode code points	定义函数的源文本。
`[[Fields]]`	a List of ClassFieldDefinition Records	如果函数是一个类，这是一个表示类的非静态字段及其相应初始化器的记录列表。
`[[PrivateMethods]]`	a List of PrivateElements	如果函数是一个类，这是一个表示类的非静态私有方法和访问器的列表。
`[[ClassFieldInitializerName]]`	a String, a Symbol, a Private Name, or empty	如果函数是作为类字段的初始化器创建的，用于字段命名求值的名称；否则为空。
`[[IsClassConstructor]]`	a Boolean	指示函数是否为类构造函数。（如果为true，调用函数的`[[Call]]`将立即抛出TypeError异常。）

从解释器实现角度看，运行时调用一个函数除了要提供参数列表，还需要提供 this 参数：
Call(F, V [,argumentsList]) [[Call]](thisArgument, argumentsList)
该抽象操作内部又委托 OrdinaryCallBindThis(F, calleeContext, thisArgument) 抽象操作，来指定当前执行环境的 this 值
（这一步操作主要是根据函数的 [[ThisMode]] 内部槽来决定如何解释 this。即分为严格模式、非严格模式和箭头函数情况）
最后通过 OrdinaryCallEvaluateBody(F, argumentsList) 抽象操作来执行代码

那么上述抽象操作中的 this 是怎么得来的？关键在于最后的 EvaluateCall(func, ref, arguments, tailPosition) 抽象操作。

首先看看该抽象操作是如何被调用的，即我们执行一个 CallExpression : CallExpression Arguments 表达式：

令 ref 为 ? 对 CallExpression 的求值结果。
令 func 为 ? GetValue(ref)。
令 thisCall 为当前的 CallExpression。
令 tailCall 为 IsInTailPosition(thisCall)。
返回 ? EvaluateCall(func, ref, Arguments, tailCall)。

现在执行该抽象操作：

If ref is a Reference Record, then
1. If IsPropertyReference(ref) is true, then
  1. Let thisValue be GetThisValue(ref).
2. Else,
  1. Let refEnv be ref.[[Base]].
  2. Assert: refEnv is an Environment Record.
  3. Let thisValue be refEnv.WithBaseObject().
Else,
1. Let thisValue be undefined.
Let argList be ? ArgumentListEvaluation of arguments.
If func is not an Object, throw a TypeError exception.
If IsCallable(func) is false, throw a TypeError exception.
If tailPosition is true, perform PrepareForTailCall().
Return ? Call(func, thisValue, argList).

结合上面的信息，可知（我们忽略 with 表达式的情况）：

如果执行 CallExpression 得到 Reference Record 且它还是 PropertyReference（即其 [[Base]] 是 Environment Record），在此情况下：若它是 SuperReference（即含 [[ThisValue]]）则返回它的 [[ThisValue]]，否则返回它的 [[Base]]

这里，核心问题在于 ref 是不是一个 Reference Record：
因为如果 ref 不是 Reference Record，那么 thisValue 就是 undefined
事实是 ref 既可以是包含了函数的 Reference Record，也可以是直接是函数本身。

例如，在下面的示例中， obj.fn 是包含了函数的 Reference Record，
而 (true && obj.fn)) 是函数本身

var fn = function () {
    // "use strict";
    return `this is ${this}`;
};
var fn2 = () => `this is ${this}`;

var obj = { fn, fn2 };

fn(); // this is [object global]
obj.fn(); // this is [object Object]
obj.fn2(); // this is [object global]
(true && obj.fn)(); // this is [object global]
(false || obj.fn)(); // this is [object global]

箭头函数时，解释器算法传入 thisValue 也和普通情况别无二致，也就是说这时是不区分是否是箭头函数的。
但我们知道，箭头函数的内部槽 [[ThisMode]] 与其它函数不一样：它是 LEXICAL，表示 this 引用词法上包围的函数的 this 值。
最终调用开始前， Function Environment Record 绑定 thisValue（BindThisValue(thisValue)）。

函数环境记录（Function Environment Record）是一种声明性环境记录，用于表示函数的顶级作用域。
如果该函数不是箭头函数，还提供一个 this 绑定。
如果一个函数不是箭头函数并引用了 super，其函数环境记录还包含在函数内部执行 super 方法调用所需的状态。

一个 agent 由一组 ECMAScript 执行上下文、一个执行上下文栈、一个正在运行的执行上下文、一个 Agent Record 以及一个执行线程组成。除执行线程外，agent 的各个组成部分是该 agent 独有的。

agent 的执行线程在该agent的执行上下文中独立执行算法步骤，不受其它 agent 的影响，除非一个执行线程被多个 agent 共享，且这些 agent 的 Agent Record 中的 [[CanBlock]] 字段均为false。

执行上下文是一种规范装置，用于跟踪 ECMAScript 实现对代码的运行时执行。
在任何时间点，每个 agent 最多只有一个实际执行代码的执行上下文，这被称为 agent 的运行执行上下文。

执行上下文栈用于跟踪执行上下文。运行执行上下文始终是此栈的顶部元素。
每当控制从当前运行执行上下文关联的可执行代码转移到与该执行上下文无关的可执行代码时，便会创建一个新的执行上下文。
新创建的执行上下文会被推入栈顶并成为运行执行上下文。

执行上下文包含跟踪其关联代码执行进度所需的任何特定于实现的状态。

在执行之前，所有的 ECMAScript 代码都必须与一个 Realm 相关联。
Realm 包含一个 Global Environment Record。

←Back to home

This work is licensed under CC BY-NC-SA 4.0