VS2019: [C6386] 缓冲区溢出

Question

void Counting_Sort(vector<int>& A)
{
const int size = A.size();

int max = A[0];
for (int i = 1; i < size; i++)
    if (max > A[i])
        max = A[i];

int* C = new int[max + 1]{ 0 };
for (int i = 0; i < max + 1; i++)
    C[A[i]] = C[A[i]] + 1;

for (int i = 1; i < max + 1; i++)
    C[i] = C[i] + C[i - 1];

int* B = new int[size];
for (int i = size-1; i >= 0; i--)
    B[C[A[i]] - 1] = A[i];   // <-- Warning here

}

我不太确定为什么会收到警告或它的确切含义。将 for 循环中的 size-1 设置为 size-2 会删除警告，但我不明白为什么。

Answer 1

编译器说 B 的大小是 4xsize 字节长，但在某些情况下，可能会写入 8 个字节，这可能会超过 4xsize 字节的长度。

以A={10}为例

Answer 2

我注意到您的示例代码存在四个不同的问题：

最大值计算不正确。你的情况应该是检测if (A[i] > max)
计数排序算法的“累积步骤”应该迭代输入数据。也就是说，循环应该如下（最多 size，而不是 max + 1）：

for (int i = 0; i < size; i++)
    C[A[i]] = C[A[i]] + 1;

算法的最终循环忘记更新每个“计数分类箱”的目的地。也就是说，最后的循环应该是这样的：

for (int i = size - 1; i >= 0; i--) {
    B[C[A[i]] - 1] = A[i];
    C[A[i]] = C[A[i]] - 1;
}

不要忘记在 B 和 C 上使用 delete[]。

这是完全编辑后的结果：

#include <iostream>
#include <vector>

void Counting_Sort(std::vector<int>& A) {
    const int size = A.size();

    int max = A[0];
    for (int i = 1; i < size; i++)
        if (A[i] > max)
            max = A[i];

    int* C = new int[max + 1]{ 0 };
    for (int i = 0; i < size; i++)
        C[A[i]] = C[A[i]] + 1;

    for (int i = 1; i < max + 1; i++)
        C[i] = C[i] + C[i - 1];

    int* B = new int[size];
    for (int i = size-1; i >= 0; i--) {
        B[C[A[i]] - 1] = A[i];
        C[A[i]] = C[A[i]] - 1;
    }

    for (int i = 0; i < size; i++)
        std::cout << "B[" << i << "] is " << B[i] << "\n";

    delete[] B;
    delete[] C;
}

int main() {
    std::vector<int> A = {6, 1, 3, 3, 6, 9};
    Counting_Sort(A);
    return 0;
}

VS2019: [C6386] 缓冲区溢出

VS2019: [C6386] Buffer Overrun while to

c++

buffer

buffer-overrun

visual-c++