В какой момент память, выделенная malloc, получает тип?

Question

This question спрашивает, что это динамический тип объекта, выделенного malloc и в соответствии с верхней ответ:

Возвращаемое значение malloc является блок неинициализированного хранения. В этом хранилище не было создано никакого объекта. И поэтому он не имеет динамического типа.

Это еще один вопрос: в какой момент имеет смысл сказать, что хранилище, возвращаемое malloc, получает тип. Например:

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

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

Answer 1

Статус-кво в соответствии со стандартом заключается в том, что там нет объекта.

[intro.object]/1:

Объект создается с помощью определения ([basic.def]), с помощью новой экспрессии ([expr.new]) или путем осуществления ([class.temporary]) при необходимости.

Смотрите также обсуждение в P0137, что сделало бы вышеприведенную цитату определение объекта:

Редакционного примечание: это сохраняет статус-кво, что только malloc является недостаточно для создания объект.

(int *)p нет.

Answer 2

Ответ: когда объект создается в хранилище, которое выделяет malloc().

Примечание: malloc() определен в стандарте C и указан в стандарте C++. Взаимодействие со стандартом C++ предназначено для совместимости, а не как первичный источник.

Какой malloc() возвращает указатель на уникальную область хранения (или NULL). Он не выделяет и не возвращает объект. Объект может быть создан в этом хранилище различными способами, и это объект, который имеет тип, а не хранилище.

Образец кода, заданный в вопросе, создает типизированный указатель, но не влияет на хранилище.