前回の続きです。なぜ "" == foo が true と評価されるのか、まず、暗黙の型変換が行われる際のルールを一つ確認します。
暗黙の型変換の基準
暗黙の型変換が行われる際の基準となる型は、変数に関連付けられた型注釈ではなく、値であるオブジェクト自体の型です。ですので変数の型に注目していても暗黙の型変換の結果は分かりません。
例えば、今回問題になっている例 foo:Object = 0 では、値である 0 の型が暗黙の型変換の基準になります。foo の型ではありません。そのため if 文の条件は文字列とと数値の比較として扱われます。
var foo:Object = 0; if ("" == foo) { // 実際には "" == 0 が評価される trace("foo is null String"); }
そうすると、今回のケースでは "" と 0 が等価であるかどうかが評価されていることになります。