In che modo Java esegue i calcoli del modulo con numeri negativi?

Sto sbagliando il modulo? Perché in Java -13 % 64si suppone che valuti -13ma ottengo 51.

Entrambe le definizioni di modulo dei numeri negativi sono in uso: alcune lingue usano una definizione e altre l'altra.

Se vuoi ottenere un numero negativo per input negativi, puoi usare questo:

int r = x % n;
if (r > 0 && x < 0)
{
    r -= n;
}

Allo stesso modo se stai usando una lingua che restituisce un numero negativo su un input negativo e preferiresti positivo:

int r = x % n;
if (r < 0)
{
    r += n;
}

Poiché "matematicamente" entrambi sono corretti:

-13 % 64 = -13 (on modulus 64)  
-13 % 64 = 51 (on modulus 64)

Una delle opzioni doveva essere scelta dagli sviluppatori di linguaggi Java e hanno scelto:

il segno del risultato è uguale al segno del dividendo.

Lo dice nelle specifiche Java:

https://docs.oracle.com/javase/specs/jls/se7/html/jls-15.html#jls-15.17.3

Sei sicuro di lavorare in Java? perché Java fornisce -13% 64 = -13 come previsto. Il segno del dividendo!

Il tuo risultato è sbagliato per Java. Fornisci un contesto su come ci sei arrivato (programma, implementazione e versione di Java).

Dal specifiche del linguaggio Java

15.17.3 Operatore rimanente%
[...]
L'operazione resto per operandi che sono numeri interi dopo la promozione numerica binaria (§5.6.2) produce un valore risultato tale che (a / b) * b + (a% b) è uguale a un.

15.17.2 Operatore Divisione /
[...]
divisione arrotonda verso 0.

Poiché / è arrotondato verso zero (risultando in zero), il risultato di% dovrebbe essere negativo in questo caso.

Puoi usare

(x % n) - (x < 0 ? n : 0);

La tua risposta è in wikipedia: operazione modulo

Dice che in Java il segno sull'operazione modulo è lo stesso di quello del dividendo. e poiché stiamo parlando del resto dell'operazione di divisione va benissimo, che nel tuo caso ritorni -13, poiché -13/64 = 0. -13-0 = -13.

EDIT: Scusa, ho capito male la tua domanda ... Hai ragione, java dovrebbe dare -13. Potete fornire più codice circostante?

L'aritmetica del modulo con operandi negativi è definita dal progettista del linguaggio, che potrebbe lasciarla all'implementazione del linguaggio, che potrebbe rimandare la definizione all'architettura della CPU.

Non sono riuscito a trovare una definizione del linguaggio Java.
Grazie Ishtar, Java Language Specification for the Remainder Operator% afferma che il segno del risultato è lo stesso del segno del numeratore.

Per ovviare a questo, potresti aggiungere 64(o qualunque sia la tua base di modulo) al valore negativo fino a quando non è positivo

int k = -13;
int modbase = 64;

while (k < 0) {
    k += modbase;
}

int result = k % modbase;

Il risultato sarà ancora nella stessa classe di equivalenza.

x = x + m = x - min modulo m.
quindi -13 = -13 + 64in modulo 64 e -13 = 51in modulo 64.
supponiamo Z = X * d + r, se 0 < r < Xpoi in divisione Z/Xchiamiamo rresto.
Z % Xrestituisce il resto di Z/X.

La funzione mod è definita come la quantità di cui un numero supera il multiplo intero più grande del divisore che non è maggiore di quel numero. Quindi nel tuo caso di

-13 % 64

il multiplo intero più grande di 64 che non supera -13 è -64. Ora, quando sottrai -13 da -64 è uguale a 51-13 - (-64) = -13 + 64 = 51

Nella mia versione di Java JDK 1.8.0_05 -13% 64 = -13

potresti provare -13- (int (-13/64)) in altre parole eseguire il cast di divisione su un numero intero per eliminare la parte frazionaria quindi sottrarre dal numeratore Quindi numeratore- (int (numeratore / denominatore)) dovrebbe dare il corretto resto e segno

Nelle ultime versioni di Java ottieni -13%64 = -13. La risposta avrà sempre segno del numeratore.

Secondo la sezione 15.17.3 del JLS, "L'operazione resto per gli operandi che sono numeri interi dopo la promozione numerica binaria produce un valore di risultato tale che (a / b) * b + (a% b) è uguale ad a. Questa identità vale anche nel caso speciale in cui il dividendo è l'intero negativo di grandezza maggiore possibile per il suo tipo e il divisore è -1 (il resto è 0). "

Spero che aiuti.

Non credo che Java restituisca 51 in questo caso. Sto eseguendo Java 8 su un Mac e ottengo:

-13 % 64 = -13

Programma:

public class Test {
    public static void main(String[] args) {
        int i = -13;
        int j = 64;
        System.out.println(i % j);
    }
}