Warum ist ein vorzeichenloser Ganzzahlüberlauf als Verhalten definiert, ein vorzeichenbehafteter Ganzzahlüberlauf jedoch nicht?

Der vorzeichenlose Ganzzahlüberlauf ist sowohl im C- als auch im C ++ - Standard gut definiert. Zum Beispiel heißt es im C99-Standard ( §6.2.5/9)

Eine Berechnung mit vorzeichenlosen Operanden kann niemals überlaufen, da ein Ergebnis, das nicht durch den resultierenden vorzeichenlosen Ganzzahltyp dargestellt werden kann, modulo um die Zahl reduziert wird, die eins größer ist als der größte Wert, der durch den resultierenden Typ dargestellt werden kann.

Beide Standards geben jedoch an, dass ein vorzeichenbehafteter Ganzzahlüberlauf ein undefiniertes Verhalten ist. Wieder aus dem C99-Standard ( §3.4.3/1)

Ein Beispiel für ein nicht definiertes Verhalten ist das Verhalten beim Ganzzahlüberlauf

Gibt es einen historischen oder (noch besser!) Technischen Grund für diese Diskrepanz?

Der historische Grund ist, dass die meisten C-Implementierungen (Compiler) nur das Überlaufverhalten verwendeten, das mit der verwendeten Ganzzahldarstellung am einfachsten zu implementieren war. C-Implementierungen verwendeten normalerweise dieselbe Darstellung, die von der CPU verwendet wurde - daher folgte das Überlaufverhalten der von der CPU verwendeten Ganzzahldarstellung.

In der Praxis können sich nur die Darstellungen für vorzeichenbehaftete Werte je nach Implementierung unterscheiden: das eigene Komplement, das Zweierkomplement, die Vorzeichengröße. Für einen Typ ohne Vorzeichen gibt es keinen Grund für den Standard, Variationen zuzulassen, da es nur eine offensichtliche binäre Darstellung gibt (der Standard erlaubt nur binäre Darstellung).

Relevante Zitate:

C99 6.2.6.1:3 :

In vorzeichenlosen Bitfeldern gespeicherte Werte und Objekte vom Typ vorzeichenloses Zeichen werden in reiner Binärschreibweise dargestellt.

C99 6.2.6.2:2 :

Wenn das Vorzeichenbit eins ist, muss der Wert auf eine der folgenden Arten geändert werden:

- der entsprechende Wert mit Vorzeichenbit 0 wird negiert ( Vorzeichen und Größe );

- das Vorzeichenbit hat den Wert - (2 ^N ) ( Zweierkomplement );

- Das Vorzeichenbit hat den Wert - (2 ^N - 1) ( das eigene Komplement ).

Heutzutage verwenden alle Prozessoren die Zweierkomplementdarstellung, aber der signierte arithmetische Überlauf bleibt undefiniert, und Compilerhersteller möchten, dass er undefiniert bleibt, da sie diese Undefiniertheit verwenden, um bei der Optimierung zu helfen. Siehe zum Beispiel diesen Blog-Beitrag von Ian Lance Taylor oder diese Beschwerde von Agner Fog und die Antworten auf seinen Fehlerbericht.

Abgesehen von Pascals guter Antwort (die sicher die Hauptmotivation ist) ist es auch möglich, dass einige Prozessoren eine Ausnahme beim Überlauf von vorzeichenbehafteten Ganzzahlen verursachen, was natürlich zu Problemen führen würde, wenn der Compiler "ein anderes Verhalten veranlassen" müsste ( Verwenden Sie z. B. zusätzliche Anweisungen, um einen möglichen Überlauf zu überprüfen und in diesem Fall anders zu berechnen.

Es ist auch erwähnenswert, dass "undefiniertes Verhalten" nicht "nicht funktioniert" bedeutet. Dies bedeutet, dass die Implementierung in dieser Situation tun kann, was sie will. Dies beinhaltet "das Richtige tun" sowie "die Polizei rufen" oder "abstürzen". Die meisten Compiler wählen, wenn möglich, "das Richtige tun", vorausgesetzt, dies ist relativ einfach zu definieren (in diesem Fall). Wenn Sie jedoch Überläufe in den Berechnungen haben, ist es wichtig zu verstehen, was dies tatsächlich zur Folge hat und dass der Compiler möglicherweise etwas anderes als das tut, was Sie erwarten (und dass dies sehr stark von der Compilerversion, den Optimierungseinstellungen usw. abhängen kann). .

Bitte beachten Sie zunächst, dass C11 3.4.3 wie alle Beispiele und Fußnoten kein normativer Text ist und daher nicht für das Zitieren relevant ist!

Der relevante Text, der besagt, dass der Überlauf von Ganzzahlen und Gleitkommazahlen ein undefiniertes Verhalten ist, lautet wie folgt:

C11 6.5 / 5

Wenn während der Auswertung eines Ausdrucks eine Ausnahmebedingung auftritt (dh wenn das Ergebnis nicht mathematisch definiert ist oder nicht im Bereich der darstellbaren Werte für seinen Typ liegt), ist das Verhalten undefiniert.

Eine Erläuterung zum Verhalten vorzeichenloser Ganzzahltypen finden Sie hier:

C11 6.2.5 / 9

Der Bereich nichtnegativer Werte eines vorzeichenbehafteten Ganzzahltyps ist ein Unterbereich des entsprechenden vorzeichenlosen Ganzzahltyps, und die Darstellung desselben Werts in jedem Typ ist dieselbe. Eine Berechnung mit vorzeichenlosen Operanden kann niemals überlaufen, da ein Ergebnis, das nicht durch den resultierenden vorzeichenlosen Ganzzahltyp dargestellt werden kann, modulo um die Zahl reduziert wird, die eins größer ist als der größte Wert, der durch den resultierenden Typ dargestellt werden kann.

Dies macht vorzeichenlose Ganzzahltypen zu einem Sonderfall.

Beachten Sie auch, dass es eine Ausnahme gibt, wenn ein Typ in einen signierten Typ konvertiert wird und der alte Wert nicht mehr dargestellt werden kann. Das Verhalten ist dann lediglich implementierungsdefiniert, obwohl ein Signal ausgelöst werden kann.

C11 6.3.1.3

6.3.1.3 Ganzzahlen mit und ohne Vorzeichen

Wenn ein Wert mit einem ganzzahligen Typ in einen anderen ganzzahligen Typ als _Bool konvertiert wird und der Wert durch den neuen Typ dargestellt werden kann, bleibt er unverändert.

Wenn der neue Typ nicht signiert ist, wird der Wert konvertiert, indem wiederholt ein Wert mehr als der Maximalwert addiert oder subtrahiert wird, der im neuen Typ dargestellt werden kann, bis der Wert im Bereich des neuen Typs liegt.

Andernfalls wird der neue Typ signiert und der Wert kann nicht darin dargestellt werden. Entweder ist das Ergebnis implementierungsdefiniert oder es wird ein implementierungsdefiniertes Signal ausgelöst.

Zusätzlich zu den anderen Themen erwähnt, ohne Vorzeichen Mathe Windung, die macht die unsigned Integer - Typen verhalten sich als abstrakte algebraischen Gruppen (das bedeutet unter anderem, für jedes Paar von Werten Xund Ywird es einen anderen Wert existieren , Zso dass X+ZWille, wenn sie richtig gegossen gleich ). Wenn vorzeichenlose Werte lediglich Speicherorttypen und keine Zwischenausdruckstypen waren (z. B. wenn es kein vorzeichenloses Äquivalent des größten Ganzzahltyps gab und arithmetische Operationen für vorzeichenlose Typen sich so verhielten, als würden sie zuerst in größere vorzeichenbehaftete Typen konvertiert, dann dort Ein definiertes Umhüllungsverhalten wäre nicht so wichtig, aber es ist schwierig, Berechnungen in einem Typ durchzuführen, der beispielsweise keine additive Inverse aufweist.Y und Y-Zwird, wenn richtig besetzt, gleichX

Dies hilft in Situationen, in denen das Umlaufverhalten tatsächlich nützlich ist - beispielsweise bei TCP-Sequenznummern oder bestimmten Algorithmen wie der Hash-Berechnung. Dies kann auch in Situationen hilfreich sein, in denen ein Überlauf erkannt werden muss, da das Durchführen von Berechnungen und das Überprüfen, ob sie übergelaufen sind, häufig einfacher ist als das vorherige Überprüfen, ob sie überlaufen würden, insbesondere wenn die Berechnungen den größten verfügbaren Ganzzahltyp beinhalten.

Vielleicht liegt ein weiterer Grund dafür, warum vorzeichenlose Arithmetik definiert wird, darin, dass vorzeichenlose Zahlen Ganzzahlen modulo 2 ^ n bilden, wobei n die Breite der vorzeichenlosen Zahl ist. Vorzeichenlose Zahlen sind einfach Ganzzahlen, die durch Binärziffern anstelle von Dezimalstellen dargestellt werden. Das Ausführen der Standardoperationen in einem Modulsystem ist gut verstanden.

Das Zitat des OP bezieht sich auf diese Tatsache, hebt aber auch die Tatsache hervor, dass es nur eine eindeutige, logische Möglichkeit gibt, vorzeichenlose Ganzzahlen binär darzustellen. Im Gegensatz dazu werden vorzeichenbehaftete Zahlen am häufigsten mit dem Zweierkomplement dargestellt, es sind jedoch auch andere Auswahlmöglichkeiten möglich, wie im Standard (Abschnitt 6.2.6.2) beschrieben.

Durch die Zweierkomplementdarstellung können bestimmte Operationen im Binärformat sinnvoller sein. Das Inkrementieren negativer Zahlen ist beispielsweise dasselbe wie bei positiven Zahlen (unter Überlaufbedingungen zu erwarten). Einige Vorgänge auf Maschinenebene können für vorzeichenbehaftete und vorzeichenlose Nummern identisch sein. Bei der Interpretation des Ergebnisses dieser Operationen sind einige Fälle jedoch nicht sinnvoll - positiver und negativer Überlauf. Darüber hinaus unterscheiden sich die Überlaufergebnisse in Abhängigkeit von der zugrunde liegenden vorzeichenbehafteten Darstellung.