ECMA-262 7.0 GetValue（V）

Question

谁能用例子向我解释这个算法是如何工作的？

GetValue (V)#

1. ReturnIfAbrupt(V).
2. If Type(V) is not Reference, return V. 
3. Let base be GetBase(V). 
4. If IsUnresolvableReference(V) is true, throw a ReferenceError exception. 
5. If IsPropertyReference(V) is true, then  
    a. If HasPrimitiveBase(V) is true, then  
        i. Assert: In this case, base will never be null or undefined.  
        ii. Let base be ToObject(base).  
    b. Return ? base.[[Get]](GetReferencedName(V), GetThisValue(V)). 
6. Else base must be an Environment Record,  
    a. Return ? base.GetBindingValue(GetReferencedName(V), IsStrictReference(V)) (see 8.1.1).

http://www.ecma-international.org/ecma-262/7.0/#sec-getvalue

如果有人用例子解释它是如何工作的，那就太好了。 我试过了，但我不太了解。

解释示例：

let a = 10, b = {name: "Unknown"};
(null, a);
(null, a.name);
(null, b);
(null, b.name);
(null, b.surname);
(null, 10);
/// etc...

Answer 1

此细分提供更多背景信息：

...参考规格类型＃

注意引用类型用于解释诸如delete，typeof，赋值运算符，super关键字和其他语言特性之类的运算符的行为。 例如，期望赋值的左侧操作数生成引用。

Reference是已解析的名称或属性绑定。 Reference由三个组件组成，基值，引用名称和布尔值严格引用标志。 基值可以是undefined，Object，Boolean，String，Symbol，Number或Environment Record。 基本值undefined表示无法将Reference解析为绑定。 引用的名称是String或Symbol值。

超级引用是一个引用，用于表示使用super关键字表示的名称绑定。 超级引用具有附加的thisValue组件，其基值永远不会是环境记录。

本规范中使用以下抽象操作来访问引用的组件：

• GetBase（V）。 返回引用V的基值组件。
• GetReferencedName（V）。 返回引用V的引用名称组件。
• IsStrictReference（V）。 返回引用V的严格引用标志组件。
• HasPrimitiveBase（V）。 如果Type（base）是Boolean，String，Symbol或Number，则返回true。
• IsPropertyReference（V）。 如果基值是对象或HasPrimitiveBase（V）为true，则返回true;否则返回true。 否则返回false。
• IsUnresolvableReference（V）。 如果基值未定义则返回true，否则返回false。
• IsSuperReference（V）。 如果此引用具有thisValue组件，则返回true。 本规范中使用以下抽象操作来操作引用...

这是语言内部。 从快速浏览一下，在对值执行附加操作之前，它看起来与类型推断有关。 当你打电话时，这种操作会在较低的级别上执行

delete someObject.prop

要么

typeof someVarIdentifier

例：

("" + a);

Parse表达式 - > getValue（“”）+ getValue（a） - > string {“”} +（number {10} - > cast to string） - > concat（“”，“10”） - >“10”