Scala: Przepełnienie mimo stosowania długich podczas dodawania

Question

Na 2.7.5.final, jestem próbuje dodać Iterable listę Ints jak tak

def sum(xs: Iterable[Int]): Long = { 
    var sum = 0L 
    xs.foreach((x) => sum = sum + x) 
    sum 
} 

println(sum(List(1, Integer.MAX_VALUE - 1))) 
println(sum(Integer.MAX_VALUE - 1 to Integer.MAX_VALUE)) 
println(0L + Integer.MAX_VALUE - 1 + Integer.MAX_VALUE) 

Kiedy biegnę, mam

2147483647 
0 
4294967293 

Można też powiedzieć "use reduceLeft (_ + _)", ale wydaje się, że można zwrócić tylko ten sam typ, co elementy na liście ... ale chcę akumulować na Long, więc nie mogę " • mają problemy z przepełnieniem.

Aktualizacja 2009-10-28

Jest to błąd w zasięgu, jak podkreślił Eastsun. Został zgłoszony zespołowi Scala pod numerem ticket 2535

Answer 1

To błąd w Range. Nie jest kod źródłowy metody foreach Zakres za:

override def foreach(f: Int => Unit) { 
if (step > 0) { 
    var i = this.start 
    *val until = if (inInterval(end)) end + 1 else end*  //bug here!!! 

    while (i < until) { 
    f(i) 
    i += step 
    } 
} else { 
    var i = this.start 
    val until = if (inInterval(end)) end - 1 else end 

    while (i > until) { 
    f(i) 
    i += step 
    } 
} 

}

Answer 2

Eastsun „s odpowiedź dał bardzo dobry powód, dla którego przelewa obliczeniowe. W celu obejścia tego problemu zdefiniowałbym ponownie funkcję sum w celu użycia foldLeft, która pozwala określić akumulator.

def sum(xs: Iterable[Int]): Long = 
    xs.foldLeft(0L)(_ + _) 

lub stosując skrót od foldLeft (który Lubię ponieważ stawia wartość początkową owczarni przed Iterable próbujesz krotnie).

def sum(xs: Iterable[Int]): Long = 
    (0L /: xs)(_ + _) 

W obu przypadkach kod, który próbowano uruchomić, daje prawidłowe wyniki.

- Flaviu Cipcigan