Test di divisibilità

Lei invia un dividendo e un divisore e riceve un semplice vero o falso, insieme al quoziente e al resto che giustificano la risposta. Accetta interi negativi e stringhe di cifre, rifiuta un divisore zero con un errore chiaro e non arrotonda né approssima mai — l'aritmetica è intera ed esatta, quindi la risposta è la stessa ovunque venga eseguita.

A cosa risponde il test di divisibilità

Un intero a è divisibile per un intero b quando la divisione a ÷ b non lascia resto. Sembra banale, e per i numeri piccoli lo è — quasi tutti conoscono le scorciatoie per 2, 3, 5 e 10. Ma la domanda smette di essere banale quando i numeri sono grandi, negativi, o arrivano come stringhe da un campo di un modulo o da una colonna di un foglio di calcolo.

Il calcolatore del test di divisibilità esegue la verifica in una sola chiamata: invii il dividendo e il divisore e legga la risposta booleana. Restituisce anche il quoziente e il resto, perché nella maggior parte dei flussi di lavoro reali il sì o il no è solo metà di ciò che Le serve — l'altra metà è sapere quante volte il divisore è contenuto, o quanto dista da una divisione esatta.

Lo zero è trattato con cura: qualsiasi intero divide lo zero, e lo zero stesso viene rifiutato come divisore con un errore chiaro anziché con una risposta sbagliata e silenziosa.

Come viene calcolata la verifica

Il calcolo è aritmetica intera esatta, non divisione in virgola mobile. Una volta convalidati, il resto viene calcolato direttamente: quando è zero il dividendo è divisibile, e il quoziente deriva da (dividendo − resto) ÷ divisore, che è sempre un intero esatto senza alcun arrotondamento. I valori negativi si comportano come la matematica si aspetta: −252 è divisibile per 7, e il risultato lo riflette, con il resto che segue la convenzione di segno del dividendo.

Entrambi gli input sono limitati all'intervallo degli interi sicuri, così ogni confronto è esatto su qualsiasi macchina, nel browser come sul server, e qualsiasi valore oltre quell'intervallo viene rifiutato anziché approssimato in silenzio.

Dove si colloca nel lavoro reale

I controlli di divisibilità si nascondono in una quantità sorprendente di software quotidiano: codice di impaginazione che deve sapere se un totale si divide esattamente in pagine, pianificatori che scattano ogni n-esimo giorno, sistemi di fatturazione che verificano che un totale di lotto possa essere ripartito tra centri di costo, e regole di convalida che richiedono che un numero di serie sia multiplo di una base di somma di controllo.

Farlo come chiamata di servizio significa che la regola vive in un unico posto, con una sola definizione di intero e un solo comportamento per i casi limite, invece di essere reimplementata — e occasionalmente implementata male — in ogni pipeline che ne ha bisogno. La risposta porta con sé anche il quoziente e il resto, che di solito è esattamente la cosa successiva che il codice chiamante calcolerebbe comunque.