求值策略

在計算機科學中 ， 求值策略  是確定編程語言中表達式的求值的一組 （ 通常確定性的 ） 規則 。 重點典型的位於函數或算子上 — — 求值策略定義何時和以何種次序求值給函數的實際參數 ， 什麼時候把它們代換入函數 ， 和代換以何種形式發生 。 經常使用用來研究函數的形式系統λ演算來建模求值策略 ， 這裏它們通常叫做歸約策略 。 求值策略分爲兩大基本類 ， 嚴格的和非嚴格的 ， 基於如何處理給函數的實際參數 。 一個語言可以組合多種求值策略 ； 例如C + + 組合了傳值調用和傳引用調用 。 多數語言對布爾表達式和if語句使用某種形式的非嚴格求值 。