Bir tembel değerlendirmeyi açıklayın

Question

Hadley Wickhams'ın Github hakkındaki kitabı, özellikle this part on lazy evaluation. Orada add/adders fonksiyonları ile tembel değerlendirme sonuçları bir sonuç verir. Let me alıntı Sinirin: Eğer toplayıcının biri diyoruz

add <- function(x) { 
    function(y) x + y 
} 
adders <- lapply(1:10, add) 
adders[[1]](10) 
adders[[10]](10) 

tembel ilk kez değerlendirilir x: lapply üretilen ambalajlar veya bir döngü oluştururken

Bu [tembel değerlendirme] önemlidir fonksiyonlar. Bu noktada, döngü tamamlandı ve x x'in son değeri 10'dur. Bu nedenle, toplayıcı işlevlerinin tümü, muhtemelen istediğinizi değil, girişine 10 ekleyecektir! O biraz anlamak görünmüyor

add <- function(x) { 
    force(x) 
    function(y) x + y 
} 
adders2 <- lapply(1:10, add) 
adders2[[1]](10) 
adders2[[10]](10) 

ve açıklama asgari vardır: Manuel sorunu değerlendirme düzeltmeleri zorlayarak. Birisi bu özel örneği hazırlayabilir mi ve orada neler olduğunu açıklayabilir mi? "Bu noktada, döngü tamamlandı ve x'in son değeri 10" cümlesiyle özellikle şaşırıyorum. Hangi döngü? Hangi final değeri, nerede? Eksik olduğum bir şey olmalı, ama göremiyorum. Şimdiden çok teşekkürler.

Answer 1

hedefi:

adders <- lapply(1:10, function(x) add(x)) 

birinci, ikinci vs. Tembel değerlendirme gerçekten toplayıcılar oluşturmak için beklemek R neden olur 2 ekler, girdisinde 1 ekler, add fonksiyonların bir listesini oluşturmak için İşlevleri gerçekten aramaya başlayana kadar işlev görür. Sorun, ilk toplayıcı işlevini oluşturduktan sonra,lapply döngü tarafından 10 değerinde biten, artar. İlk toplayıcı işlevini çağırdığınızda, tembel değerlendirme şimdi işlevi kurar, x değerini alır. Sorun orijinal x birine artık eşit olduğunu, ancak lapply döngünün sonunda değerine nedenle yani 10.

için, tembel değerlendirme lapply döngü tamamlandıktan sonra kadar beklemek tüm toplayıcı fonksiyonları neden olur işlevi gerçekten inşa etmekte. Daha sonra, işlevlerini aynı değerle, yani 10 ile inşa ederler. Hadley'in önerdiği çözüm, x'u doğrudan değerlendirmek, tembel değerlendirme yapmaktan kaçınmak ve doğru fonksiyonları doğru x değerleri ile almaktır.

Answer 2

Bu artık R 3.2.0'dan itibaren geçerli değil!

change log karşılık gelen satır okur: bu tür fonksiyonları uygulamak ve yavaş değerlendirme arasında istenmeyen etkileşimlerin ortadan kaldırılması için geçerlidir fonksiyonlara) (Şimdi kuvvet argümanlar azaltmak olarak

yüksek dereceden fonksiyonlar kapanışlarda değişken yakalama .

Ve gerçekten: Bu sorunun cevabı R 3.2.0 itibariyle değiştiğini

add <- function(x) { 
    function(y) x + y 
} 
adders <- lapply(1:10, add) 
adders[[1]](10) 
# [1] 11 
adders[[10]](10) 
# [1] 20