Está usando malloc para comportamento indefinido int até C ++ 20

Disseram-me que o código a seguir tem comportamento indefinido até C ++ 20:

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

Isso é verdade?

O argumento foi que o tempo de vida do intobjeto não é iniciado antes da atribuição do valor a ele ( P0593R6 ). Para resolver o problema, o posicionamento newdeve ser usado:

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

Precisamos realmente chamar um construtor padrão que seja trivial para iniciar a vida útil do objeto?

Ao mesmo tempo, o código não tem comportamento indefinido em C. puro. Mas, e se eu alocar um intem código C e usá-lo em código 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;

Ainda é um comportamento indefinido?

É verdade?

Sim. Tecnicamente falando, nenhuma parte de:

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

na verdade, cria um objeto do tipo int, portanto, a desreferenciação pé UB, pois não há nenhum objeto real intali.

Precisamos mesmo chamar o construtor padrão que é trivial para iniciar a vida útil do objeto?

Você precisa seguir o modelo de objeto C ++ para evitar comportamento indefinido pré-C ++ 20? Sim. Algum compilador realmente causará danos se você não fizer isso? Não que eu saiba.

[...] ainda é um comportamento indefinido?

Sim. Antes do C ++ 20, você ainda não criava um intobjeto em nenhum lugar, então este é o UB.

Sim, foi UB. A lista de maneiras pelas quais um intpode existir foi enumerada e nenhuma se aplica a ela, a menos que você mantenha que malloc é acausal.

Foi amplamente considerado uma falha no padrão, mas de baixa importância, porque as otimizações feitas pelos compiladores C ++ em torno daquele bit específico de UB não causaram problemas com aquele caso de uso.

Quanto à 2ª questão, C ++ não determina como C ++ e C interagem. Portanto, toda interação com C é ... UB, também conhecido como comportamento indefinido pelo padrão C ++.