JavaScriptでObjectに空のStringを足すと0になる！？……わけではなかった

ASTをみてみよう この不思議な現象を調査するために、AST（Abstract Syntax Tree: 抽象構文木）の状態を見てみることにしました。ASTはソースコードを構文解析した結果をツリー構造にしたもので、AST Explorerを使うと簡単に見ることができます。 ({}) + "" のAST ({}) + "" のASTをみると、ひとつの ExpressionStatement となっているのがわかります。ExpressionStatement の leftは ObjectExpression 、 operator は + 、rightは Literal となっていて、たしかに Object と String の足し算になっています。これなら確かに"[object Object]" が返ってくるでしょう。 {} + ""のAST しかし、{} + "" のASTをみると、Bloc

[oisux]

仕様上、Statementが`{`で始まるとExpressionとして解釈されない(=Blockになる)ように定義されている https://262.ecma-international.org/14.0/#sec-expression-statement / node REPLは先頭が`{`の時()で囲むような処理をするので結果が異なる

[coppieee]

ブロックが文なので{}と+""か別々に評価されて、+が単行プラス演算子として機能してるからだな。なので+""は数値に変換されて0になる。

[yorkfield]

ブロックに対する足し算が文法エラーにならないんだ。

[hasiduki]

実装より仕様を見たいな！！！！！！！

[tick2tack]

{ foo: "bar" } + "" で 0 が返ってくると。オブジェクトでなく foo というラベルの付いた "bar" という文のブロックとして評価されると

[shingo-sasaki-0529]

Node だと結果が違うけど、 {} をブロックステートメントと解釈するかだから、処理系と言うより REPL の実装差異なのかなぁ。

[otchy210]

{foo: "bar"} がオブジェクトリテラルではなくブロック内に `foo` ラベルの付いた "bar" という文として解釈されうるの、深慮に欠けたという意味でもはや仕様バグでは。正規表現リテラル並の闇。

[softstone]

map()でオブジェクト返すときとかによく出会うやつだけど、アロー演算子とセットで覚えちゃってるから違うところで見るとギョッとするのもわかる。（あとJSの自動型変換が信用されてないのも…）

[satomi_hanten]

暗黙の型変換が無い言語は嫌いだけど、挙動が一定でなかったり直感的でなかったりするのは好きじゃない。

[rryu]

BlockStatementは文末にセミコロンのいらない文なので何事もなく文が終わり2つの文として解釈されているということなのか。オブジェクトの中身に見えるものがラベル付き文なのがおもしろい。

[axljpn]

nodeだと[object Object]になったので実装依存？

[Lhankor_Mhy]

答を読む前にわかった。オブジェクト初期化子をブロックと解釈されないように否定演算子とかvoidとかをつけたりするのは、JavaScript書いてるとよくある。

[beejaga]

スクリプトのオブジェクト構文に蹂躙されたおじいちゃんには当たり前の挙動に見えてしまうが、普通にIDEを使っていると気付かないか……

[nemoba]

ブロック文への演算？？と思ったけど、空ブロック文の区切りと単項演算子が並んでる扱いなのかｗ

[odakaho]

セキュリティホールありそう

[ledsun]

“{} は空のブロック であり” へー、なるほどなあ

[quality1]

やっぱりわからないJavaScript

[nmcli]

バグ発見の手掛かりにはなりそう