Запитання з тегом «undefined-behavior»

Я не зовсім розумію, чому я не отримую ділення на нульовий виняток: int d = 0; d /= d; Я очікував отримати ділення на нульовий виняток, але замість цього d == 1 . Чому не d /= dвикидає ділення на нульовий виняток, коли d == 0?

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

Розглянемо цю програму: #include <stdio.h> int main(void) { unsigned int a; printf("%u %u\n", a^a, a-a); return 0; } Це невизначена поведінка? На перший погляд, aце неініціалізована змінна. Це вказує на невизначену поведінку. Але a^aі a-aрівні 0для всіх значень a, принаймні я думаю, що це так. Чи можливо, що існує якийсь …

76 c  undefined-behavior 

У мене є такий код: #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; } Я очікую, що він виведе "0, 1, 2, …

74 c++  gcc  undefined-behavior 

Мені цікаво про використання коду, як описано нижче int result = 0; int factor = 1; for (...) { result = ... factor *= 10; } return result; Якщо цикл повторюється в nрази, то factorвін множиться на 10точно nрази. Однак factorвикористовується лише коли-небудь, помноживши їх 10на загальну кількість n-1разів. Якщо …

56 c++  undefined-behavior 

AFAIK, хоча ми не можемо створити масив статичної пам'яті розміром 0, але ми можемо це зробити з динамічними: int a[0]{}; // Compile-time error int* p = new int[0]; // Is well-defined Як я читав, він pдіє як елемент "минулого кінця". Я можу надрукувати адресу, на яку pвказує. if(p) cout << …

34 c++  pointers  undefined-behavior  dynamic-arrays 

У розділі 5 K&R (Мова програмування на C) я прочитав наступне: По-перше, покажчики можуть бути порівняні за певних обставин. Якщо pі qвказують на елементи одного і того ж масиву, то співвідношення подобається ==, !=, <, >=і т.д. працювати належним чином. Що, мабуть, означає, що можна порівняти лише вказівники, що вказують …

33 c  pointers  heap  undefined-behavior  memory-layout 

Я знайшов дуже дивну поведінку (на кланг та GCC) у наступній ситуації. У мене вектор, nodesз одним елементом, екземпляр класу Node. Потім я викликаю функцію, nodes[0]яка додає нове Nodeу вектор. Коли додається новий Вузол, поля виклику об'єкта скидаються! Однак вони, здається, знову повертаються до норми, коли функція закінчена. Я вважаю, …

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

Чи дійсно копіювати структуру, частина членів якої не ініціалізована? Я підозрюю, що це не визначена поведінка, але якщо так, то це робить залишати будь-яких неініціалізованих членів структури (навіть якщо ці члени ніколи не використовуються безпосередньо) досить небезпечно. Тож мені цікаво, чи є щось у стандарті, що це дозволяє. Наприклад, чи …

29 c++  initialization  copy-constructor  undefined-behavior 

Нещодавно я відповідав на запитання щодо невизначеної поведінки p < qв C pі коли qвказують на різні об'єкти / масиви. Це змусило мене задуматися: C ++ має таку саму (невизначену) поведінку <в цьому випадку, але також пропонує стандартний шаблон бібліотеки, std::lessякий гарантовано повертає те саме, що і <тоді, коли покажчики …

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

В C ++ існує дуже акуратна властивість константних виразів: їх оцінка не може мати визначеної поведінки ( 7.7.4.7 ): Вираз e - основний постійний вираз, якщо тільки оцінка e, дотримуючись правил абстрактної машини ([intro.execution]), не оцінила б одне з наступних: ... операція, яка мала б не визначену поведінку, як зазначено …

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

Чи потрібно програму припинити? Іншими словами, це програма, яка працює вічно технічно Undefined Behavior? Зауважте, це не про порожні петлі. Якщо говорити про програми, які назавжди "наповнюють" (тобто спостерігається поведінка). Наприклад, щось подібне: int main() { while (true) { try { get_input(); // calls IO process(); put_output(); // calls IO, …

15 c++  language-lawyer  undefined-behavior 

Я хочу написати функцію, яка вводить масив даних і виводить інший масив даних за допомогою покажчиків. Мені цікаво, що це результат, якщо обидва srcі dstвказали на одну і ту ж адресу, тому що я знаю, що компілятор може оптимізувати const. Це невизначена поведінка? (Я позначив як C, так і C …

14 c++  c  const  undefined-behavior 

tl; dr: Я думаю, що мій static_vector має невизначену поведінку, але я не можу його знайти. Ця проблема стосується Microsoft Visual C ++ 17. У мене є така проста і незавершена реалізація static_vector, тобто вектор з фіксованою ємністю, який можна виділити стеком. Це програма C ++ 17, використовуючи std :: …

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

Співробітник хотів написати це: std::string_view strip_whitespace(std::string_view sv); std::string line = "hello "; line = strip_whitespace(line); Я сказав, що повернення string_viewзробило мене неспокійно апріорі , і, крім того, псевдонім тут для мене був схожим на UB. Я можу з упевненістю сказати, що line = strip_whitespace(line)в даному випадку рівнозначно line = std::string_view(line.data(), …

11 c++  stl  undefined-behavior 

Чи нормально таке (надуманий приклад) чи це невизначена поведінка: // undefined behavior? const auto& c = SomeClass{}; // use c in code later const auto& v = c.GetSomeVariable();

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