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

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

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

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

3. 算法的最终循环忘记更新每个“计数排序箱”的目的地。 也就是说，最终的循环应该如下：

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

4. 完成后不要忘记在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;
}

Answer 2

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

以 A = {10} 为例。