Giải thích một câu hỏi đánh giá lười biếng

Question

Tôi đang đọc cuốn sách của Hadley Wickhams về Github, cụ thể là this part on lazy evaluation. Ở đó, ông đưa ra một ví dụ về hậu quả của việc đánh giá lười biếng, một phần với chức năng add/adders. Hãy để tôi trích đoạn mà bit:

này [lười biếng đánh giá] là rất quan trọng khi tạo đóng cửa với lapply hoặc một vòng lặp:

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

x là lười biếng đánh giá lần đầu tiên bạn gọi một trong những bộ cộng chức năng. Tại thời điểm này, vòng lặp hoàn tất và giá trị cuối cùng của x là 10. Vì vậy, tất cả các hàm cộng sẽ thêm 10 vào đầu vào của chúng, có thể không phải là những gì bạn muốn! Bằng tay buộc sửa thẩm vấn đề:

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

Tôi dường như không hiểu rằng chút, và lời giải thích có là tối thiểu. Ai đó có thể vui lòng xây dựng ví dụ cụ thể đó và giải thích điều gì sẽ xảy ra ở đó? Tôi đặc biệt bối rối bởi câu "tại thời điểm này, vòng lặp hoàn tất và giá trị cuối cùng của x là 10". Vòng lặp gì? Giá trị cuối cùng, ở đâu? Phải là một cái gì đó đơn giản tôi đang mất tích, nhưng tôi chỉ không nhìn thấy nó. Cảm ơn rất nhiều trước.

Answer 1

Mục tiêu của:

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

là tạo ra một danh sách các add chức năng, là người đầu tiên thêm 1 vào đầu vào của nó, thứ hai thêm 2, vv Lazy đánh giá gây R để chờ thực sự tạo ra adders cho đến khi bạn thực sự bắt đầu gọi các hàm. Vấn đề là sau khi tạo hàm adder đầu tiên, x được tăng thêm bởi vòng lặp lapply, kết thúc bằng giá trị 10. Khi bạn gọi hàm adder đầu tiên, đánh giá lười bây giờ xây dựng hàm, nhận giá trị x. Vấn đề là bản gốc x không còn tương đương với một, nhưng với giá trị vào cuối của lapply vòng lặp, tức là 10

Do đó, đánh giá lười biếng gây ra tất cả các chức năng cộng phải đợi cho đến sau khi vòng lặp lapply đã hoàn thành thực sự xây dựng chức năng. Sau đó, họ xây dựng chức năng của họ với cùng một giá trị, tức là 10. Giải pháp Hadley gợi ý là buộc x được đánh giá trực tiếp, tránh đánh giá lười biếng và nhận các hàm chính xác với giá trị x chính xác.

Answer 2

Điều này không còn đúng với R 3.2.0 nữa!

Dòng tương ứng trong change log đọc:

chức năng bậc cao như áp dụng các chức năng và giảm() bây giờ đối số lực lượng chức năng mà họ áp dụng để loại bỏ tương tác không mong muốn giữa đánh giá lười biếng và biến chụp trong bao đóng.

Và quả thực:

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