c++ - C++11 数组怎么能不存储它的大小呢？

Question

来自 cplusplus.com :

Internally, an array does not keep any data other than the elements it contains (not even its size, which is a template parameter, fixed on compile time).

我理解这意味着使用 array 类似于在同一范围内使用 int[] 和 sizeof。但是此代码是否有效或依赖于未定义的行为？

class A {
    array<int, 10> arr;
    void setArr() {
        for (int& i : arr)
            i = 42;
    }
    void printArr() {
        for (int i : arr)
            cout << i << endl;
    }
};

编译器如何知道何时停止 foreach 而不将数组大小存储在堆或堆栈上？我运行了它，代码有效。

Answer 1

它说的更多，并且在您的引文中有回应:

[...] not even its size, which is a template parameter, fixed on compile time [...]

例如，下面的代码也是合法的:

template<int N>
struct C {
    int size() { return N; }
};

如您所见，我们在这里做同样的事情，N 无论如何都不会保留，但它是众所周知的模板参数，在编译时固定。

这同样适用于模板化类 std::array，它接受定义其大小 的模板参数。因此，大小 在编译时是已知的(并且是固定的)并且它隐含地是生成类型的一部分，即使在运行时没有保留额外的空间也是如此。

编辑(根据评论)

当然，您不能在运行时通过简单地调用其中一种方法来更改此类数组的大小。如前所述here :

std::array is a container that encapsulates fixed size arrays.

此外，动态更改其大小也没有意义，因为它不再与定义实际大小的模板参数保持一致。因此，响应显然是:不，您不能更改它的大小(当然，即使您可以使用该数组填充另一个具有不同大小的数组)。

但是，这样做有很多好处:

The struct combines the performance and accessibility of a C-style array with the benefits of a standard container, such as knowing its own size, supporting assignment, random access iterators, etc.

由您决定是否值得使用它来代替普通的 C 风格数组。这主要取决于您面临的问题，所以我不能这么说。