Programowanie undefined-behavior

4

Dlaczego „d / = d” nie rzuca wyjątku dzielenia przez zero, gdy d == 0?

Nie do końca rozumiem, dlaczego nie otrzymuję wyjątku dzielenia przez zero: int d = 0; d /= d; Spodziewałem się, że otrzymam wyjątek dzielenia przez zero, ale zamiast tego d == 1. Dlaczego nie d /= dzgłasza wyjątku dzielenia przez zero, kiedy d == 0?

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

10

Podpisane przepełnienie w C ++ i niezdefiniowane zachowanie (UB)

Zastanawiam się nad użyciem kodu takiego jak poniżej int result = 0; int factor = 1; for (...) { result = ... factor *= 10; } return result; Jeśli pętla jest iterowana w nczasie, to factorjest mnożona przez 10dokładnie nrazy. Jednak factorjest on używany tylko po pomnożeniu przez 10łączną liczbę …

56 c++ undefined-behavior

3

Czy inkrementacja wskaźnika do tablicy dynamicznej o rozmiarze 0 jest niezdefiniowana?

AFAIK, chociaż nie możemy stworzyć macierzy pamięci statycznej o rozmiarze 0, ale możemy to zrobić za pomocą dynamicznych: int a[0]{}; // Compile-time error int* p = new int[0]; // Is well-defined Jak czytałem, pdziała jak element jednego końca. Mogę wydrukować adres, który pwskazuje. if(p) cout << p << endl; Chociaż …

34 c++ pointers undefined-behavior dynamic-arrays

7

Jak działa porównywanie wskaźników w C? Czy można porównywać wskaźniki, które nie wskazują tej samej tablicy?

W K&R (The C Programming Language 2nd Edition) rozdział 5 czytam: Po pierwsze, wskaźniki mogą być porównywane w pewnych okolicznościach. Jeśli pi qpunkt do członków tej samej tablicy, stosunki wówczas jak ==, !=, <, >=, itd pracę prawidłowo. Co wydaje się sugerować, że można porównywać tylko wskaźniki wskazujące na tę …

33 c pointers heap undefined-behavior memory-layout

2

Dziwne zachowanie z polami klasy podczas dodawania do std :: vector

Znalazłem bardzo dziwne zachowanie (na clang i GCC) w następującej sytuacji. Mam wektor, nodesz jednym elementem, instancją klasy Node. Następnie wywołuję funkcję, nodes[0]która dodaje nową wartość Nodedo wektora. Po dodaniu nowego węzła pola obiektu wywołującego są resetowane! Wydają się jednak wracać do normy po zakończeniu funkcji. Uważam, że jest to …

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

4

Kopiowanie struktur z niezainicjowanymi elementami

Czy można skopiować strukturę, której niektórzy członkowie nie są zainicjowani? Podejrzewam, że jest to zachowanie nieokreślone, ale jeśli tak, sprawia, że pozostawienie niezainicjowanych członków w strukturze (nawet jeśli ci członkowie nigdy nie są bezpośrednio wykorzystywani) jest dość niebezpieczne. Zastanawiam się więc, czy jest coś w standardzie, które to pozwala. Na …

29 c++ initialization copy-constructor undefined-behavior

3

Czy C ma odpowiednik std :: less z C ++?

Byłem niedawno w odpowiedzi na pytanie o niezdefiniowanej zachowań robi p < qw C kiedy pi qsą wskaźnikami język różnych obiektów / tablic. To sprawiło, że pomyślałem: C ++ ma takie samo (niezdefiniowane) zachowanie <w tym przypadku, ale oferuje również standardowy szablon biblioteki, std::lessktóry gwarantuje, że zwróci to samo, co …

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

1

Dlaczego funkcja konstelacyjna pozwala na niezdefiniowane zachowanie?

W C ++ istnieje bardzo zgrabna właściwość wyrażeń stałych: ich ocena nie może mieć niezdefiniowanego zachowania ( 7.7.4.7 ): Wyrażenie e jest podstawowym stałym wyrażeniem, chyba że ocena e, zgodnie z regułami maszyny abstrakcyjnej ([intro. Wykonanie]), ocenia jedną z następujących czynności: ... operacja, która miałaby niezdefiniowane zachowanie określone w [intro] …

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

2

Czy program, który nigdy nie kończy prawidłowego programu C ++?

Czy do zakończenia programu wymagany jest program? Innymi słowy, czy program, który działa wiecznie, jest technicznie niezdefiniowanym zachowaniem? Uwaga: nie chodzi o puste pętle. Mówiąc o programach, które na zawsze wykonują „rzeczy” (tj. Obserwowalne zachowania). Np. Coś takiego: int main() { while (true) { try { get_input(); // calls IO …

15 c++ language-lawyer undefined-behavior

3

Wywołanie funkcji ze wskaźnikiem na non-const i wskaźnikiem na const argumentów o tym samym adresie

Chcę napisać funkcję, która wprowadza tablicę danych i wyprowadza inną tablicę danych za pomocą wskaźników. Zastanawiam się, co jest wynikiem zarówno jeśli srci dstwskazał na samym adresem, bo wiem, kompilator może zoptymalizować dla const. Czy jest to niezdefiniowane zachowanie? (Oznacziłem zarówno C, jak i C ++, ponieważ nie jestem pewien, …

14 c++ c const undefined-behavior

1

Możliwe niezdefiniowane zachowanie w pierwotnej implementacji static_vector

tl; dr: Myślę, że mój static_vector ma niezdefiniowane zachowanie, ale nie mogę go znaleźć. Ten problem dotyczy Microsoft Visual C ++ 17. Mam tę prostą i niedokończoną implementację static_vector, tj. Wektor o stałej pojemności, który można przypisać do stosu. Jest to program w C ++ 17, wykorzystujący std :: aligned_storage …

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

1

Czy `string.assign (string.data (), 5)` jest dobrze zdefiniowany czy UB?

Współpracownik chciał to napisać: std::string_view strip_whitespace(std::string_view sv); std::string line = "hello "; line = strip_whitespace(line); Powiedziałem, że powrót string_viewsprawił, że poczułem niepokój a priori , a ponadto aliasing tutaj wyglądał dla mnie jak UB. Mogę z całą pewnością stwierdzić, że line = strip_whitespace(line)w tym przypadku jest to odpowiednik line = …

11 c++ stl undefined-behavior

5

Przechwytuje nowo skonstruowany obiekt przez stałe zachowanie niezdefiniowane

Czy następujący (wymyślony przykład) jest w porządku, czy jest to niezdefiniowane zachowanie: // undefined behavior? const auto& c = SomeClass{}; // use c in code later const auto& v = c.GetSomeVariable();

11 c++ c++11 const undefined-behavior

2

Co się stanie, jeśli niezdefiniowane zachowanie C ++ spełnia zachowanie zdefiniowane w C?

Mam *.cppplik, który kompiluję za pomocą C ++ (nie kompilatora w języku C). Funkcja zawierająca opiera się na rzutowaniu (patrz ostatni wiersz), który wydaje się być zdefiniowany w C (popraw, jeśli się mylę!), Ale nie w C ++ dla tego specjalnego typu. [...] C++ code [...] struct sockaddr_in sa = …

10 c++ c undefined-behavior

1

GCC nie zgłasza źle sformułowanego wywołania lambda constexpr

Poniżej znajdują się dwa przypadki testowe dla niezdefiniowanego zachowania, wyrażone jako IIFE (Natychmiastowa wywoływana ekspresja lambda): constexpr auto test3 = []{ int* p{}; { int x{}; p = &x; } return *p; // Undefined Behaviour }(); // IIFE constexpr auto test4 = []{ int x = std::numeric_limits<int>::min(); int y = …

9 c++ undefined-behavior constexpr avr-gcc

Pytania otagowane jako undefined-behavior