c 样式数组上的 std::array

Question

有人告诉我，在 C++ 中，应该始终使用 std::array 而不是 c 样式数组。

查看问题后，我发现有人说 std::array 更好。

从这个意义上说，我使用了很多std::array，有时当我使用其他库时，我必须使用接收 c 样式数组的方法。

例如，我正在使用这个函数

void Draw(float* arg);

是否可以将std::array<float,4>作为参数传入？

如果我将 &vec4[0] 作为参数传入，会有任何未定义的行为吗？

从这个意义上说，多维数组也会一样吗？

将此数组声明为

std::array<std::array<float,4>,4>;

如果我要传入 &mtx4[0][0] 作为参数，还会有任何未定义的行为吗？

编辑：感谢您指出我在多维数组代码中的错误。我编辑了它。

Answer 1

是否可以传入 std::array 作为参数？

是的。正确的语法是：

Draw(my_array.data());

如果我将 &vec4[0] 作为参数传入，会有任何未定义的行为吗？

没有。从句法上讲，它不太擅长表达你的意图，但在语义上是一样的。

从这个意义上说，多维数组也会一样吗？

是的，如果您指的是经典的 C 多维数组，它们实际上只是与索引信息相关联的平面数组。不，如果你的意思是 C 数组数组。

float array2d[5][5]; // ok
float *array2d[5]; // not ok
std::array<std::array<float,5>,5> array2d; // not ok

第一个具有连续存储。另外两个是指向数组的数组，必须以不同的方式处理。这里没有足够的建议。

---

我找到了here 对多维数组的另一种/新语法的引用。它应该提供连续的存储空间。

std::array<float,5,5>; // should be ok

我真的不知道这个语法的状态是什么。也许其他人可以提供帮助。

---

在对该声明进行进一步调查后：

std::array<std::array<float,5>,5> array2d;

这里的array2d 存储都是内联的，不涉及指针。在所有情况下，我都能够调查存储似乎是连续的，因此内存布局与

float array2d[5][5];

这不是标准的要求。符合要求的实现可以插入额外的信息或填充，使得sizeof(array<T>) 大于sizeof(T[]) 对于某些 T。如果这样做，那么这两个的存储布局将不同。