Il modulo è associativo?

Calcola entrambi gli ordinamenti dell'operazione di resto — (a % b) % c a sinistra e a % (b % c) a destra — e indica se coincidono. Invia tre interi e riceve entrambi i lati del confronto più un semplice true o false, calcolati su interi a precisione arbitraria, quindi la risposta è esatta per valori di qualsiasi dimensione realistica. Se una posizione di divisore fosse zero — b, c oppure il resto intermedio b % c — la richiesta viene rifiutata con un errore chiaro invece di una sorpresa di divisione per zero. È un controllo piccolo, ma è quello che decide se un'espressione con modulo concatenato nel Suo codice significa davvero ciò che Lei pensa.

Perché il raggruppamento conta per l'operazione di resto

Addizione e moltiplicazione sono associative: (1 + 2) + 3 è uguale a 1 + (2 + 3), sempre, quindi nessuno pensa alle parentesi. L'operazione di resto non gode di questa garanzia. L'espressione a % b % c è ambigua sulla carta, e la maggior parte dei linguaggi di programmazione la risolve valutando da sinistra a destra, producendo (a % b) % c. Se questo equivalga al raggruppamento alternativo a % (b % c) dipende interamente dai tre valori coinvolti. Prenda a = 17, b = 5, c = 3: il raggruppamento a sinistra dà (17 % 5) % 3 = 2 % 3 = 2, mentre quello a destra dà 17 % (5 % 3) = 17 % 2 = 1. I due raggruppamenti non coincidono, quindi il modulo non è associativo per quella terna. Ma per a = 8, b = 5, c = 3 entrambi i lati danno 0, e l'operazione risulta associativa in quel caso. Questa funzionalità esiste perché tale distinzione è facile da sbagliare in una revisione del codice e noiosa da verificare a mano su un intero insieme di parametri candidati: una sola chiamata la risolve in modo deterministico, restituendo entrambi i valori intermedi così può vedere esattamente dove i due raggruppamenti divergono, invece di fidarsi ciecamente di un semplice booleano.

Come viene calcolato il controllo e la regola del divisore zero

Segui le etichette e le unità indicate per ogni campo. Se manca qualcosa o un valore non è ammesso, la pagina indica cosa correggere.

Dove questo controllo merita il suo posto

Il chiamante più comune è chi insegna o studia la teoria dei numeri: le questioni di associatività compaiono di continuo nei manuali e negli esercizi, e poter verificare un'affermazione su centinaia di terne in pochi secondi trasforma un lavoro tedioso in un esperimento. Il secondo chiamante è uno sviluppatore che rifattorizza logica di hash-bucket o di sharding, dove espressioni come h % m % n si insinuano e cambiano silenziosamente significato a seconda dell'ordine di valutazione — verificare l'associatività sulle coppie di moduli realmente in produzione indica se una riscrittura è sicura. Il terzo è chiunque costruisca uno strumento di matematica simbolica o di semplificazione di espressioni, che deve sapere quali regole di riscrittura sono valide prima di applicarle. Il calcolatore gratuito su questa pagina esegue esattamente lo stesso codice dell'endpoint a pagamento, quindi ciò che testa nel browser è ciò che la Sua integrazione riceverà. Le chiamate automatiche costano $0.002 a richiesta, senza sovrapprezzo per unità. Invii un oggetto JSON con i campi a, b e c; la risposta riporta gli input, indica left e right come stringhe decimali e dà il verdetto finale nel campo associative — true quando i due raggruppamenti coincidono, false quando non coincidono.