El estándar C ++ se refiere al término "tipo dinámico" (y el estándar C se refiere a "tipo efectivo" en el contexto similar), por ejemplo

Si un programa intenta acceder al valor almacenado de un objeto a través de unglvalue de otro de los siguientes tipos, el comportamiento no está definido:

el tipo dinámico del objeto

Pero, ¿cómo se asigna el tipo dinámico del objeto conmalloc ¿determinado?

Por ejemplo:

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

¿El tipo dinámico del objeto apuntado porpi serint?