Programmierung undefined-behavior

4

Warum löst 'd / = d' keine Ausnahme für die Division durch Null aus, wenn d == 0 ist?

Ich verstehe nicht ganz, warum ich keine Ausnahme durch Null bekomme: int d = 0; d /= d; Ich erwartete aber stattdessen eine Division durch Null-Ausnahme d == 1. Warum wird keine d /= dAusnahme durch Division durch Null ausgelöst, wenn d == 0?

81 c++ compiler-optimization undefined-behavior division divide-by-zero

3

Ist a ^ a oder aa undefiniertes Verhalten, wenn a nicht initialisiert ist?

Betrachten Sie dieses Programm: #include <stdio.h> int main(void) { unsigned int a; printf("%u %u\n", a^a, a-a); return 0; } Ist es undefiniertes Verhalten? Auf den ersten Blick aist eine nicht initialisierte Variable. Das deutet also auf undefiniertes Verhalten hin. Aber a^aund a-asind 0für alle Werte gleich a, zumindest denke ich, …

76 c undefined-behavior

4

C ++ Kompilierungsfehler?

Ich habe folgenden Code: #include <iostream> #include <complex> using namespace std; int main() { complex<int> delta; complex<int> mc[4] = {0}; for(int di = 0; di < 4; di++, delta = mc[di]) { cout << di << endl; } return 0; } Ich erwarte, dass es "0, 1, 2, 3" ausgibt …

74 c++ gcc undefined-behavior

5

Ist die Maskierung vor der vorzeichenlosen Linksverschiebung in C / C ++ zu paranoid?

Diese Frage wird von mir motiviert, kryptografische Algorithmen (z. B. SHA-1) in C / C ++ zu implementieren, tragbaren plattformunabhängigen Code zu schreiben und undefiniertes Verhalten gründlich zu vermeiden . Angenommen, ein standardisierter Krypto-Algorithmus fordert Sie auf, Folgendes zu implementieren: b = (a << 31) & 0xFFFFFFFF wo aund bsind …

72 c++ c language-lawyer undefined-behavior integer-arithmetic

10

Signierter Überlauf in C ++ und undefiniertes Verhalten (UB)

Ich frage mich über die Verwendung von Code wie folgt int result = 0; int factor = 1; for (...) { result = ... factor *= 10; } return result; Wenn die Schleife über nZeiten iteriert wird, factorwird sie mit 10genau nZeiten multipliziert . Wird factorjedoch immer erst verwendet, nachdem …

56 c++ undefined-behavior

3

Ist das Inkrementieren eines Zeigers auf ein dynamisches Array der Größe 0 undefiniert?

AFAIK, obwohl wir kein statisches Speicherarray der Größe 0 erstellen können, können wir dies mit dynamischen tun: int a[0]{}; // Compile-time error int* p = new int[0]; // Is well-defined Wie ich gelesen habe, pverhält es sich wie ein One-Past-End-Element. Ich kann die Adresse drucken, auf die pzeigt. if(p) cout …

34 c++ pointers undefined-behavior dynamic-arrays

7

Wie funktioniert der Zeigervergleich in C? Ist es in Ordnung, Zeiger zu vergleichen, die nicht auf dasselbe Array verweisen?

In Kapitel 5 von K & R (The C Programming Language 2nd Edition) habe ich Folgendes gelesen: Erstens können Zeiger unter bestimmten Umständen verglichen werden. Wenn pund qPunkt an den Mitgliedern des gleichen Array, dann Beziehungen wie ==, !=, <, >=etc. richtig funktionieren. Dies scheint zu implizieren, dass nur Zeiger …

33 c pointers heap undefined-behavior memory-layout

2

Seltsames Verhalten mit Klassenfeldern beim Hinzufügen zu einem std :: vector

Ich habe in der folgenden Situation ein sehr seltsames Verhalten (bei Clang und GCC) festgestellt. Ich habe einen Vektor nodesmit einem Element, einer Klasseninstanz Node. Ich rufe dann eine Funktion auf nodes[0], die Nodedem Vektor eine neue hinzufügt . Wenn der neue Knoten hinzugefügt wird, werden die Felder des aufrufenden …

31 c++ vector stdvector undefined-behavior push-back

4

Kopieren von Strukturen mit nicht initialisierten Mitgliedern

Ist es gültig, eine Struktur zu kopieren, deren Mitglieder nicht initialisiert sind? Ich vermute, dass es sich um ein undefiniertes Verhalten handelt, aber wenn dies der Fall ist, ist es sehr gefährlich, nicht initialisierte Mitglieder in einer Struktur zu belassen (auch wenn diese Mitglieder niemals direkt verwendet werden). Ich frage …

29 c++ initialization copy-constructor undefined-behavior

3

Hat C ein Äquivalent von std :: less aus C ++?

Ich habe kürzlich eine Frage zum undefinierten Verhalten p < qin C beantwortet, wenn pund qZeiger auf verschiedene Objekte / Arrays sind. Das brachte mich zum Nachdenken: C ++ hat <in diesem Fall das gleiche (undefinierte) Verhalten , bietet aber auch die Standardbibliotheksvorlage, std::lessdie garantiert dasselbe zurückgibt, wie <wenn die …

26 c pointers undefined-behavior memory-model memory-segmentation

1

Warum erlaubt eine Consteval-Funktion undefiniertes Verhalten?

Konstante Ausdrücke in C ++ haben eine sehr nette Eigenschaft: Ihre Auswertung kann kein undefiniertes Verhalten haben ( 7.7.4.7 ): Ein Ausdruck e ist ein konstanter Kernausdruck, es sei denn, die Auswertung von e nach den Regeln der abstrakten Maschine ([intro.execution]) würde eine der folgenden auswerten: ... eine Operation, die …

16 c++ undefined-behavior c++20 consteval

2

Ist ein Programm, das niemals ein gültiges C ++ - Programm beendet?

Muss ein Programm beendet werden? Mit anderen Worten, ist ein Programm, das für immer technisch undefiniertes Verhalten läuft? Beachten Sie, dass es hier nicht um leere Schleifen geht. Apropos Programme, die für immer "Zeug" (dh beobachtbares Verhalten) tun. ZB so etwas: int main() { while (true) { try { get_input(); …

15 c++ language-lawyer undefined-behavior

3

Funktionsaufruf mit Zeiger auf Nicht-Konstanten und Zeiger auf Konstantenargumente derselben Adresse

Ich möchte eine Funktion schreiben, die ein Datenarray eingibt und ein anderes Datenarray mithilfe von Zeigern ausgibt. Ich frage mich, was das Ergebnis ist, wenn beide srcund dstauf dieselbe Adresse zeigen, weil ich weiß, dass der Compiler für const optimieren kann. Ist es undefiniertes Verhalten? (Ich habe sowohl C als …

14 c++ c const undefined-behavior

1

Mögliches undefiniertes Verhalten bei der Implementierung des primitiven static_vector

tl; dr: Ich denke, mein static_vector hat ein undefiniertes Verhalten, aber ich kann es nicht finden. Dieses Problem tritt unter Microsoft Visual C ++ 17 auf. Ich habe diese einfache und unvollendete static_vector-Implementierung, dh einen Vektor mit einer festen Kapazität, der gestapelt werden kann. Dies ist ein C ++ 17-Programm, …

12 c++ segmentation-fault c++17 undefined-behavior

1

Ist `string.assign (string.data (), 5)` gut definiert oder UB?

Ein Mitarbeiter wollte dies schreiben: std::string_view strip_whitespace(std::string_view sv); std::string line = "hello "; line = strip_whitespace(line); Ich sagte, dass die Rückkehr string_viewmich a priori unruhig machte , und außerdem sah das Aliasing hier für mich wie UB aus. Ich kann mit Sicherheit sagen, dass line = strip_whitespace(line)in diesem Fall gleichbedeutend …

11 c++ stl undefined-behavior

Als «undefined-behavior» getaggte Fragen