std::array<T, N> 的大小是否保证等于 T[N] 的大小？ [复制]

Question

看来这段代码可以工作（所以它编译得很好），我在这里要问的是：是否保证 sizeof(std::array) 与 sizeof(equivalent_Carray) 相同？

struct MyClass {
  std::array<float, 4> arr;  
  float carr[4];

  std::array<float, 4> cfunction() {
    std::array<float, sizeof(carr) / sizeof(float)> out;
    return out;
  }

  std::array<float, 4> function() {
    // Is this guaranteed to be the same as sizeof(carr) / sizeof(float)??
    std::array<float, sizeof(arr) / sizeof(float)> out;
    std::cout << sizeof(arr);
    return out;
  }
};

int main()
{
    MyClass obj;
    obj.function();
}

Answer 1

没有。

我们通过std::array<T, N> 获得的唯一保证是：

• size() 是 N;
• &a[n] == &a[0] + n 代表所有 0 <= n < N；

• 数组是可以使用语法初始化的聚合 (8.5.1)

  array<T, N> a = { initializer-list };
  

没有什么能阻止实现者添加尾随成员，尽管我不知道为什么会这样做。