Does Java's % operator ever overflow?

Question

In C and C++, the behavior of INT_MIN % -1 seems to be undefined / platform-dependent as per Shafik's post.

In Java, does the % operator ever overflow?

Consider this piece of code:

public class Test {
    public static void main(String[] args) {
        // setup variables:
        byte b = Byte.MIN_VALUE % (-1);
        short s = Short.MIN_VALUE % (-1);
        int i = Integer.MIN_VALUE % (-1);
        long l = Long.MIN_VALUE % (-1);

        // my machine prints "0" for all:
        System.out.println(b);
        System.out.println(s);
        System.out.println(i);
        System.out.println(l);
    }
}

Is there a platform-independent guarantee that the above results are 0?

Java in nature is platform independent so I guess (not checked) that the answer is YES — shlomi33, Sep 10 '14 at 12:28

score 6 · Accepted Answer · edited Jan 12 '15 at 02:57

6

Look at JLS section 15.17.3 it says:

In C and C++, the remainder operator accepts only integral operands, but in the Java programming language, it also accepts floating-point operands.

The remainder operation for operands that are integers after binary numeric promotion (§5.6.2) produces a result value such that (a/b)*b+(a%b) is equal to a. This identity holds even in the special case that the dividend is the negative integer of largest possible magnitude for its type and the divisor is -1 (the remainder is 0). It follows from this rule that the result of the remainder operation can be negative only if the dividend is negative, and can be positive only if the dividend is positive;

edited Jan 12 '15 at 02:57

Shafik Yaghmour

154,301
39
440
740

answered Sep 10 '14 at 12:29

Martin Frank

3,445
1
27
47

1

I was just about to post that ^^ Almost everything is in the JLS, especially for this kind of questions. – Joffrey Sep 10 '14 at 12:31
sorry @Joffrey i had that topic on my screen when i was reading that question :-$ – Martin Frank Sep 10 '14 at 12:40
Haha it's no problem, the point here is to get an answer to the question, no matter who writes it ;) – Joffrey Sep 10 '14 at 12:41
i do think the same - it's not so important who does it - it's more important WHAT has been submitted! – Martin Frank Sep 10 '14 at 13:06

Does Java's % operator ever overflow?

1 Answers1