>>667
そりゃそうだろ。
式の両辺の型によって挙動が決まるんだから。