Вопросы с меткой [неопределенное-поведение]
Руководство по использованию метки неопределенное-поведение отсутствует.
41
вопрос
0
голосов
0
ответов
25
показов
C++ Результат возврата функции [дубликат]
Некоторое время назад здесь появился вопрос о несоответствии кода на C++ и Pascal.
Вопрос
Его суть заключалась в том, что автор перепутал в числе с плавающей точкой . и , и функция выдавала неверный ...
7
голосов
1
ответ
133
показа
Чем ловить Undefined Behaviour?
После прочтения статьи на Хабре стало понятно, что Undefined Behaviour далеко не всегда очевиден. Подскажите, пожалуйста, какие существуют инструменты для наиболее полного выявления UB для разных ОС?
...
10
голосов
3
ответа
256
показов
Почему знаковое переполнение это UB?
Почему знаковое переполнение это UB, ведь с C++20 всегда используется 2's complement, а значит результат однозначно определен?
-1
голос
1
ответ
166
показов
Вывод значения -1U
Кто может объяснить почему выводит 4294967295?
#include <iostream>
signed main() {
std::cout << -1u << std::endl;
}
3
голоса
1
ответ
95
показов
Почему компилятор может оптимизировать сравнение при доступе за границы массива?
bool contains(int val) {
int arr[] = {1, 2, 3};
for (int i = 0; i <= 3; ++i)
if (arr[i] == val)
return true;
return false;
}
#include <iostream&...
0
голосов
2
ответа
90
показов
Двойные стандарты компилятора [дубликат]
int a[42]{};
std::cout << a[42];
std::string str(42, 'x');
std::cout << str[42];
Почему в первом случае срабатывает предупреждение о неопределенном поведении, а во втором нет?
6
голосов
3
ответа
301
показ
Неопределённое поведение в недостижимом коде
Содержит ли следующий код UB или надо вызвать функцию для этого?
int foo() {
int a = 2 + 3;
// no return
}
int main() {
// foo();
}
1
голос
2
ответа
123
показа
Почему неверный код работает без ошибок?
Почему приведенный код работает у меня без ошибок?
int* func() {
int var = 100;
return &var;
}
int main()
{
int* ptr = func();
cout << *ptr; // печатает 100, хотя здесь я ...
4
голоса
1
ответ
117
показов
Можно ли считать данную ситуацию неопределенным поведением?
Есть следующий код:
#include <stdio.h>
int main(void)
{
printf("%p\n", NULL);
}
В стандарте говорится, что
7.19 Common definitions <stddef.h>
The macros are
NULL
...
12
голосов
4
ответа
248
показов
Использование --x++ допустимо?
Есть пара вопросов о допустимости и корректности записи вроде --x++
Верно ли утверждать, что (--x)++ представляет собой некоторый эквивалент (x-1)? Т. е. верно ли, что этот код корректен и НЕ ...
0
голосов
1
ответ
95
показов
std::string operator[]
Пробую запустить такой код
#include <iostream>
#include <string>
int main() {
std::string b("a");
std::cout << b[20];
return 0;
}
ожидал увидеть какой-то мусор в ...
0
голосов
1
ответ
87
показов
Почему объект, возвращаемый из функции, остается валидным?
Ожидается, что a будет очищен после завершения GetA(), а ссылка на него в методе main будет невалидной.
class A
{
public:
std::string str;
void Print()
{
std::cout << str << std::...
-1
голос
1
ответ
8k
показов
Вызвано исключение: нарушение доступа для чтения
происходит ошибка во время компиляции: Вызвано исключение: нарушение доступа для чтения.root было nullptr.
Нужно написать программу, которая заполняет данные о студенте, после чего нужно ввести ...
1
голос
1
ответ
43
показа
Ошибка при работе с перегрузкой оператора сложения
#include <iostream>
#include <fstream>
#include <sstream>
using namespace std;
class MyVector
{
private:
int* vec;
int size;
public:
MyVector(int s = 0) { size = s; ...
5
голосов
2
ответа
1k
показов
Функция system в C++
Смотрю описание функции system и заметил два странных места:
If command is not a null pointer, the value returned depends on the system and library implementations, but it is generally expected to ...
3
голоса
1
ответ
66
показов
Проблемы с реализацией стека в C
Есть код стека:
typedef struct {
char stack[32];
int current;
} char_stack;
void push(char_stack* stackn, char value) {
stackn->stack[stackn->current] = value;
stackn->...
8
голосов
4
ответа
2k
показов
C/C++ сравнение указателей на разные объекты на равенство и отношение
Уже который день пытаюсь разобраться, можно ли сравнивать указатели, относящиеся к разным объектам...
Проблема заключается в том, что в Стандарте эта тема обрисована крайне расплывчато.
Вот это ...
0
голосов
1
ответ
175
показов
C/C++, отсутствие default в switch и UB
Подскажите, является ли отсутствие default в switch неопределенным поведением, если в switch попадает значение, для которого нет соответствующего case?
9
голосов
1
ответ
117
показов
Язык C, UB при изменении const
Подскажите, действительно ли в Стандарте сказано, что обходное изменение const объекта - это неопределенное поведение? Я попытался найти эту информацию самостоятельно, но мне не удалось.
И если это ...
1
голос
0
ответов
133
показа
C/C++, неопределенное поведение
Подскажите, действительно ли для языков C/C++ использование данных, которые имеют в памяти неверное выравнивание, приводит к неопределенному поведению?
Например:
char s[100];
float *f = (float*) (s +...
4
голоса
2
ответа
208
показов
При каких условиях в C битовый сдвиг влево для знакового целого приводит к неопределенному поведению?
Ясное дело, что << и >> не должны принимать справа отрицательное число, но дальше я ничего не понял.
6
голосов
2
ответа
489
показов
Вызов метода у нулевого указателя
Сегодня состоялся следующий спор с коллегами. Они утверждали, что в таком коде нет никаких проблем, и все будет работать везде одинаково:
#include <iostream>
struct S{
int a;
void foo(){...
0
голосов
1
ответ
95
показов
Программа отдаёт разные ответы в разных компиляторах
В онлайн компиляторе код (http://cpp.sh/4gnfb) при вводе:
4 1 2 3 4
выводит YES, а в Visual Studio - выводит NO.
Если вкратце, то код должен вывести YES, если среди N чисел присутствует 0. Я знаю, ...
4
голоса
2
ответа
590
показов
Нужно ли писать пустой виртуальный деструктор?
Как известно, при необходимости удаления через указатель на родительский класс, класс должен иметь виртуальный деструктор, чтобы оператор delete вызвал верный деструктор дочернего класса.
Но что если ...
5
голосов
1
ответ
269
показов
Можно ли игнорировать пустого наследника при написании деструктора?
Как известно, при необходимости удаления через указатель на родительский класс, класс должен иметь виртуальный деструктор, чтобы оператор delete вызвал верный деструктор дочернего класса.
Меня же ...
12
голосов
1
ответ
374
показа
Можно ли игнорировать пустого наследника при арифметике указателей?
Есть класс A, от которого наследуется класс B. Однако, класс B не содержит никаких полей. Если я создам массив элементов B, но использую его как массив элементов A, то будет ли это корректно?
В ...
6
голосов
4
ответа
662
показа
Разница между delete и operator delete
В чём разница между этими действиями?
static void operator delete (void *p) { ::delete p; }
static void operator delete (void *p) { ::operator delete(p); }
Кажется, что всё работает в обоих ...
9
голосов
2
ответа
1k
показов
Продление жизни значения константной ссылкой
Как известно, если rvalue передаётся в некую функцию через константную ссылку, то время его жизни продлевается. Т. е. в следующем примере оно точно живёт пока выполняется функция ref_to_ptr. Вопрос в ...
9
голосов
3
ответа
12k
показов
В чём смысл существования reinterpret_cast?
В C++ существует оператор reinterpret_cast, смысл которого заключается в приведении между типами, несовместимыми друг с другом.
Однако подобные преобразования нарушают strict aliasing rule, что ...
2
голоса
2
ответа
181
показ
Неопределённое поведение в python
Возможно ли в python получить неопределённое поведение? И если возможно, то как?
5
голосов
1
ответ
199
показов
Почему программа с UB у меня всегда работает правильно?
тут же должно быть UB
#include <iostream>
#include <vector>
int main()
{
std::vector<char> s={'h', 'e', 'l', 'l', 'o', 'w', 'o', 'r', 'l', 'd'};
auto beg=s.begin();
...
15
голосов
1
ответ
442
показа
Понять где undefined behavour в арифметических выражениях
Довольно таки часто обсуждаемая тема, но тем не менее хотелось бы конкретнее разобраться, где есть UB, а где нет.
Ниже несколько примеров, и мои мысли по поводу что есть что:
int i = 0, x = 1;
int a[...
4
голоса
2
ответа
201
показ
Различного вида критические ошибки в программировании
Обычно стараюсь все узнавать сам, но в последнее время начал мучать такой вопрос: "Может ли случиться такое, что из-за различного вида ошибок, допущенных программистом, система может, грубо говоря, ...
8
голосов
2
ответа
279
показов
signed int vs unsigned int (undefined behaviour ситуации)
Если говорить просто и коротко, то меня интересует: количество и примеры undefined behaviour для каждого из этих типов.
12
голосов
5
ответов
204
показа
Какое значение примет элемент n[1] после выполнения команд:
int i = 0, n[] = {7, 5, 3, 1};
for ( ; i<3; n[i++] = n[i]);
Дело в том, что два разных компилятора (Code Blocks и CppDroid) выдают два разных значения. В Code Blocks получается 5, а в CppDroid - 3....
8
голосов
3
ответа
2k
показов
О порядке вычисления выражений
Хотелось бы разобраться какими правилами определяется порядок вычисления значений выражений в общем случае.
Допустим, есть такой код
int readValue()
{
int v;
cin >> v;
return v;
}
int ...
0
голосов
3
ответа
82
показа
Почему в MinGW иногда срабатывает автообнуление неинициализированных переменных?
Работаю в Windows 7, среда Code::Blocks 16.01, рекомендуемая по-дефолту на их сайте версия с MinGW.
Есть несколько крайне похожих примера кода:
#include <iostream>
void bar()
{
int a;
...
3
голоса
1
ответ
100
показов
Swap переменных xor'ом в одно выражение
Является ли такой способ обмена значений переменных неопределённым поведением?
http://codepad.org/3IFTpgwR
#include <stdio.h>
int main(void)
{
int x = 10, y = 20;
x ^= y ^= x ^= y;
...
2
голоса
1
ответ
81
показ
Области видимости, момент вызова деструкторов (С++)
Есть ли UB в следующем коде?
thread *func_thread = new thread[thrn]; // стандартная <thread>, но не суть
// ...
for(auto i = 0; i < thrn; i += 1) {
func_thread[i] = thread(thf);
} // ...
0
голосов
1
ответ
64
показа
+= с пре и пост-инкрементами
Ну ладно, разобрали разные ситуации с инкрементами. А если добавить +=?
$a = 10;
$a += $a++;
21
$a = 10;
$a += ++$a;
22
$a = 10;
$a += $a++ + ++$a;
34
Также пока непонятным остается такое:...
2
голоса
2
ответа
170
показов
А что будет, если выполнить $a++ + ++$a?
Навеяно вопросом про пре/постинкремент. Код:
<?php
$a=10;
$a=$a++ + ++$a;
echo $a;
Ideone выдает 22, ожидалось 23. Модификация с выставлением приоритетов $a=($a++) + (++$a); не спасает. Вопрос: ...