Off-by-one error: differenze tra le versioni

Versione delle 21:29, 8 giu 2019

Versione attuale delle 17:25, 29 apr 2025

(12 versioni intermedie di 9 utenti non mostrate)

Riga 1:

Un '''off-by-one error''' ('''OBOE'''), detto anche '''OBOBoff-by-one bug''' ('''off-by-one bugOBOB'''), è un errore logico di [[Programmazione (informatica)|programmazione]] che avviene quando un [[Iterazione|ciclo iterativo]] viene ripetutoeseguito una volta di troppopiù o una volta di meno di quanto desiderato, a causa di un errore nella specifica della condizione di verità:. solitamenteDi solito ciò accade quando il programmatore mettesceglie erroneamenteper errore il simbolo di ''minore o uguale'' al posto del simbolo ''minore'' (o viceversa), o il simbolo ''maggiore o uguale'' al posto di ''maggiore'' (o viceversa), oppure quando commette un errore nell'inizializzazione della [[variabile (informatica)|variabile]] testatache controlla l'iterazione, settandolaponendone il valore iniziale a zerouno anziché a unozero: questo causaconfligge problemicol adfatto esempioche sein essamolti si[[Linguaggio riferiscedi allprogrammazione|linguaggi di programmazione]] l'indice di un [[array]] (ilinizia qualeda inzero. moltiIn linguaggiquesto dierrore programmazionesi cominciapuò daincorrere zero);anche oppure nelin casocontesti inmatematici, cuiper essaesempio poi siase usata come divisore in una divisione (nel qual caso è bene sia settataimpostata a valori diversi da zero, per evitare [[Eccezione (informatica)|eccezioni]] del tipo ''[[divisione per zero]]'').

== Iterazioni oltre il termine dell'array ==

Consideriamo un [[array]] di oggetti, dei quali processaredobbiamo quellielaborare compresiquelli da un certo valore ''m'' ada uno ''n'' (estremi inclusi). Quanti elementi si trovano in questo rangeintervallo? Una risposta intuitivairriflessa potrebbe essere ''n'' – ''m'', ma questo è proprio un errore di off-by-one, più precisamente del tipo ''fencepost''; la risposta corretta è infatti (''n'' – ''m'') + 1.

Proprio per via di questa contro-intuitività, i range nell'informatica sono spesso rappresentati da [[Intervallo (matematica)|intervalli]] semi-aperti; il range da ''m'' ad ''n'' inclusivo infatti, è rappresentato dagli elementi che vanno da ''m'' (incluso) ada ''n'' + 1 (escluso), proprio per evitare errori di fancepost. Per esempio, un [[Iterazione|ciclo]] che itera cinque volte (da 0 a 4 incluso) può essere scritto in [[C (linguaggio)|C]] come un intervallo semi-aperto da 0 a 5:<syntaxhighlight lang="c">

for (i = 0; i < 5; i++)

{

Riga 18:

== Errore fencepost ==

[[File:Fencepost error 01.svg|miniatura|upright=1.2|Una recinzione dritta con ''n'' sezioni ha {{Nowrap|''n'' + 1}} paletti]]

Un '''errore fencepost''' (letteralmente "staccionata", chiamato anche '''telegraph pole''', '''lamp-post''' o '''picket fence''') è un tipo specifico di errore di off-by-one. Una descrizione primitiva di questo errore apparve nei testi di [[Marco Vitruvio Pollione|Vitruvio]].<ref>{{Cita web|url=http://www.dsm.fordham.edu/~moniot/Opinions/fencepost-error-history.shtml|titolo=History of fence-post error|sito=dsm.fordham.edu|lingua=en|accessocitazione=2017-11-04}}</ref>Here Ilis problemawhat siVitruvius puòhad illustrareto nelsay modoabout the fence-post seguenteerror:

In araeostylis enim libertas est quantum cuique libet

constituendi. Sed ita columnae in peripteris conlocentur uti quot

intercolumnia sunt in fronte, totidem bis intercolumnia fiant in

lateribus. Ita enim erit duplex longitudo operis ad

latitudinem. Namque qui columnarum duplicationes fecerunt erravisse

videntur, quod unum intercolumnium in longitudine plus quam oportet

procurrere videtur.|accesso=2017-11-04|urlarchivio=https://web.archive.org/web/20171107003005/http://www.dsm.fordham.edu/~moniot/Opinions/fencepost-error-history.shtml|dataarchivio=7 novembre 2017|urlmorto=sì}}</ref> Il problema si può illustrare nel modo seguente:

{{Quote|Se costruisci una recinzione dritta lunga 30 metri, con paletti spaziati 3 metri l'uno dall'altro, di quanti paletti necessiti?}}

Line 33 ⟶ 41:

La risposta corretta dovrebbe essere ''n'' – 1 se la sequenza di paletti è aperta alla fine, ''n'' se si chiudono a cerchio, o ''n'' + 1 se il lato aperto della sequenza di paletti è considerato come una sezione. Bisogna prestare molta attenzione alla definizione precisa del problema, perché il setup di una certa configurazione potrebbe dare la risposta sbagliata per altre. Errori di fencepost derivano in sostanza dal contare gli elementi piuttosto che gli spazi che li separano e viceversa, o trascurando di considerare se l’oggetto in esame dovrebbe essere contato soltanto in uno o in entrambi gli estremi della fila.

Errori di fencepost possono inoltre verificarsi in [[unità di misura]] diverse dalle lunghezze. Ad esempio, la “Time Pyramid” è una costruzione costituita da 120 blocchi da piazzarsi a distanza di 10 anni l’uno dall’altro. Saranno quindi necessari 1190 anni per la costruzione completa, dal piazzamento del primo blocco sino all’ultimo, e non 1200. Uno dei primi errori di tipo fencepost vide coinvolta l’unità di misura temporale, nel caso specifico del [[Calendario giuliano|calendario Giuliano]]. Esso originariamente calcolava gli [[Calendario giuliano#Anni bisestili|anni bisestili]] in maniera errata, considerandoli in maniera inclusiva invece che esclusiva, originandone quindi uno ogni 3 anni invece che quattro.

Un errore di fencepost può, in rari casi, essere collegato ad un errore introdotto da regolarità inaspettate in valori di input, che possono (per esempio) contrastare completamente con un’implementazione teoricamente efficiente di [[Albero binario|alberi binari]] o [[Funzione di hash|funzioni di hash]]. Questo errore può implicare il verificarsi dei casi peggiori di un [[algoritmo]], invece che quelli attesi.

Line 49 ⟶ 57:

strncat(buf, s, sizeof(buf)); //Il parametro finale dovrebbe essere: sizeof(buf) - 1

}

</syntaxhighlight>Errori di tipo off-by-one sono comuni nell'utilizzo delle librerie C, perché non coerenti tra loro in situazioni nelle quali, come nell’esempio, ci si deve ricordare di sottrarre un byte: funzioni come <code>fgets()</code> e <code>strncpy</code> non scriveranno mai oltre la lunghezza della stringa a loro indicata (<code>fgets()</code> sottrae 1 e restituisce soltanto (lenghtlength – 1) byte), mentre altre come la <code>strncat</code> lo fanno; per questo motivo chi programma deve ricordarsi per quali funzioni sarà necessario sottrarre un byte, e per quali no.

In alcuni sistemi (in particolare architetture di tipo [[Ordine dei byte|little endian]]) questa incoerenza può causare una sovrascrittura dell’ultimo byte significativo del frame pointer. Si crea così una condizione sfruttabile per un aggressore, che può dirottare le variabile locale per la routine di chiamata.

Line 69 ⟶ 77:

{{Portale|informatica}}

[[Categoria:Terminologia informatica]]