惰性求值

在程式語言理論中 ， 惰性求值 （ Lazy Evaluation ） ， 又譯爲惰性計算 、 懶惰求值 ， 也稱爲傳需求調用 （ call - by - need ） ， 是一個計算機編程中的一個概念 ， 目的是要最小化計算機要做的工作 。 惰性計算的最重要的好處是它可以在空間複雜度上得到極大的優化 ， 從而可以輕易構造一個無限大的數據類型 。 惰性求值的相反是及早求值 ， 這是一個大多數編程語言 ， 如C語言 ， 所使用的缺省計算方式 。 由於翻譯問題 ， 該詞在不同語境下有兩個相關而又有區別的含意 ， 可以表示爲 “ 延遲求值 ” 和 “ 最小化求值 ” ， 本條目主要內容爲延遲求值 ， 後者請參見最小化計算條目 。