Почему тут UB?

@d7d1cd · Регистрация: 30.06.2011

Студворк — интернет-сервис помощи студентам

Приветствую всех. Есть такой код:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
#include <stdio.h>
#include <stdlib.h>
 
typedef struct {
  int a; int b;
} X;
 
int main()
{
  X* x = (X*)malloc(sizeof(X));
  if (!x) return 1;
 
  x->a = 111;
  x->b = 222;
 
  printf("x->a = %d\n", x->a);
  printf("x->a = %d\n", x->b);
 
  free(x);
  return 0;
}

Говорят, что он корректен в С, но в С++ ведет к неопределенному поведению. Почему он корректен в С понятно, но объясните, почему в С++ это UB?

Verevkin · 28.02.2020, 09:16

Сообщение от d7d1cd

Говорят

кто говорит-то?

@oleg-m1973 · 28.02.2020, 09:30

Сообщение от d7d1cd

Говорят, что он корректен в С, но в С++ ведет к неопределенному поведению. Почему он корректен в С понятно, но объясните, почему в С++ это UB?

Скорее всего просто паранойя, реакция на функцию malloc

@d7d1cd · 28.02.2020, 10:30 **[ТС]**

Сообщение от Verevkin

кто говорит-то?

Ведущий разработчик компании Мера, занимающейся созданием программных продуктов, на недавно проведенном митапе.

Сообщение от oleg-m1973

Скорее всего просто паранойя, реакция на функцию malloc

Очень сомневаюсь...

@oleg-m1973 · 28.02.2020, 10:35

Сообщение от d7d1cd

Очень сомневаюсь...

Не сомневайся, у ведущих разработчиков это часто встречается.
Скорее всего он имел ввиду, что если ты добавишь в структуру X поле с типом std::string, например, либо проинициализируешь a и b, то твой код не будет работать.

@d7d1cd · 28.02.2020, 10:42 **[ТС]**

Сообщение от oleg-m1973

Скорее всего он имел ввиду, что если ты добавишь в структуру X поле с типом std::string, например, либо проинициализируешь a и b, то твой код не будет работать.

Нет. Не было условия что когда-то что-то добавится. Именно этот код в С++ - UB.
Я с ним связался, он дал ссылку на видео, откуда это он взял. Говорит, что в видео есть ссылка на стандарт. Сам я пока не смотрел.

@oleg-m1973 · 28.02.2020, 10:49

Сообщение от d7d1cd

Нет. Не было условия что когда-то что-то добавится. Именно этот код в С++ - UB.

Там вроде про вызов конструктора и говориться, на 24:50.
Если конструктора нет, то без разницы.

Verevkin · 28.02.2020, 11:08

Сообщение от d7d1cd

Ведущий разработчик компании Мера,

Ну дык спроси у него - "почему?".
Имей в виду, даже самые-самые ведущие разработчики могут ошибаться, ибо errare humanum est.

Алексей1153 · 28.02.2020, 11:40

Сообщение от Verevkin

могут ошибаться

а иногда они не просто ошибаются, а заблуждаются, искренне веря в то, что они правы и всем это навязывая ))

такие случаи медицине известны

кстати, тут точно ошибка
printf("x->a = %d\n", x->b);

@COKPOWEHEU · 28.02.2020, 11:57

Сообщение от Алексей1153

кстати, тут точно ошибка
printf("x->a = %d\n", x->b);

На первый взгляд не вижу. Не считая слегка путающей мелочи, что под видом x->a выдается x->b, но это ж не ошибка.

Verevkin · 28.02.2020, 12:04

Сообщение от Алексей1153

а иногда они не просто ошибаются, а заблуждаются, искренне веря в то, что они правы и всем это навязывая ))

Был у нас в бригаде один такой старый ~~пид...~~ специалист. Постоянно приходилось предоставлять пруфы его неправоты, но ни единого раза он так и не признал, что он не прав. Ушёл на пенсию пару лет назад. Проводили с шампанским и под песню группы "звери".

Алексей1153 · 28.02.2020, 12:15

Сообщение от COKPOWEHEU

но это ж не ошибка

по мне - очень даже ошибка )

Verevkin, среди них есть два вида: один признаёт неправоту, если предоставить доказательства. Второй живёт под лозунгом "все люди разные, а я - одинаковый" )

@COKPOWEHEU · 28.02.2020, 12:20

Сообщение от Алексей1153

по мне - очень даже ошибка )

видно же, что код тестовый, там можно было хоть "ААА" написать, разницы нет.

@d7d1cd · 28.02.2020, 12:23 **[ТС]**

Сообщение от COKPOWEHEU

идно же, что код тестовый, там можно было хоть "ААА" написать, разницы нет.

Согласен.
Алексей1153, не надо разводить демагогию. Ошибся я, это ж и так понятно. Лучше конкретно по вопросу ответьте: коде есть UB?

Verevkin · 28.02.2020, 12:26

Сообщение от Алексей1153

среди них есть два вида: один признаёт неправоту, если предоставить доказательства. Второй живёт под лозунгом "все люди разные, а я - одинаковый" )

Наш был типа "Все гондурасы, а я дартаньян".
Давил авторитетом и 50-летним стажем работы. Я когда молодой был, тоже поддавался. Но в один прекрасный день мне это надоело и я принял меры.

Кликните здесь для просмотра всего текста

Добавлено через 56 секунд

Сообщение от d7d1cd

Лучше конкретно по вопросу ответьте: коде есть UB?

нет. Передай хмырю, что это Я сказал.

Алексей1153 · 28.02.2020, 12:38

d7d1cd, написано же выше - если класс не POD, то будут неприятности. Так и передай ) Ну и упростить всё это требуется

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
struct X
{
  int a=0;
  int b=0;
};
 
int main()
{
  X x;
  x.a = 111;
  x.b = 222;
 
  printf("a == %d\n", x.a);
  printf("b == %d\n", x.b);
 
  return 0;
}

Vourhey · 28.02.2020, 12:41

Сообщение от Verevkin

кто говорит-то?

Уже давно все чуваки из комитета об этом говорят. Я этот сэмпл с мерского митапа видел несколько лет назад, наверное

Сообщение от d7d1cd

Почему он корректен в С понятно, но объясните, почему в С++ это UB?

Уже есть proposal для исправления этого. И в нем описаны причины в том числе. Почитай:
P0593R5
Implicit creation of objects for low-level object manipulationl
Хотя я не встречал живьем компилятора, в котором бы это приводило к UB.

Добавлено через 2 минуты

Сообщение от d7d1cd

Лучше конкретно по вопросу ответьте: коде есть UB?

Если жить по стандарту, то есть, подходить формально к вопросу, то есть. Если по логике, то для меня - нет

Verevkin · 28.02.2020, 12:41

Сообщение от Vourhey

Уже давно все чуваки из комитета об этом говорят. Я этот сэмпл с мерского митапа видел несколько лет назад, наверное

Продолжай...

Кликните здесь для просмотра всего текста

Vourhey · 28.02.2020, 12:52

Сообщение от Verevkin

Продолжай...

Имеющий глаза да увидит. А слепой сытому не товарищ.

@Azazel-San · 28.02.2020, 13:20

Сообщение от d7d1cd

почему в С++ это UB?

Потому, что malloc не начинает жизнь объекта:

Сообщение от intro.object/1

An object is created by a definition, by a new-expression, when implicitly changing the active member of a union, or when a temporary object is created.

Но начиная c С++20 это уже не так:

Сообщение от intro.object/1

The constructs in a C++ program create, destroy, refer to, access, and manipulate objects. An object is created by a definition, by a new-expression, by an operation that implicitly creates objects (see below), when implicitly changing the active member of a union, or when a temporary object is created

Новые блоги и статьи Все статьи Все блоги /
Модель микоризы: классовый агентный подход 3 anaschu 06.01.2026 aa0a7f55b50dd51c5ec569d2d10c54f6/ O1rJuneU_ls https:/ / vkvideo. ru/ video-115721503_456239114	Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ФедосеевПавел 06.01.2026 Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ВВЕДЕНИЕ Введу сокращения: аналоговый ПИД — ПИД регулятор с управляющим выходом в виде числа в диапазоне от 0% до. . .	Модель микоризы: классовый агентный подход 2 anaschu 06.01.2026 репозиторий https:/ / github. com/ shumilovas/ fungi ветка по-частям. коммит Create переделка под биомассу. txt вход sc, но sm считается внутри мицелия. кстати, обьем тоже должен там считаться. . . .	Расчёт токов в цепи постоянного тока igorrr37 05.01.2026 / * Дана цепь постоянного тока с сопротивлениями и напряжениями. Надо найти токи в ветвях. Программа составляет систему уравнений по 1 и 2 законам Кирхгофа и решает её. Последовательность действий:. . .
Новый CodeBlocs. Версия 25.03 palva 04.01.2026 Оказывается, недавно вышла новая версия CodeBlocks за номером 25. 03. Когда-то давно я возился с только что вышедшей тогда версией 20. 03. С тех пор я давно снёс всё с компьютера и забыл. Теперь. . .	Модель микоризы: классовый агентный подход anaschu 02.01.2026 Раньше это было два гриба и бактерия. Теперь три гриба, растение. И на уровне агентов добавится между грибами или бактериями взаимодействий. До того я пробовал подход через многомерные массивы,. . .	Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Programma_Boinc 28.12.2025 Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Налог на собак: https:/ / ********/ gallery/ V06K53e Финансовый отчет в Excel: https:/ / ********/ gallery/ bKBkQFf Пост отсюда. . .	Кто-нибудь знает, где можно бесплатно получить настольный компьютер или ноутбук? США. Programma_Boinc 26.12.2025 Нашел на реддите интересную статью под названием Anyone know where to get a free Desktop or Laptop? Ниже её машинный перевод. После долгих разбирательств я наконец-то вернула себе. . .

Почему тут UB?

Решение