Question

所以我尝试将Counting Sort作为练习来实现，但是有一个我无法解决的错误。

以下是代码：

#include <stdio.h>
#include <stdlib.h>

void ordenar(int vet[], int b, int k)
{
    int num[k];
    int c0=0,c1=0, n, frescura=0;

    for (n=0; n<k+1; n++)
    {
        num[n] = 0;
    }

    for(n=0;n<b+1;n++)
    {
        num[vet[n]]++;
    }

    for(n=0;n<=b;)
        {
        while(num[frescura]>0)
        {
            vet[n] = frescura;
            n++;
            num[frescura]--;
        }
        frescura++;
        }
    int y;
    for (y=0; y<b+1; y++)
    {
        printf("%d, ", vet[y]);
    }

}

main ()
{
    int a[]={8,2,3,4,1,45,12,23,1,4,5,1,9,2,4,82,0,3,0,0,0,0,23,4,8,1,1,1,1,1,1,3,2,4,
            1,3,3,3,3,4,21,4,2,4,1,4,12,4,1,4,2,4,2,95,32,32,23,41,14,0,0,1,4,24,24,2,
            2,2,2,2,2,1,3,14,14,15,5,5,6,7,8,9,0,1,2,3,4,666,4,3,2,1,9,3,4,2,1,0,51,23,12,
            23,23,14,15,16,18,81,28,18,19,20,3,1,9,9,9,2,4,1,65,2,13,13,29,93,42,6}, b, k=666;

    b = sizeof(a)/sizeof(a[0]);
    ordenar(a, b, 666);
    return 0;
}

问题是：代码似乎按顺序放置了这个数组，除了倒数第二个数字，即所述数组的元素数。

Answer 1

您已将Logger::Log定义为

num

以及稍后访问int num[k];

之前的元素

但是，由于数组的索引从for (n=0; n<k+1; n++) // 0 to k { num[n] = 0; }开始，因此数组的元素将从0到0

因此，上面的代码会导致访问元素超出范围。这是C中未定义的行为

Answer 2

int num[k];                  //has valid index from 0 to k-1

for (n=0; n<k+1; n++)        // this will access index k(out of bounds)
{
    num[n] = 0;             
}

使用n=k它会超出范围，因此您倾向于写入无效地址，从而导致UB。

将循环条件更改为n<k。

for (n=0; n<k; n++)

Answer 3

考虑阵列的尺寸：

b是a中元素的数量。您可以通过a[0]真实地访问[b - 1]; a[b]是阵列之外的一个。
k是a中元素的最大值。您必须能够在k中包含从0到num的所有元素。这是k + 1元素，也应该是num的维度：

所以你的第一个for循环是好的，但数组维度太小了。您的第二个和第三个循环遍历a，因此应该具有条件n < b。两个循环在代码中进行了一次迭代。

void ordenar(int vet[], int b, int k)
{
    int num[k + 1];
    int n, frescura = 0;

    for (n = 0; n < k + 1; n++) {           // initialise num
        num[n] = 0;
    }

    for (n = 0; n < b; n++) {               // accumulate counts
        num[vet[n]]++;
    }

    for (n = 0; n < b;) {                   // reconstruct array
        while (num[frescura] > 0) {
            vet[n] = frescura;
            n++;
            num[frescura]--;
        }
        frescura++;
    }
}

补充说明：

最后一个for循环很尴尬。我们的想法是按递增顺序循环所有可能的元素，然后用相应数量的元素填充原始数组。因此外部循环应该遍历num并且内部循环应该填充数组：
```
m = 0;
for (n = 0; n < k + 1; n++) {
    while (num[n]-- > 0) vet[m++] = n;
}
```
（您的版本没有错，但在我看来更难理解。我已用frescura替换长名m
您可能应该强制所有数组元素都在0和k之间。该值用作num的索引，并且在索引超出范围时访问该数组会导致未定义的行为。
打印不应该是分拣功能的一部分;它应该在一个单独的功能中完成。

计数排序 - C.

3 个答案: