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

Новые блоги и статьи Все статьи Все блоги /
Вывод данных через динамический список в справочнике Maks 01.04.2026 Реализация из решения ниже выполнена на примере нетипового справочника "Спецтехника" разработанного в конфигурации КА2. Задача: вывести данные из ТЧ нетипового документа. . .	Функция заполнения текстового поля в реквизите формы документа Maks 01.04.2026 Алгоритм из решения ниже реализован на нетиповом документе "ВыдачаОборудованияНаСпецтехнику" разработанного в конфигурации КА2, в дополнении к предыдущему решению. На форме документа создается. . .	К слову об оптимизации kumehtar 01.04.2026 Вспоминаю начало 2000-х, университет, когда я писал на Delphi. Тогда среди программистов на форумах активно обсуждали аккуратную работу с памятью: нужно было следить за переменными, вовремя. . .	Идея фильтра интернета (сервер = слой+фильтр). Hrethgir 31.03.2026 Суть идеи заключается в том, чтобы запустить свой сервер, о чём я если честно мечтал давно и давно приобрёл книгу как это сделать. Но не было причин его запускать. Очумелые учёные напечатали на. . .
Модель здравосоХранения 6. ESG-повестка и устойчивое развитие; углублённый анализ кадрового бренда anaschu 31.03.2026 В прикрепленном документе раздумья о том, как можно поменять модель в будущем	10 пpимет, которые всегда сбываются Maks 31.03.2026 1. Чтобы, наконец, пришла маршрутка, надо закурить. Если сигарета последняя, маршрутка придет еще до второй затяжки даже вопреки расписанию. 2. Нaдоели зима и снег? Не надо переезжать. Достаточно. . .	Перемещение выделенных строк ТЧ из одного документа в другой Maks 31.03.2026 Реализация из решения ниже выполнена на примере нетипового документа "ВыдачаОборудованияНаСпецтехнику" с единственной табличной частью "ОборудованиеИКомплектующие" разработанного в конфигурации КА2. . . .	Functional First Web Framework Suave DevAlt 30.03.2026 Sauve. IO Апнулись до NET10. Из зависимостей один пакет, работает одинаково хорошо как в режиме проекта так и в интерактивном режиме. из сложностей - чисто функциональный подход. Решил. . .

Почему тут UB?

Решение