指向包含指向包含结构的指针的结构的嵌套指针？

Question

首先，我有一个结构：

typedef struct {
    int type;
    union expr value;
}lval;

和联合定义如下以节省空间：

union expr{
    long num;
    char* err;
    char* sym;
    sexpr* sexpr1;
};

在sexpr* 中是

typedef struct {
    int count;
    struct lval** cell;
}sexpr;

我尝试如下使用，

void lval_del(lval* v){
     lval_del(v->value.sexpr1->cell[i]); 
}

但是我的编译器给了我一个警告：

参数类型不匹配：不兼容 指针类型 'lval *' 和 'struct anonymous::lval *'。

当我尝试如下代码时

lval* lval_add(lval* v,lval* x) {
    v->value.sexpr1->cell = realloc(v->value.sexpr1->cell, sizeof(lval*)*v->value.sexpr1->count);
    v->value.sexpr1->cell[v->value.sexpr1->count-1]=x;
    return v;
}

我收到同样的警告。

我忽略了警告并成功编译它，但是当我运行它时，它崩溃了。我认为这是导致警告的问题。我该如何解决？

编辑：我编译的完整代码如下：

typedef struct {
   int count;
   struct lval** cell;
}sexpr;

union expr{
    long num;
    char* err;
    char* sym;
    sexpr* sexpr1;
};

typedef struct {
    int type;
    union expr value;
}lval;

void lval_del(lval* v){
    switch (v->type) {
        case LVAL_NUM:
            break;
        case LVAL_ERR:
            free(v->value.err);
            break;
        case LVAL_SYM:
            free(v->value.sym);
            break;
        case LVAL_SEXPR:
            for (int i=0;i<v->value.sexpr1->count;i++){
                lval_del(v->value.sexpr1->cell[i]);
            }
            free(v->value.sexpr1->cell);
        default:break;
    }
}

lval* lval_add(lval* v,lval* x) {
    v->value.sexpr1->count ++;
    v->value.sexpr1->cell = realloc(v->value.sexpr1->cell,sizeof(lval*)*v->value.sexpr1->count);
    v->value.sexpr1->cell[v->value.sexpr1->count-1]=x;
    return v;
}

编辑：7.24 我通过按此顺序定义它们来终止警告。复杂的结构对我来说是一场噩梦，我放弃了尝试处理指针问题。下面是我的新代码，仍然有错误的指针。

struct init_lval;
struct init_sexpr;
typedef struct init_sexpr sexpr;
union expr{
    long num;
    char* err;
    char* sym;
    sexpr* sexpr1;
};
typedef struct init_lval lval;

struct init_lval
{
    int type;
    union expr value;
};

struct init_sexpr{
   int count;
   lval** cell;
};
lval* lval_add(lval* v, lval* x) {
    v->value.sexpr1->count ++;
    v->value.sexpr1->cell = realloc(v->value.sexpr1->cell,sizeof(lval*)*v->value.sexpr1->count);
    v->value.sexpr1->cell[v->value.sexpr1->count-1]=x;
    return v;
}
void lval_del(lval* v){
    switch (v->type) {
        case LVAL_NUM:
            break;
        case LVAL_ERR:
            free(v->value.err);
            break;
        case LVAL_SYM:
            free(v->value.sym);
            break;
        case LVAL_SEXPR:
            for (int i=0;i<v->value.sexpr1->count;i++){
                lval_del(v->value.sexpr1->cell[i]);
            }
            free(v->value.sexpr1->cell);
            free(v->value.sexpr1);
        default:break;
    }
    free(v);
}

Answer 1

struct lval** cell; 无效，你没有struct lval，你typedefed 一个匿名结构到lval。

改成lval **cell;

您也不要在 add 函数中增加 v->value.sexpr1->count，因此它总是会写入相同的位置。

Answer 2

这里的问题在于 realloc。您正在尝试重新分配从未分配过的内存。此外，在v->value.sexpr1->cell等表达式中使用之前，您需要为sexpr1分配内存

试试这个：

lval* lval_add(lval* v,lval* x) {
    v->value.sexpr1->count ++;
    if(v->value.sexpr1->cell == NULL) {
        v->value.sexpr1->cell = malloc(sizeof(lval*)*v->value.sexpr1->count);
    } else {
        v->value.sexpr1->cell = realloc(v->value.sexpr1->cell,sizeof(lval*)*v->value.sexpr1->count);
    }
    v->value.sexpr1->cell[v->value.sexpr1->count-1]= (struct lval*)x;
    return v;
}

并初始化传递给lval_add的lval，如下所示：

lval *z = malloc(sizeof(lval));
z->value.sexpr1 = malloc(sizeof(sexpr));
z->value.sexpr1->cell= NULL;

希望这会有所帮助！

Answer 3

参数类型不匹配：指针类型 'lval *' 和 'struct anonymous::lval *' 不兼容。

上面的警告是因为你有一个匿名结构。试试：

typedef struct lval {
    int type;
    union expr value;
};

这至少应该解决这个警告。