06/11/02 23:08:39 C7j+kj57
そのとおり、0除算が出るから。
常識的にはFooが0の時には( Foo<>0 )が成立しないので後が何であろうとも全体として不成立になるはず。
しかし、RPN処理の場合は正格評価になるので( 1000/Foo > 5 )を必ず評価してしまうことになる。
(Foo 0 <> 1000 Foo / 5 > and あたりになるかな?)
これは望ましい状態とは言いがたい。
なお、notとxorは正格評価で問題ない。
06/11/02 23:08:39 C7j+kj57
そのとおり、0除算が出るから。
常識的にはFooが0の時には( Foo<>0 )が成立しないので後が何であろうとも全体として不成立になるはず。
しかし、RPN処理の場合は正格評価になるので( 1000/Foo > 5 )を必ず評価してしまうことになる。
(Foo 0 <> 1000 Foo / 5 > and あたりになるかな?)
これは望ましい状態とは言いがたい。
なお、notとxorは正格評価で問題ない。