Scala cho hiệu suất hiểu

Question

Tại sao

for (
    a <- 1 to 1000; 
    b <- 1 to 1000 - a; 
    c <- 1 to 1000 - a - b; 
    if (a * a + b * b == c * c && a + b + c == 1000) 
) println((a, b, c, a * b * c)) 

266 ms

chậm hơn sau đó:

for (a <- 1 to 1000) 
    for (b <- 1 to 1000 - a) 
    for (c <- 1 to 1000 - a - b) 
     if (a * a + b * b == c * c) 
     if (a + b + c == 1000) 
      println((a, b, c, a * b * c)) 

62 ms

Nếu tôi hiểu đúng này nên giống nhau không?

---

Giải pháp sau khi xử lý câu trả lời:

for (
    a <- 1 to 1000; 
    b <- 1 to (1000 - a) 
) { 
    val c = (1000 - a - b) 
    if (a * a + b * b == c * c) 
    println((a, b, c, a * b * c)) 
} 

9 ms

Answer 1

hiểu biết của bạn là sai.

for(x <- coll) if(condition) dosomething 

sẽ dịch để

coll.foreach{x => if(condition) dosomething } 

for(x <- coll if(condition)) dosomething 

mà sẽ dịch để

coll.withFilter(x => condition).foreach{ x => dosomething } 

Bạn có thể nhìn vào The Scala Language Specification 6.16 để biết thêm chi tiết.

Answer 2

Bạn có thể muốn kiểm tra this presentation (slides 13-15) để biết chi tiết về cách các vòng lặp được dịch nội bộ.

Sự khác biệt chính của ví dụ của bạn là:

• tình trạng cho cơ thể loop (2. chẳng hạn)
• điều kiện bên trong máy phát điện (1. ví dụ)

Sau , còn được gọi là để lọc vòng lặp đi kèm với nhược điểm hiệu suất theo thiết kế. Để cực kỳ đơn giản hóa những gì đang xảy ra: Trong vòng withFilter (là bước đầu tiên của bản dịch), chức năng mới ẩn danh của loại Function2[Object, Boolean] được tạo (được sử dụng để đánh giá điều kiện). Tham số được chuyển đến hàm apply của nó phải được đóng hộp, vì nó được xác định dựa trên Object. Điều này boxing/unboxing là chậm hơn nhiều so với việc đánh giá các điều kiện if trực tiếp trong vòng lặp for body, cho phép truy cập các biến trực tiếp.