[GMP lib：mpz_clear（）在通过引用传递并使用malloc分配所有内容后出现内存管理问题

Question

我正在尝试使用mpz_t数组。我将两个数组set_e1和set_e2传递给一个函数，该函数将初始化它们并用mpz_t整数填充（在我的代码中称为“签名”）。

如文档所述，我们可以使用mpz_clear（）释放mpz_init（）分配的内存。当我在函数内部清除时，此方法效果很好，而不是在函数（free() invalid pointer）之后使用它们。随着所有内容的动态分配，我应该可以在函数之后访问它。

我不确定我在做什么错，如果在generate_training_sets中使用mpz_clear会起作用，但如果在调用main之后在generate_training_sets中使用它，为什么mpz_clear也不会起作用。

这里是代码：

unsigned long generate_training_sets(mpz_t *set_e1, mpz_t *set_e2) {
    char        *samples_dir[2] = {SAMPLE_PATH_1, SAMPLE_PATH_2};
    long        nb_samples = 0;
    char        *filename = NULL;
    attributes  *ref_b = load_attributes("out_b");
    attributes  *ref_m = load_attributes("out_m");

    for (size_t i = 0; i < 2; i++) {
        nb_samples += d_nb_files(samples_dir[i]);
    }

    set_e1 = malloc(nb_samples * sizeof(mpz_t));
    set_e2 = malloc(nb_samples * sizeof(mpz_t));

    if (!set_e1 || !set_e2) {handle_error("malloc sets");}

    for (size_t i = 0; i < nb_samples; i++) {
        mpz_init2(set_e1[i], MAX_SIG_SIZE); // MAX_SIG_SIZE 6000
        mpz_init2(set_e2[i], MAX_SIG_SIZE);
    }

    int j = 0;

    for (size_t i = 0; i < 2; i++) {
            mpz_t   *sig_ex = malloc(sizeof(mpz_t));
            mpz_t   *sig_g = malloc(sizeof(mpz_t));

            if (!sig_exports || !sig_5grams) handle_error("Malloc signatures");

            mpz_init(*sig_ex);
            mpz_init(*sig_g);
            get_signature_ex("somepath", ref, *sig_ex);
            get_signature_g("somepath", ref, *sig_g);

            mpz_set(set_e1[j], *sig_ex);
            mpz_set(set_e2[j], *sig_g);


    }
    ref_b->free(ref_b);
    ref_m->free(ref_m);
    return nb_samples;
}

int main(int argc, char const *argv[]) {
    mpz_t           *set_e1;
    mpz_t           *set_e2;
    unsigned long   nb_samples = 0;

    nb_samples = generate_training_sets(set_e1, set_e2);


    // for (size_t i = 0; i < nb_samples; i++) {
    // print_sig(set_e1[i]); // doesn't work outside the function too for some reason?
    // }

    /* clear stuff */
    for (size_t i = 0; i < nb_samples; i++) {
        printf("%ld\n", i);
        mpz_clear(set_e1[i]);
        mpz_clear(set_e2[i]);
    }
    return 0;
}

Answer 1

我发现的一种解决方案是初始化mpz_t数组之前使用以下方法将其传递给我的函数：

    mpz_t   *set_1 = malloc(nb_samples * sizeof(mpz_t));
    mpz_t   *set_2 = malloc(nb_samples * sizeof(mpz_t));

这也允许对它们使用mpz_clear方法。