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
