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...
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...
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?...
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...
Ist das folgende (erfundenes Beispiel) in Ordnung oder ist es undefiniertes Verhalten: // undefined behavior? const auto& c = SomeClass{}; // use c in code later const auto& v =
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...
Ich habe ein *.cpp Datei, die ich mit C ++ kompiliere (kein C-Compiler). Die enthaltende Funktion basiert auf einer Besetzung (siehe letzte Zeile), die in C definiert zu sein scheint (bitte korrigieren, wenn ich falsch liege!), Aber nicht in C ++ für diesen speziellen Typ. [...] C++ code...
Während ich eine zweifelhafte Behauptung untersuchte , schrieb ich dieses kleine Testprogrammnoway.c int proveit() { unsigned int n = 0; while (1) n++; return 0; } int main() { proveit(); return 0; } Wenn ich das teste, bekomme ich: $ clang -O noway.c $ ./a.out zsh: illegal hardware instruction...
Nachfolgend sind zwei Testfälle für undefiniertes Verhalten aufgeführt, ausgedrückt als IIFE (Sofort als Lambda-Axpression bezeichnet): constexpr auto test3 = []{ int* p{}; { int x{}; p = &x; } return *p; // Undefined Behaviour }(); // IIFE constexpr auto test4 = []{ int x =...
Ich habe einen Fehler im Code von Drittanbietern aufgespürt und ihn auf etwas in der Art von eingegrenzt. use libc::c_void; pub unsafe fn foo() {} fn main() { let ptr = &foo as *const _ as *const c_void; println!("{:x}", ptr as usize); } Bei stabiler Version 1.38.0 wird der Funktionszeiger...
Ich arbeite an einer Bibliothek, mit deren Hilfe Typen abgewickelt werden können, die über FFI-Grenzen in eine Zeigergröße passen. Angenommen, ich habe eine Struktur wie diese: use std::mem::{size_of, align_of}; struct PaddingDemo { data: u8, force_pad: [usize; 0] }