Programowanie undefined-behavior

5

Uzyskujesz dostęp do nieaktywnego członka związku i niezdefiniowanego zachowania?

Miałem wrażenie, że dostęp do unionczłonka innego niż ostatni zestaw to UB, ale nie mogę znaleźć solidnego odniesienia (poza odpowiedziami twierdzącymi, że to UB, ale bez żadnego wsparcia ze strony standardu). Czy jest to więc niezdefiniowane zachowanie?

128 c++ undefined-behavior language-lawyer unions

2

Kiedy wywołanie funkcji członkowskiej w instancji o wartości null powoduje niezdefiniowane zachowanie?

Rozważ następujący kod: #include <iostream> struct foo { // (a): void bar() { std::cout << "gman was here" << std::endl; } // (b): void baz() { x = 5; } int x; }; int main() { foo* f = 0; f->bar(); // (a) f->baz(); // (b) } Spodziewamy (b)się awarii, …

120 c++ undefined-behavior language-lawyer standards-compliance null-pointer

9

W jaki sposób uzyskałem wartość większą niż 8 bitów z 8-bitowej liczby całkowitej?

Wytropiłem wyjątkowo paskudny błąd ukrywający się za tym małym klejnotem. Zdaję sobie sprawę, że zgodnie ze specyfikacją C ++ przepełnienia ze znakiem są niezdefiniowanym zachowaniem, ale tylko wtedy, gdy przepełnienie występuje, gdy wartość jest rozszerzana do szerokości bitowej sizeof(int). Jak rozumiem, zwiększanie wartości a charnie powinno być nigdy niezdefiniowanym zachowaniem …

118 c++ gcc undefined-behavior

8

Czy „struct hack” jest technicznie niezdefiniowanym zachowaniem?

Pytam o dobrze znaną sztuczkę „ostatni element struktury ma zmienną długość”. To wygląda mniej więcej tak: struct T { int len; char s[1]; }; struct T *p = malloc(sizeof(struct T) + 100); p->len = 100; strcpy(p->s, "hello world"); Ze względu na sposób, w jaki struktura jest umieszczona w pamięci, możemy …

111 c undefined-behavior c89

2

Używa malloc do niezdefiniowanego zachowania int do C ++ 20

Powiedziano mi, że następujący kod ma niezdefiniowane zachowanie do C ++ 20: int *p = (int*)malloc(sizeof(int)); *p = 10; Czy to prawda? Argumentem było to, że czas życia intobiektu nie jest uruchamiany przed przypisaniem mu wartości ( P0593R6 ). Aby rozwiązać problem, newnależy użyć umieszczenia: int *p = (int*)malloc(sizeof(int)); new …

95 c++ malloc undefined-behavior c++20

3

Drukowanie zerowych wskaźników z% p jest niezdefiniowanym zachowaniem?

Czy drukowanie wskaźników o wartości null ze specyfikatorem %pkonwersji jest niezdefiniowane ? #include <stdio.h> int main(void) { void *p = NULL; printf("%p", p); return 0; } Pytanie dotyczy standardu C, a nie implementacji C.

93 c language-lawyer c99 undefined-behavior c11

8

Czy gałęzie z niezdefiniowanym zachowaniem można uznać za nieosiągalne i zoptymalizowane jako martwy kod?

Rozważ następujące stwierdzenie: *((char*)NULL) = 0; //undefined behavior Wyraźnie wywołuje niezdefiniowane zachowanie. Czy istnienie takiej instrukcji w danym programie oznacza, że cały program jest niezdefiniowany, czy też zachowanie staje się niezdefiniowane dopiero, gdy przepływ sterowania osiągnie tę instrukcję? Czy następujący program byłby dobrze zdefiniowany, gdyby użytkownik nigdy nie wprowadził numeru …

88 c++ language-lawyer undefined-behavior dead-code unreachable-code

10

Dlaczego printf („% f”, 0); dać niezdefiniowane zachowanie?

Wyrok printf("%f\n",0.0f); drukuje 0. Jednak oświadczenie printf("%f\n",0); wypisuje losowe wartości. Zdaję sobie sprawę, że przejawiam jakieś niezdefiniowane zachowanie, ale nie potrafię dokładnie określić dlaczego. Wartość zmiennoprzecinkowa, w której wszystkie bity są równe 0, jest nadal ważna i floatma wartość 0. floati intmają ten sam rozmiar na moim komputerze (jeśli to …

87 c++ c printf implicit-conversion undefined-behavior

12

W którym punkcie pętli przepełnienie całkowitoliczbowe staje się niezdefiniowanym zachowaniem?

To jest przykład ilustrujący moje pytanie, które dotyczy znacznie bardziej skomplikowanego kodu, którego nie mogę tutaj zamieścić. #include <stdio.h> int main() { int a = 0; for (int i = 0; i < 3; i++) { printf("Hello\n"); a = a + 1000000000; } } Ten program zawiera niezdefiniowane zachowanie na …

86 c++ c undefined-behavior integer-overflow

3

Czy legalne jest, aby kod źródłowy zawierający niezdefiniowane zachowanie powodował awarię kompilatora?

Powiedzmy, że zamierzam skompilować słabo napisany kod źródłowy w C ++, który wywołuje niezdefiniowane zachowanie, a zatem (jak mówią) „wszystko może się zdarzyć”. Z punktu widzenia tego, co specyfikacja języka C ++ uważa za dopuszczalne w kompilatorze zgodnym z wymaganiami, robi „cokolwiek” w tym scenariuszu, w tym awarię kompilatora (lub …

85 c++ language-lawyer undefined-behavior

5

Niezdefiniowane zachowanie i punkty sekwencji zostały ponownie załadowane

Rozważ ten temat jako kontynuację następującego tematu: Poprzednia rata Niezdefiniowane zachowanie i punkty sekwencji Wróćmy do tego zabawnego i zawiłego wyrażenia (wyrażenia zapisane kursywą pochodzą z powyższego tematu * uśmiech *): i += ++i; Mówimy, że wywołuje to niezdefiniowane zachowanie. Przypuszczam, że kiedy powiem, możemy założyć, że niejawnie typu o …

84 c++ undefined-behavior c++-faq sequence-points

3

Czy przepełnienie liczby całkowitej ze znakiem nadal jest niezdefiniowane w C ++?

Jak wiemy, przepełnienie liczb całkowitych ze znakiem jest niezdefiniowanym zachowaniem . Ale w cstdintdokumentacji C ++ 11 jest coś interesującego : typ liczby całkowitej ze znakiem o szerokości odpowiednio 8, 16, 32 i 64 bitów bez wypełniania bitów i przy użyciu dopełnienia 2 dla wartości ujemnych (podany tylko wtedy, gdy …

84 c++ c++11 undefined-behavior integer-overflow

4

Program zachowuje się dziwnie w internetowych IDE

Natrafiłem na poniższy program w C ++ ( źródło ): #include <iostream> int main() { for (int i = 0; i < 300; i++) std::cout << i << " " << i * 12345678 << std::endl; } Wygląda jak prosty program i podaje prawidłowe dane wyjściowe na mojej lokalnej maszynie, …

82 c++ undefined-behavior integer-overflow

7

(Dlaczego) używa niezdefiniowanej niezainicjowanej zmiennej?

Jeżeli mam: unsigned int x; x -= x; jasne jest, że po tym wyrażeniu x powinno być zero, ale gdziekolwiek spojrzę, mówią, że zachowanie tego kodu jest nieokreślone, a nie tylko wartość x(aż do odejmowania). Dwa pytania: Czy zachowanie tego kodu jest rzeczywiście nieokreślone? (Np. Czy kod może ulec awarii …

82 c undefined-behavior initialization

12

Wykrywanie podpisanego przepełnienia w C / C ++

Na pierwszy rzut oka to pytanie może wydawać się duplikatem pytania Jak wykryć przepełnienie liczb całkowitych? jednak w rzeczywistości jest znacząco inny. Odkryłam, że podczas wykrywania przepełnienia całkowitą bez znaku jest dość trywialne, wykrywanie podpisane przepełnienie w C / C ++ jest rzeczywiście trudniejsze, niż sądzi większość ludzi. Najbardziej oczywistym, …

82 c++ c undefined-behavior signed integer-overflow

Pytania otagowane jako undefined-behavior