c++ - malloc分配的对象动态类型是什么？

Question

例如，C++ 标准指的是术语“动态类型”(而 C 标准在类似上下文中指的是“有效类型”)

If a program attempts to access the stored value of an object through a glvalue of other than one of the following types the behavior is undefined:

• the dynamic type of the object,

但是用malloc分配的对象的动态类型是如何确定的呢？

例如:

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

pi指向的对象的动态类型是否为int？

Answer 1

根据 C++ 规范:

Dynamic type:

<glvalue> type of the most derived object (1.8) to which the glvalue denoted by a glvalue expression refers

malloc 的返回值是一个未初始化的存储 block 。在该存储中没有构造任何对象。因此它没有动态类型。

void* 不指向对象，只有对象才有动态类型。

您可以通过开始其生命周期在该存储中创建一个对象。但在您这样做之前，它只是存储空间。