[ECMAScript] Public Class Fields

Public Class Fields是目前处于Stage 2的ECMAScript特性，用于便捷的为class声明字段（fields），例如：

class A {
    a = 1;
    static b=2;

    constructor() {
        this.a    //1
    }
}

A.b    //2
new A;

其中，
（1）Public Class Fields的语法是a=1，而不是a:1。
（2）字段a在constructor的函数体执行之前就已经赋值为1了。

我们如何确认这两点呢？

1. 规范

找到Public Class Fields规范：https://tc39.github.io/proposal-class-public-fields/

2. 语法

Public Class Fields引入新的产生式（productions）和静态语义（static semantics），
语法方面，我们只看这个新的产生式：

PublicFieldDefinition : 
    PropertyName Initializer

非终结符（nonterminal symbols）PropertyName和Initializer来自ECMAScript® 2017 Language Specification：

PropertyName :
    LiteralPropertyName
    ComputedPropertyName

Initializer : 
    = AssignmentExpression

我们看到Initializer中包含终结符（terminal symbols）“=”，
因此，符合规范的语法是a=1，而不是a:1。

关于Static Public Class Fields，详见Class Definitions语法：

3. 语义

为了确定是否在constructor的函数体执行之前，Public Class Fields已经被赋值了。
可以参考Public Class Fields规范新增的Runtime Semantics / Dynamic Semantics。

内部函数[[Construct]] ( argumentsList, newTarget )原意是为了说明，把函数作为构造函数来调用时发生的事情。在这里，可以用来表明调用class的constructor时发生了什么，此时F就是constructor函数，argumentsList就是constructor的参数列表，newTarget就是constructor函数中的this。（可参考，ECMAScript® 2017 Language Specification: 9.2.2 [[Construct]] ( argumentsList, newTarget )。

Public Class Fields规范对[[Construct]] ( argumentsList, newTarget )进行了修改，
增加了InitializePublicInstanceFields(thisArgument, F)。

我们看到InitializePublicInstanceFields在OrdinaryCallEvaluateBody之前执行，
其中，OrdinaryCallEvaluateBody做的事情就是求值class的constructor函数体。

下面我们分两个步骤理解InitializePublicInstanceFields做的事情：

（1）InitializePublicInstanceFields

这个内部函数先从constructor中读取内部属性（internal slot）[[PublicFields]]
然后逐个对Public Class Fields求值，把结果保存成多个属性desc，然后设置给O。
constructor就是InitializePublicInstanceFields(thisArgument, F)中的F，
O就是InitializePublicInstanceFields(thisArgument, F)中的thisArgument。

上文中我们看到InitializePublicInstanceFields在OrdinaryCallEvaluateBody之前执行。
这说明，在求值class的构造函数constructor的函数体之前，
this（即thisArgument）已经被设置了Public Class Fields属性（即desc）。
因此，字段a在constructor的函数体执行之前就已经赋值为1了。

（2）[[PublicFields]]

这个内部属性（internal slot）是在class定义的时候生成的。
Public Class Fields规范：2.1.3 Runtime Semantics: ClassDefinitionEvaluation

ClassPublicFields内部函数根据产生式（productions）得到一个语法上的ClassElement列表（list）。
ClassPublicFieldDefinitionEvaluation会根据语法生成一个内部的数据结构Record。
ClassPublicFields和ClassPublicFieldDefinitionEvaluation的具体定义如下：

参考

Github: tc39/proposals
Public Class Fields
ECMAScript® 2017 Language Specification