Использует malloc для поведения int undefined до C ++ 20

Мне сказали, что следующий код имеет неопределенное поведение до C ++ 20:

int *p = (int*)malloc(sizeof(int));
*p = 10;

Это правда?

Аргументом было то, что время жизни intобъекта не начинается до присвоения ему значения ( P0593R6 ). Для устранения проблемы newследует использовать размещение:

int *p = (int*)malloc(sizeof(int));
new (p) int;
*p = 10;

Неужели нам действительно нужно вызывать конструктор по умолчанию, который является тривиальным для запуска жизненного цикла объекта?

В то же время код не имеет неопределенного поведения на чистом C. Но что, если я выделю intкод на C и использую его в коде C ++?

// C source code:
int *alloc_int(void)
{
    int *p = (int*)malloc(sizeof(int));
    *p = 10;
    return p;
}

// C++ source code:
extern "C" int *alloc_int(void);

auto p = alloc_int();
*p = 20;

Это все еще неопределенное поведение?

Это правда?

Да. Технически говоря, не входит в состав:

int *p = (int*)malloc(sizeof(int));

на самом деле создает объект типа int, поэтому разыменование p- это UB, поскольку там нет фактического int.

Неужели нам действительно нужно вызывать конструктор по умолчанию, который является тривиальным, чтобы начать время жизни объекта?

Нужно ли использовать объектную модель C ++, чтобы избежать неопределенного поведения до C ++ 20? Да. Может ли компилятор причинить вред, если вы этого не сделаете? Не то, чтобы я в курсе.

[...] Это все еще неопределенное поведение?

Да. До C ++ 20 вы по-прежнему нигде не создавали intобъект, так что это UB.

Да, это был УБ. Список способов intсуществования может быть перечислен, и ни один из них не применим, если только вы не считаете, что malloc является акаузальным.

Многие считали, что это недостаток стандарта, но маловажный, потому что оптимизация, выполненная компиляторами C ++ вокруг этого конкретного бита UB, не вызывала проблем с этим вариантом использования.

Что касается второго вопроса, C ++ не определяет, как взаимодействуют C ++ и C. Итак, все взаимодействие с C - это ... UB, иначе говоря, поведение не определено стандартом C ++.