代入式の名前プロパティの定義

Question

ECMAScript 6以降、ほとんどの関数オブジェクトには、という名前のプロパティが定義されています（）。

ここで、匿名関数式が変数に割り当てられている場合、またはオブジェクト初期化子内のプロパティ定義の一部である場合、変数の識別子またはプロパティの名前は、の名前の値になります。関数オブジェクト

次の例のように、左側のメンバーの表現への割り当てがない理由、私はこの動作の文書化セマンティックに関する仕様を理解するために問題はありませんが、私は実際に見ることができない

const a = function() {}; 
console.log(a.name); // a 

const object = { 
    b : function() {} 
}; 
console.log(object.b.name); // b 

その機能のプロパティに影響します。

const object = {}; 
object.c = function() {}; 
console.log(object.c.name); // 

部材式の一部として、（とする必要がありますか？）は名プロパティの値として使用することができるindentifierが明らかに存在します。たとえオブジェクト名の中で計算されたプロパティ名を使用しても、という名前の無名関数のプロパティーが定義されることはないため、プロパティ名は大括弧で囲まれた式であっても問題ありません。

観察された動作が仕様に準拠していることを誰かが確認できる場合は、この構文に適用される特定のセマンティクスを簡単に説明してください。

Answer 1

この最初のスニペットは、assignment operators下に記載されている：

E。 LeftHandSideExpressionのIsAnonymousFunctionDefinition（AssignmentExpression）とIsIdentifierRefの両方がtrueの場合、

i。 hasNamePropertyをHasOwnProperty（rval、 "name"）にします。

ii。 ReturnIfAbrupt（hasNameProperty）。

iii。 hasNamePropertyがfalseの場合は、SetFunctionName（rval、GetReferencedName（lref））を実行します。

最後のスニペットのようにMemberExpressionに割り当てると、IsIdentifierRef(LeftHandSideExpression)はfalseであり、変換は行われません。

IsAnonymousFunctionDefinitionの標準を検索すると、このロジックが使用される他のケースが2つ見つかります（オブジェクト初期化子、割り当て解除の割り当て）。

IsIdentifierRefは（hereとhere）で2回定義され、両方の定義がIdentifierReferenceをIdentifier（yieldものであり、「式がtrueを返すIdentifierReferenceあればそうでない場合はfalseを返す」非厳密との下位互換性のためであるまで沸騰さコード）。