ERLANG 中的 AND ANDALSO OR ORELSE

转自：http://ovalpo.info/?p=377

在Erlang程序设计中，在谈到断言时有如下叙述：

好像在Erlang中都提倡用andalso与orelse 而不用 and 与 or，andalso 与orelse 是种短路求值，而and 与 or的两个操作数都要进行求值。

那么上述情况呢，我觉得是，在f(x)中or连个操作数都要进行求值，第一个求值为 true 而第二个求值失败，会抛出异常，那么我觉得可以这么整个断言求值失败，抛出异常，而检测到异常的情况下，返回的是false。在g(x)中，进行了短路求值，只对（x==0）进行了求值，返回true 而没有对orelse的右操作数进行求值，所以整个断言求值成功，返回true。

更多资料：

http://blog.csdn.net/lqg1122/article/details/7801889