std :: array-'大小为n的缓冲区将被溢出'，仅在VS中

Question

constexpr auto CHUNKS_X = 5, CHUNKS_Y = 5, CHUNKS_Z = 1;
std::array<std::bitset<CHUNKS_X>, CHUNKS_Y> ys;
std::array<decltype(ys), CHUNKS_Z> zs;
if (CHUNKS_Z > 1)
{
    zs[0] = ys;
    //zs.at(1) = ys; //this works
    zs[1] = ys; //this doesn't work
    for (auto &x : zs[1])
    {
        x.flip();
    }
    for (auto z = 2; z < CHUNKS_Z; z++)
    {
        zs[z] = zs[z - 2];
    }
}

zs[1] = ys; 给我

error C4789: buffer 'zs' of size 20 bytes will be overrun; 20 bytes will be written starting at offset 20

但仅当在VS中编译时。 在命令行上编译不会给我这样的错误，使用zs.at(1) = ys;也不会给我这样的错误zs.at(1) = ys; 代替。 值得注意的另一件事是MSDN说这应该是警告，而不是错误。

我意识到这可能是一个微妙的编译器标志问题，但是我没有丝毫线索可以从哪里开始寻找。

Microsoft (R) C/C++ Optimizing Compiler Version 19.00.23506 for x86

Answer 1

std::array<decltype(ys), CHUNKS_Z> zs;

相当于

std::array<decltype(ys), 1> zs;

表示zs是一个包含1个元素的数组；

数组通常是从零开始的，这意味着第一个元素位于zs[0] ，并且没有其他元素，因此zs[1]要求数组将具有第二个元素，而在您的示例中则没有。

因为您检查if (CHUNKS_Z > 1)是否应该没有问题，因为您无法到达zs[1] = ys; 而且不会有任何问题。

如果我将CHUNKS_Z更改为2 ，则在VS15中没有任何错误