无法正确排序2D字符数组

Question

我最多输入100个字符串并将其归档，并将它们放入2D字符数组中。 STRING_LEN = 1000

char** read_from_file(char* fname, int * size)  {

    FILE *fp = fopen(fname, "r");

    int lines = 0;
    while(fscanf(fp, "%s", buff) != EOF) {
        lines++;
    }
    *size = lines;
    if(*size > 100) {
        *size = 100;
    }

    rewind(fp);

    char** file_array = malloc(*size * sizeof(char*));

        int counter;
        for(counter = 0; counter < *size; counter++) {
            file_array[counter] = malloc((STRING_LEN + 1) * sizeof(char));
        }
    for(counter = 0; counter < *size; counter++) {
           fscanf(fp, "%s", &file_array[counter]);
        }

    fclose(fp);
    return file_array;
}

快速排序将按字符串长度排序。

void quick_sort(char** words, int first, int last) {

    int pivot, j, i;
    char *temp = malloc((STRING_LEN + 1)* sizeof(char));

    if(first < last) {
        pivot = first;
        i = first;
        j = last;

        while(i < j) {
            while(strlen(&words[i]) <= strlen(&words[pivot]) && i < last)
                i++;
            while(strlen(&words[j]) > strlen(&words[pivot]))
                j--;

                if(i < j) {
                    strcpy(temp, &words[i]);
                    strcpy(&words[i], &words[j]);
                    strcpy(&words[j], temp);
                }
        }

        strcpy(temp, &words[pivot]);
        strcpy(&words[pivot], &words[j]);
        strcpy(&words[j], temp);
        free(temp);
        quick_sort(words, first, j-1);
        quick_sort(words, j+1, last);
    }
}

快速排序功能将对某些文件正确运行，但对于其他文件，例如，信息会失真。 档案内容

car 
x 
house 
door 
ash 
a 
elephantback 
back

快速排序后

x 
a 
ash 
car 
back 
door 
house 
elephanthouse

如您所见，最后一个单词已被重新排列，如果文件中包含更多单词，则该单词会变得更糟。 为什么strcpy这样将单词组合在一起？

Answer 1

您的排序函数有未定义的行为 ：表达式&words[j]返回指向存储在words[j]处的指针的指针，即它是char **类型而不是char * 。 删除所有那些地址运算符，并仅使用words[j]来获得指向该字符串的指针。

Answer 2

这里的问题是您要将字符串从一个数组复制到另一个数组，但是每个数组都有足够的空间容纳它包含的字符串。 因此，例如，如果您尝试将5个字符串复制到仅分配了3个字符的空间中，则会超出分配的内存，从而导致未定义的行为。

与其复制完整的字符串，不如复制指针：

temp = words[i];
words[i] = words[j];
words[j] = temp;
...
temp = words[pivot];
words[pivot] = words[j];
words[j] = temp;

编辑：

显然我想念所有字符串都分配了相同（大量）的空间。 因此，这不是未定义行为的原因。 正如约阿希姆·皮勒博格（Joachim Pileborg）在回答中提到的，使用&words[j]类的表达式是根本原因。

尽管如此，如上所述，交换指针比复制实际的字符串更有效，并且由于它可以处理相同的错误代码行，因此仍然可以解决此问题。