SC540 3BSE006096R1  直到函数体中需要这些参数

SC540 3BSE006096R1  直到函数体中需要这些参数

A非严格评估顺序是一个不严格的计算顺序，也就是说，一个函数可能在其所有参数被完全计算之前返回一个结果。^{[26]: 46–47}典型的例子是正常订单评估，它不会计算任何参数，直到函数体中需要这些参数。^[27]正常订单评估具有这样的属性，即无论何时任何其他评估订单都会无错误地终止，它都会无错误地终止。^[28]注意到懒惰评估在本文中被归类为绑定技术，而不是评估顺序。但是这种区别并不总是被遵守，一些作者将惰性求值定义为正常顺序求值，反之亦然，^[29][30]或者把不严格和懒评混为一谈。^{[26]: 43–44}

许多语言中的布尔表达式使用一种称为短路评估，其中一旦确定将产生明确的布尔值，评估就返回，例如，在析取表达式(or)中真实的或者在连接表达式(AND)中，其中错误的被遇到，等等。^[30]条件表达式同样使用非严格的求值方式——只对其中一个分支求值。^[26]

专栏文章内容及配图由作者撰写发布，仅供工程师学习之用，如有侵权或者其他违规问题，请联系本站处理。 联系我们