Está usando malloc para un comportamiento indefinido int hasta C ++ 20

Me dijeron que el siguiente código tiene un comportamiento indefinido hasta C ++ 20:

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

¿Es eso cierto?

El argumento fue que la vida útil del intobjeto no se inicia antes de asignarle el valor ( P0593R6 ). Para solucionar el problema, se newdebe utilizar la ubicación :

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

¿Realmente tenemos que llamar a un constructor predeterminado que sea trivial para iniciar la vida útil del objeto?

Al mismo tiempo, el código no tiene un comportamiento indefinido en C. puro. Pero, ¿qué intpasa si asigno un código en C y lo uso en 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;

¿Sigue siendo un comportamiento indefinido?

¿Es verdad?

Si. Técnicamente hablando, no forma parte de:

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

en realidad crea un objeto de tipo int, por lo que la eliminación de referencias pes UB, ya que no hay ningún objeto real intallí.

¿Realmente tenemos que llamar al constructor predeterminado que es trivial para iniciar la vida útil del objeto?

¿ Tiene que seguir el modelo de objetos de C ++ para evitar un comportamiento indefinido antes de C ++ 20? Si. ¿Algún compilador realmente causará daño si no haces esto? No que yo supiese.

[...] ¿Sigue siendo un comportamiento indefinido?

Si. Antes de C ++ 20, todavía no creaste un intobjeto en ningún lugar, así que esto es UB.

Sí, fue UB. La lista de formas en que unint enumeró la puede existir, y ninguna se aplica allí, a menos que usted sostenga que malloc es causal.

Se consideró ampliamente una falla en el estándar, pero de poca importancia, porque las optimizaciones realizadas por los compiladores de C ++ alrededor de ese bit particular de UB no causaron problemas con ese caso de uso.

En cuanto a la segunda pregunta, C ++ no exige cómo interactúan C ++ y C. Entonces, toda interacción con C es ... UB, también conocido como comportamiento no definido por el estándar C ++.