c - 在函数中使用 malloc 时出现奇怪的错误

Question

我遇到以下代码编译时没有错误的问题，但在执行时出现错误'Double free or corruption (fasttop)'

void copyNoRepeat (int * v1, int tam1, int * v2, int * tam2_ptr)
{
    int i, j;
    int tam = * tam2_ptr // 0

    for (i = 0; i <tam1; i ++) // 1
    {
        for (j = 0; j <tam; j ++) // 2
        {
            if (V1 [i] == v2 [j]) // 3
            {
                break;
            }
        }
        if (j == tam) // 4
        {
tam ++; // 5
            v2 = (int *) realloc (v2, (tam + 1) * sizeof (int)); // 6
            V1 [i] = v2 [j];
        }
    }
    * Tam2_ptr = tam;
}

我突然想到我正在尝试做一些编译器不接受的事情。

在继续之前，简单解释一下代码和我实现的功能。我有一个具有重复值的 vector (v1)，我想通过函数 'copyNoRepeat' 为动态分配的另一个 vector (v2) 每个只复制一个数字。示例:

v1 = [11,8,15,19,19,2,11,18,15,5]

v2 = [11,8,15,19,2,18,5]

(重复的数字 11、19、15，未复制到 v2)

在实现函数 'copyNoRepeat' 时，我不能使用 realloc 分配更多 4 字节的空间来存储 v2 中的数字，这会导致“双重释放或损坏(fasttop)”。我想知道为什么？

我写了另一个代码来测试问题是否是增加 tam//2，就像我在//5 中所做的那样，但没有问题，我在另一个文件中只写了这段代码并且它工作得很好。

我注意到的另一个细节是，只要删除第 5 行的 tam++//行，错误消息就变成了“段错误”。如果使用 realloc 删除//第 6 行，算法将按预期运行，仅复制唯一，但会出现错误:'free (): invalid next size (fast)'，我意识到它节省了后续内存位置中的值，但在空闲时间这样做并不知道内存已分配给此数据。

----------------所有代码--------------------

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

void geraValores(int v1[],int tam1,int limInf, int limSup);

void imprimeVetor(int v1[],int tam1);

void copiaValorsemrepetir(int *v1, int tam1, int *v2, int *tam2_ptr);

void checaValores(int *v1,int tam1, int *v2, int tam2);

int main (void)
{
    int limInf = 0;
    int limSup = 20;
    int tam1 = 10;
    int v1[tam1];

    int tam2=0;
    int *tam2_ptr = NULL;
    tam2_ptr = &tam2;

    int *v2;
    v2=(int*)malloc(tam2*sizeof(int));
    if(v2 == NULL)
    {
        printf("Erro! Memória não alocada.");
        exit(0);
    }
    geraValores(v1,tam1,limInf,limSup);
    imprimeVetor(v1,tam1);
    //printf("Antes da func copia=%d\n",tam2);
    copiaValorsemrepetir(v1,tam1,v2,tam2_ptr);
    //printf("depois da func copia=%d\n",tam2);
    imprimeVetor(v2,tam2);
    free(v2);
}

void copiaValorsemrepetir(int *v1, int tam1, int *v2, int *tam2_ptr)
{
    int i,j;
    int tam = *tam2_ptr;

    for(i=0; i<tam1;i++)
    {
        for(j=0;j<tam;j++)
        {
            if(v1[i]==v2[j])
            {
                break;
            }
        }
        if(j == tam)
        {
            tam++;
            //v2 = (int*)realloc( v2, tam*sizeof(int) );
            v2[j] = v1[i];
        }
    }
    *tam2_ptr = tam;
}

void geraValores(int v1[],int tam1,int limInf, int limSup)
{
    srand( (unsigned)time(NULL) );
    int j,k;

    for(j=0; j<tam1; j++)
    {
        v1[j] = limInf + rand() % limSup;
    }
}

void imprimeVetor(int v1[],int tam1)
{
    printf("Vetor:\n");
    int i;
    for(i=0; i<tam1; i++)
    {
        printf("%d|", v1[i]);
    }
    printf("\n");
}

Answer 1

问题是函数 copiaValorsemrepetir 中的 v2 与 main 中的 v2 不是同一个变量。有两个变量，我将它们称为 v2func 和 v2main。 v2func 是函数 copiaValorsemrepetir 中使用的副本。 v2main 是 main 中的副本。

当你调用realloc改变v2func时，realloc释放v2main指向的内存，并提供存储在 v2func 中的新指针。当copiaValorsemrepetir返回时，v2func指向的内存丢失(导致内存泄漏)。

main 中的指针仍然有它的原始值，没有指向任何东西。因此，对 imprimeVetor 的调用使用了错误的指针，这可能会导致段错误。 free(v2) 行试图释放已经释放的内存。这就是代码生成“double free” 错误消息的原因。

---

要解决此问题，请更改 main 中的函数调用以更新 v2

v2 = copiaValorsemrepetir(v1,tam1,v2,tam2_ptr);

---

并更改函数，使其返回指向 main 的新指针

int *copiaValorsemrepetir(int *v1, int tam1, int *v2, int *tam2_ptr)
{
    ...

    *tam2_ptr = tam;
    return v2;
}