c++ - 数组元素是不完整的对象吗？

Question

经过 recent question on static typing ，我又在想数组了。一直以为数组元素就是普通的对象，现在想知道:

数组的元素本身是完整的对象，还是不完整的，唯一完整的对象是数组本身？

如果是这样，那么(new T[N])[0]的完整对象是什么，它的类型是什么？

如果元素是不完整的，那么是否意味着存在类型无法静态知道的完整对象？ (这与基础/派生业务不同:new Derived 的类型 是静态已知的，尽管它可能永远不会在该表达式之外记录。)

Answer 1

数组元素不是一个完整的对象。 C++11，[intro.object]§2:

Objects can contain other objects, called subobjects. A subobject can be a member subobject (9.2), a base class subobject (Clause 10), or an array element. An object that is not a subobject of any other object is called a complete object.

至于(new T[N])[0]。完整的对象是由 new-expression 创建的对象(T 的数组)。我会说它的类型是“T 的 N 元素的数组”，根据 [expr.new]§1:

The new-expression attempts to create an object of the type-id or new-type-id to which it is applied.

在这里，它是一个 new-type-id， 从 T[N] 构造。

请注意，在创建数组时，new 表达式 返回指向该数组初始元素的指针，而不是数组本身。这意味着在这种情况下，new-expression 的类型不是它创建的完整对象的类型。换句话说，无法通过任何方式访问完整对象的类型。