Ein logischer Fehler, bei dem ein Index, Schleifenrand oder Zähler ein Endpunkt fälschlich einbezieht oder ausschließt und so eine Ein‑Element‑Diskrepanz erzeugt, die falsche Ergebnisse oder Out‑of‑Range‑Zugriffe hervorruft.

Prinzip

Viele Algorithmen beruhen auf präzisen Randbedingungen (inklusive vs. exklusive Bereiche); ein einziger ±1‑Fehler in der Indexarithmetik oder in der Abbruchbedingung ändert die Zugehörigkeit der verarbeiteten Menge und kann subtile Fehler verursachen.

Demonstration

Eine Schleife geschrieben als for (i = 0; i <= n; ++i) wenn die Absicht war, n Elemente 0..n‑1 zu verarbeiten, iteriert einmal zu viel und greift womöglich auf array[n] zu, das außerhalb des Bereichs liegt; umgekehrt führt < statt <= zum Auslassen des letzten Elements.

Fehlanwendung

Jeden Off‑by‑one‑Fall als trivial abzutun oder seine Sicherheitsfolgen zu ignorieren; oder allein einen Off‑by‑one für eine algorithmische Abweichung verantwortlich zu machen, wenn das eigentliche Problem ein falsches Invariant oder ein Off‑by‑two an anderer Stelle ist.

Konsequenz

Klares Boundary‑Denken beseitigt ganze Klassen von Index‑ und Iterationsfehlern, verhindert unbeabsichtigte Speicherzugriffe und liefert korrekte Schleifeninvarianten; bleibt der Fehler bestehen, entstehen falsche Ausgaben, Ausnahmen oder Sicherheitslücken.

Umkehrung

Die Annahme halb‑offener Intervalle (Anfang inklusiv, Ende exklusiv), die Verwendung von Bibliotheksiteratoren mit eingebauten Grenzen oder der Beweis von Schleifeninvarianten kehrt Off‑by‑one‑Fehler um, indem der Code an eine eindeutige Randsemantik angepasst wird.

Abgrenzung

Gilt dort, wo diskrete Indexierung oder Zählung verwendet wird (Arrays, Schleifen, Slices). Schließt höherwertige logische Fehler aus, die sich nicht auf einen einzelnen Einheitsoffset reduzieren lassen; Off‑by‑one unterscheidet sich von fehlenden algorithmischen Fällen oder Missverständnissen von Schwellenwerten.

Semantische Spannung

Sehr verwandt mit 'Fencepost‑Error' und 'Indexing‑Error'; die Spannung entsteht, weil einige Autoren Off‑by‑one als triviale Syntaxfehler ansehen, während er in komplexen Algorithmen auf mangelhafte Boundary‑Logik oder Invariant‑Design hinweisen kann.

Synthese

Ein Off‑by‑one‑Fehler ist der Randbedingungsfehler, der Einschluss/Ausschluss um eine Einheit verschiebt—begründet durch die Notwendigkeit präziser Indexarithmetik—sichtbar in Schleifen und Indexierungen, manchmal unterschätzt, aber fähig Out‑of‑Range‑Fehler zu verursachen und am besten durch explizite Konventionen oder formale Invarianten vermieden.