在Erlang程序设计中,在谈到断言时有如下叙述:
好像在Erlang中都提倡用andalso与orelse 而不用 and 与 or,andalso 与orelse 是种短路求值,而and 与 or的两个操作数都要进行求值。
那么上述情况呢,我觉得是,在f(x)中or连个操作数都要进行求值,第一个求值为 true 而第二个求值失败,会抛出异常,那么我觉得可以这么整个断言求值失败,抛出异常,而检测到异常的情况下,返回的是false。在g(x)中,进行了短路求值,只对(x==0)进行了求值,返回true 而没有对orelse的右操作数进行求值,所以整个断言求值成功,返回true。
更多资料: