Являются ли элементы массива незавершенными?

Question

После recent question on static typing, я снова думал о массивах. Я всегда думал, что элементы массива являются просто обычными объектами, но теперь мне интересно:

Являются ли элементы массива полными объектами сами по себе или являются неполными, а единственным полным объектом является сам массив?

Если это так, то каков полный объект (new T[N])[0], и каков его тип?

Если элемент неполный, значит ли это, что есть объекты, тип которых не может быть известен статически? (Это отличается от базового/полученного бизнеса: тип new Derivedявляется известно статически, хотя он никогда не может быть записана вне этого выражения.)

Answer 1

Элемент массива не является полным объектом. C++ 11, [intro.object] §2:

Объекты могут содержать другие объекты, называемые подобъектов. Субобъект может быть членом подобъектом (9.2), a подобъектом базового класса (раздел 10) или элементом массива. Объект, который не является подобъектом какого-либо другого объекта, называется полным объектом .

Что касается (new T[N])[0]. Полный объект - это объект, созданный новым выражением (массив T). Я бы сказал, что его тип «массив N элементов T», в соответствии с [expr.new] § 1:

The новое выражение- попытки создать объект типа -ид или new-type-id, к которому он применяется.

Вот, это нового типа-идентификатор, построен из T[N].

Обратите внимание, что при создании массивов новое выражение возвращает указатель на исходный элемент этого массива, а не на сам массив. Это означает, что в таком случае тип нового выражения не является типом полного объекта, который он создает. Другими словами, невозможно получить доступ к типу полного объекта любыми способами.