Код:

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

typedef struct Nodo{
    int valor;
    struct Nodo* hijo1;
    struct Nodo* hijo2;
}Nodo;

typedef Nodo* Arreglo;

Arreglo INIC_ARR(int longitud);
void IMP_ARR(Arreglo A,int longitud);
void INIC_ARBOL(Arreglo A, int longitud);
void FREE_ARBOL(Arreglo A, int longitud);


int main(){
    Arreglo A;
    int longitud = 10;
    A = INIC_ARR(10);
    INIC_ARBOL(A,longitud);
    IMP_ARR(A,longitud);
    FREE_ARBOL(A,longitud);
    return 0;
}

Arreglo INIC_ARR(int longitud){
    int i;
    Arreglo A = (Arreglo)calloc(longitud,sizeof(Nodo));
    for(i = 0; i < longitud; i++){
        A[i].valor = rand()%10;
    }
    return A;
}

void IMP_ARR(Arreglo A,int longitud){
    int i;
    for(i = 0;i < longitud; i++){
        printf("[%d,",A[i].valor);
        if(A[i].hijo1 == NULL){
            printf("-,");
        }
        else{
            printf("%d,",(*(A[i].hijo1)).valor);
        }
        if(A[i].hijo2 == NULL){
            printf("-]");
        }
        else{
            printf("%d]",(*(A[i].hijo2)).valor);
        }

    }
    printf("\n");
}

void INIC_ARBOL(Arreglo A, int longitud){
    int i;
    for(i = 0; i < longitud; i++){
        if(2*i + 1 < longitud)
            A[i].hijo1 = &A[2*i + 1];
        if(2*i + 2 < longitud)
            A[i].hijo2 = &A[2*i + 2];
    }
}


void FREE_ARBOL(Arreglo A, int longitud){
    int i;
    for(i = 0; i < longitud; i++){
        free(A[i].hijo1);
        free(A[i].hijo2);
    }
    free(A);
}

Я создал коллекцию структур (Nodo); у каждого есть два указателя, которые инициализируются функцией INIC_ARBOL. Я попытался распечатать, а затем освободить их с помощью FREE_ARBOL, и тут обнаружилось:

[3,6,7][6,5,3][7,5,6][5,2,9][3,1,-][5,-,-][6,-,-][2,-,-][9,-,-][1,-,-]
*** Error in `./a.out': free(): invalid pointer: 0x0000000000a31028 ***
======= Backtrace: =========
/lib/x86_64-linux-gnu/libc.so.6(+0x77725)[0x7f3f8adea725]
/lib/x86_64-linux-gnu/libc.so.6(+0x7ff4a)[0x7f3f8adf2f4a]
/lib/x86_64-linux-gnu/libc.so.6(cfree+0x4c)[0x7f3f8adf6abc]
./a.out[0x40096b]
./a.out[0x400696]
/lib/x86_64-linux-gnu/libc.so.6(__libc_start_main+0xf0)[0x7f3f8ad93830]
./a.out[0x400579]
======= Memory map: ========
00400000-00401000 r-xp 00000000 08:0a 140095                             /home/luis/Documentos/Programacion/C/a.out
00600000-00601000 r--p 00000000 08:0a 140095                             /home/luis/Documentos/Programacion/C/a.out
00601000-00602000 rw-p 00001000 08:0a 140095                             /home/luis/Documentos/Programacion/C/a.out
00a31000-00a52000 rw-p 00000000 00:00 0                                  [heap]
7f3f84000000-7f3f84021000 rw-p 00000000 00:00 0 
7f3f84021000-7f3f88000000 ---p 00000000 00:00 0 
7f3f8ab5d000-7f3f8ab73000 r-xp 00000000 08:09 135547                     /lib/x86_64-linux-gnu/libgcc_s.so.1
7f3f8ab73000-7f3f8ad72000 ---p 00016000 08:09 135547                     /lib/x86_64-linux-gnu/libgcc_s.so.1
7f3f8ad72000-7f3f8ad73000 rw-p 00015000 08:09 135547                     /lib/x86_64-linux-gnu/libgcc_s.so.1
7f3f8ad73000-7f3f8af33000 r-xp 00000000 08:09 141748                     /lib/x86_64-linux-gnu/libc-2.23.so
7f3f8af33000-7f3f8b132000 ---p 001c0000 08:09 141748                     /lib/x86_64-linux-gnu/libc-2.23.so
7f3f8b132000-7f3f8b136000 r--p 001bf000 08:09 141748                     /lib/x86_64-linux-gnu/libc-2.23.so
7f3f8b136000-7f3f8b138000 rw-p 001c3000 08:09 141748                     /lib/x86_64-linux-gnu/libc-2.23.so
7f3f8b138000-7f3f8b13c000 rw-p 00000000 00:00 0 
7f3f8b13c000-7f3f8b162000 r-xp 00000000 08:09 141744                     /lib/x86_64-linux-gnu/ld-2.23.so
7f3f8b340000-7f3f8b343000 rw-p 00000000 00:00 0 
7f3f8b35e000-7f3f8b361000 rw-p 00000000 00:00 0 
7f3f8b361000-7f3f8b362000 r--p 00025000 08:09 141744                     /lib/x86_64-linux-gnu/ld-2.23.so
7f3f8b362000-7f3f8b363000 rw-p 00026000 08:09 141744                     /lib/x86_64-linux-gnu/ld-2.23.so
7f3f8b363000-7f3f8b364000 rw-p 00000000 00:00 0 
7fffddc61000-7fffddc82000 rw-p 00000000 00:00 0                          [stack]
7fffddd39000-7fffddd3b000 r--p 00000000 00:00 0                          [vvar]
7fffddd3b000-7fffddd3d000 r-xp 00000000 00:00 0                          [vdso]
ffffffffff600000-ffffffffff601000 r-xp 00000000 00:00 0                  [vsyscall]
Abortado (`

Core 'generado)

У меня нулевые знания о таких инструментах, как valgrind, поэтому, если бы вы могли медленно объяснить мне, что делать, чтобы исправить, я был бы признателен.

3
lvl 7 Сен 2016 в 18:18

3 ответа

Лучший ответ

В этой функции

Arreglo INIC_ARR(int longitud){
    int i;
    Arreglo A = (Arreglo)calloc(longitud,sizeof(Nodo));
    for(i = 0; i < longitud; i++){
        A[i].valor = rand()%10;
    }
    return A;
}

Выделяется один объем памяти с помощью оператора

Arreglo A = (Arreglo)calloc(longitud,sizeof(Nodo));

Вы не можете освобождать элементы динамически выделяемого массива

void FREE_ARBOL(Arreglo A, int longitud){
    int i;
    for(i = 0; i < longitud; i++){
        free(A[i].hijo1);
        free(A[i].hijo2);
    }
    free(A);
}

Потому что они являются частями экстента и не распределяются динамически.

1
Vlad from Moscow 7 Сен 2016 в 15:24

Краткая история: у вас есть только один calloc, поэтому у вас должен быть только один free.

Кроме того, поскольку у вас есть эти if (например, if (2*i + 1 < longitud)) внутри INIC_ARBOL, половинные узлы в вашем массиве даже ни на что не указывают. И я бы полностью удалил typedef Nodo *Arreglo и просто использовал бы Node* в остальной части кода, это значительно упростило бы чтение кода.

1
Groo 7 Сен 2016 в 15:35

Не передавайте то, что не возвращается ни функциями управления памятью, ни нулевым указателем, иначе вы вызовете неопределенное поведение .

Удалите проблемную часть

for(i = 0; i < longitud; i++){
    free(A[i].hijo1);
    free(A[i].hijo2);
}

Из функции FREE_ARBOL().

1
MikeCAT 7 Сен 2016 в 15:25