尝试释放 C 中的内存时出现堆损坏错误

Question

我有这段代码：

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

int* create_arr(int start, int end) {
    int length = end - start, i = start, j;
    int* arr;
    arr = (int*)malloc(sizeof(int) * length);
    if (arr == NULL) {
        printf("memory allocation problem");
        exit(1);
    }
    for (j=0; i <= end; i++, j++) {
        arr[j] = i;
    }
    return arr;
}
void main() {
    int num, num2;
    int *arr;
    scanf_s("%d %d", &num, &num2);
    arr = create_arr(num, num2);
    for (int i = 0; i <= num2 - num; i++) {
        printf("%d, ", arr[i]);
    }
    free(arr);
}

对于这段代码，我分配内存并将值设置到其中的部分工作正常，但是当我添加最后一行时：

free(arr);

它会弹出一条错误消息，内容如下： “调试错误，检测到堆损坏” 我想知道释放内存时我做错了什么，并且希望得到一些帮助。

Answer 1

这个 for 循环

for (j=0; i <= end; i++, j++) {
    arr[j] = i;
}

是不正确的，因为根据变量 length 的值，数组具有结束 - 开始元素。

int length = end - start, i = start, j;

循环中的条件应为 j <<长度 或i <结束。

for (j=0; j < length; i++, j++) {
    arr[j] = i;
}

或者您需要将 length 的值增加一。

一般来说，编写的循环会让代码的读者感到困惑。

您可以改为编写

for ( i = 0; i < length; i++) {
    arr[i] = start++;
}

此 for 循环中的条件 i <= num2 - num

for (int i = 0; i <= num2 - num; i++) {
    printf("%d, ", arr[i]);
}

也是不正确的，原因与上面指出的循环相同。必须是

for (int i = 0; i < num2 - num; i++) {
    printf("%d, ", arr[i]);
}

您应该在函数内检查参数end的值至少不小于参数start的值。如果动态分配的数组必须包含 [start, end] 范围内的值，则内存分配应类似于

int length = end - start + 1;
arr = malloc(sizeof(int) * length );

该函数可以通过以下方式之一定义，前提是该范围必须包括start 和 end 的值。

int * create_arr( int start, int end ) 
{
    int *arr = NULL;

    if ( !( end < start ) )
    {
        int length = end - start + 1;

        arr - malloc( lengh * sizeof( int ) );

        if ( arr != NULL )
        {
            for ( int i = 0; i < length; i++ )
            {
                arr[i] = start++;
            }
        }
    }

    return arr;
}

或者

int * create_arr( int start, int end ) 
{
    if ( end < start )
    {
        int tmp = start;
        start = end;
        end = tmp;
    }

    int length = end - start + 1;

    int *arr - malloc( lengh * sizeof( int ) );

    if ( arr != NULL )
    {
        for ( int i = 0; i < length; i++ )
        {
             arr[i] = start++;
        }
    }

    return arr;
}

注意，根据 C 标准，不带参数的函数 main 应声明为

int main( void )