短路求值
求值策略 |
---|
短路求值(Short-circuit evaluation; minimal evaluation; McCarthy evaluation; 又称最小化求值)[1],是一种逻辑运算符的求值策略。只有当第一个运算数的值无法确定逻辑运算的结果时,才对第二个运算数进行求值。例如,当AND的第一个运算数的值为false时,其结果必定为false;当OR的第一个运算数为true时,最后结果必定为true,在这种情况下,就不需要知道第二个运算数的具体值。在一些语言中(如Lisp),默认的逻辑运算符就是短路运算符,而在另一些语言中(如Java,Ada),短路和非短路的运算符都存在。对于一些逻辑运算,如XOR,短路求值是不可能的 。
短路表达式x AND y
,事实上等价于条件语句:if x then y else false
。短路表达式x OR y
,则等价于条件语句:if x then true else y
。
C语言和C++[编辑]
C语言和C++语言标准强制规定了||
和&&
短路求值语义以及求值顺序。从而,下述这样的包含安全检查的代码是非常常见的:
char* pChar = 0;
// some actions which may or may not set pChar to something
if ((pChar != 0) && (*pChar != '\0')) {
// do something useful
}
C99语言标准的Section 6.5.13 Logical AND operator规定:
(4). Unlike the bitwise binary & operator, the && operator guarantees left-to-right evaluation; there is a sequence point after the evaluation of the first operand. If the first operand compares equal to 0, the second operand is not evaluated. 翻译:于二元位与运算符&不同,&&运算符保证从左到右求值,第一操作数求值后有一个顺序点。如果第一操作数比较等于0,则第二操作数不再求值。
类似地,section 6.5.14 Logical OR operator有类似规定。C++语言标准有同样规定。但如果重载了||
和&&
运算符,则仅是普通运算符。
考虑以下使用C语言写的例子:
int a = 0;
if (a && myfunc(b)) {
do_something();
}
在这个例子中,最小化计算使得myfunc(b)
永远不会被调用。这是因为 a
等于false,而false AND q无论q是什么总是得到false。这个特性允許兩個有用的編程結構。首先,不論判別式中第一個子判別語句要耗費多昂貴的計算,總是會被執行,若此時求得的值為 false,則第二個子判別運算將不會執行,這可以節省來自第二個語句的昂貴計算。再來,這個結構可由第一個子判別語句來避免第二個判別語句不會導致運行時錯誤。例如對以下使用C语言寫的例子而言,最小化計算可以避免對空指针進行存取。
void * p = NULL;
int ret;
/* ... */
if(p && ret = func(p) ){
/* 或者另一種更清晰的寫法是if( (p != NULL) && (ret = func(p)) ) */
/* ... */
}
/* ... */
當使用最小化計算時,很重要的一點是得知表示式取值的順序。某些編程語言中確保有一致的取值順序。例如:C语言、Java、Perl、Python和Ruby等。
它不过是下面语句的一种更加紧凑的表示形式罢了。
if (cond_a) {
if (expensive_or_dangerous_cond_b) {
...
}
}
註釋[编辑]
- ^ Peter Hofer, Peter Fischer: Lexikon der Informatik. 15. Auflage. Springer, Berlin 2010, ISBN 3-642-15125-6, S. 81 (eingeschränkte Vorschau in der Google-Buchsuche).
參考文獻[编辑]
- Michael L. Scott: Programming Language Pragmatics. 3. Auflage. Elsevier LTD, Oxford 2009, ISBN 0-12-374514-4, S. 239 (eingeschränkte Vorschau in der Google-Buchsuche).