Java 8 Streams - 为什么我不能对整数流求和？

Question

Given a list of Integer's: List<Integer> numbers = Arrays.asList(1,2,3);

Why can't I sum them like: numbers.stream().sum(); ?

Instead I have to do this: numbers.stream().mapToInt(e -> e).sum();

I know that mapToInt produces an IntStream , the primitive specialization. But still I don't get it. Why can't it sum Integers? I know that this list has Integers and the compiler should be able to do the same. After all it can now infer type parameters in lambda expressions.

OK, an Integer could be null and sum would fail. But I could take responsibility for that and filter null out:

numbers.stream().filter(Objects::nonNull).sum();

Why can't I sum a Stream of Integers?

Answer 1

Calling stream() on a List will get you a general-purpose Stream , which can handle any reference type, not just numeric types. It doesn't make sense to include a sum method on Stream , because it doesn't make sense to sum URL s, Class es, Thread s, or any other non-numeric reference type.

You could sum the elements by calling reduce :

numbers.stream().reduce(0, (a, b) -> a + b)

But that would involve a lot of unboxing and boxing. It would be best to sum them as you have it, by converting it to an IntStream , which operates on int s, and calling sum() (or summaryStatistics() , which includes count, average, max, and min along with sum).

You could even use IntStream.of and avoid boxing the values even once.

IntStream.of(1, 2, 3).sum()

Answer 2

Stream<Interger> and IntStream are actually different. As numbers.stream() returns an object of Type Stream and Stream interface does not have any method like sum . Another side numbers.stream().mapToInt(e -> e) returns IntStream which has the sum method.

Answer 3

You cannot do:

numbers.stream().sum();

because Stream<T> is a generic type and as far as it's concerned it's dealing with any type of object. eg that could be Stream<Person> , Stream<Apple> etc. hence doesn't make sense to include a sum method.

Answer 4

I think that what you are asking for can not be done at all, even theoretically.

I mean stream() is declared on the List interface and it returns Stream<E> . You know that E is actually an Integer , the compiler has to infer that, and it's not like the compiler can change the return type when it infers the type, you are still going to get a general Stream<E> .

But this is even worse if I think about it more, in such a case there would have to be a BaseStream returned that both Stream<String> and IntStream would extend, and sum for a Stream<String> makes no sense. Later E type would have to be preserved at runtime, so that you know what specialization to return and this is obviously not possible (well not without a useless witness that is)

If there were a IntsList that a theoretical IntsArray.asIntsList would return, this would have been indeed possible, but what a mess this would become in such a case.