VarDeclaredNamesとVarScopedDeclarationsの違いは何ですか？

Question

私はEcmaScript仕様書を読んでいます。 9.2.12で

、があります。

11.Let varNames be the VarDeclaredNames of code. 
12.Let varDeclarations be the VarScopedDeclarations of code. 

そして13.1.5と13.1.6で：

13.1.5 Static Semantics: VarDeclaredNames 

Statement : 

EmptyStatement 
ExpressionStatement 
ContinueStatement 
BreakStatement 
ReturnStatement 
ThrowStatement 
DebuggerStatement 
Return a new empty List. 

13.1.6 Static Semantics: VarScopedDeclarations 

Statement : 

EmptyStatement 
ExpressionStatement 
ContinueStatement 
BreakStatement 
ReturnStatement 
ThrowStatement 
DebuggerStatement 
Return a new empty List. 

彼らは私が違いますかを知りたいsame.Soのように見えますVarDeclaredNamesとVarScopedDeclarationsの間？いくつかの例を教えてもらえますか？

ありがとうございました。 VariableDeclaration S、ForBinding S、FunctionDeclarationの sおよびGeneratorDeclaration S：

Answer 1

これら2つの静的意味規則は、物事の同じ種類のASTを検索します。確かに、（特に方法論の）重複がたくさんあります。

しかし、@loganfsmythはコメント内で言及しているように、さまざまな種類のリスト（異なる種類のリスト）を返します。 VarDeclaredNamesは名前（文字列）のリストを返しますが、VarScopedDeclarationsは宣言（つまりASTノード）のリストを返します。

これは何かが実際にリストに追加されたセクションでは明らかである：§13.3.2.2、§13.7.4.5、§13.7.5.7、そしてすべてが、それぞれの要素のBoundNamesを参照してください§13.2.9、§13.3.2.3、§13.7.4.6、§13.7.5.8、および§13.2.10ながら参照くださいそれぞれの宣言自体。

なぜこの区別が必要ですか？ VarDeclaredNamesはスコープ内でバインディングを作成するために使用され、一方、VarScopedDeclarationsは関数宣言を検索して検索します（これらの値でバインディングを初期化します）。

もっと簡単でしたか？はい、確かに - 字句宣言の場合、scope initialisation descriptionは宣言を反復し、それぞれのBoundNamesを取得します。関数レベルの宣言にもこのアプローチを使用するように、仕様作成者にバグを提出したいかもしれません。