Почему тут 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

Новые блоги и статьи Все статьи Все блоги /
Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. 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? Ниже её машинный перевод. После долгих разбирательств я наконец-то вернула себе. . .	Thinkpad X220 Tablet — это лучший бюджетный ноутбук для учёбы, точка. Programma_Boinc 23.12.2025 Рецензия / Мнение/ Перевод Нашел на реддите интересную статью под названием The Thinkpad X220 Tablet is the best budget school laptop period . Ниже её машинный перевод. Thinkpad X220 Tablet —. . .	PhpStorm 2025.3: WSL Terminal всегда стартует в ~ and_y87 14.12.2025 PhpStorm 2025. 3: WSL Terminal всегда стартует в ~ (home), игнорируя директорию проекта Симптом: После обновления до PhpStorm 2025. 3 встроенный терминал WSL открывается в домашней директории. . .	Как объединить две одинаковые БД Access с разными данными VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.
Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro	Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .	От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .	Поиск "дружественных имён" СОМ портов Argus19 22.11.2025 Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .	Сколько Государство потратило денег на меня, обеспечивая инсулином. Programma_Boinc 20.11.2025 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .

Почему тут UB?

Решение