ECMAScript仕様理解パート2の「追加内容」
なぜo2.fooはAssignmentExpressionなのか？
o2.fooはAssignmentExpressionには見えません。なぜなら代入がないからです。なぜこれがAssignmentExpressionなのでしょうか？
仕様では、AssignmentExpressionを引数として使用したり代入の右辺に使用することが認められています。例を挙げると：
function simple(a) {
console.log('引数は ' + a);
}
simple(x = 1);
// → 「引数は 1」とログに記録される。
x;
// → 1
…および…
x = y = 5;
x; // 5
y; // 5
o2.fooは何も代入をしないAssignmentExpressionです。これには以下の文法生成規則が基づいています。それぞれ「最も簡単な」ケースをたどって最後に至ります：
AssignmentExpressionは代入を伴う必要はなく、ConditionalExpressionであることもできます：
(他にも生成規則がありますが、ここでは関連性のあるもののみを示しています。)
ConditionalExpressionは条件式(a == b ? c : d)を持たない必要はなく、ShortCircuitExpressionだけでも構いません：
さらに続けて：
ShortCircuitExpression : LogicalORExpression
LogicalORExpression : LogicalANDExpression
LogicalANDExpression : BitwiseORExpression
BitwiseORExpression : BitwiseXORExpression
BitwiseXORExpression : BitwiseANDExpression
BitwiseANDExpression : EqualityExpression
もう少しです…
ShiftExpression : AdditiveExpression
AdditiveExpression : MultiplicativeExpression
絶望しないでください！もう少しです…
LeftHandSideExpressionの生成規則にたどり着きます：
LeftHandSideExpression :NewExpressionCallExpressionOptionalExpression
o2.fooに適用される生成規則を特定することは明確ではありません。ただし、NewExpressionが実際にはnewキーワードを持つ必要がないことを知る必要があります（または確認する必要があります）。
MemberExpressionは探していたもののようですので、次はこの生成規則を取得します：
したがって、o2.fooはo2が有効なMemberExpressionである場合、MemberExpressionです。幸運なことに、それははるかに簡単に見ることができます：
MemberExpression : PrimaryExpression
o2は確かにIdentifierであるため問題ありません。o2はMemberExpressionであり、したがってo2.fooもMemberExpressionです。MemberExpressionは有効なAssignmentExpressionなので、o2.fooはAssignmentExpressionにもなります。