Блог

Я получаю этот странный побочный эффект при использовании operator ‘->’ в коде, который я написал на C. Указатель, который я использовал -> on , изменен, чтобы содержать некоторый мусор.

Более конкретно:

У меня есть следующие структуры:

 typedef void* ListElement ;

typedef  struct List_t* List ;

typedef struct Node_t* Node;

Struct Node_t {
  ListElement data ;
  Node next;
}

Struct List_t {
  Node* head;
  Node* current
}
  

когда я использую следующее ListGetFirst() , я получаю проводное поведение :

 ListElement ListGetFirst(List list)
{
  if( list == NULL || list->head==NULL)
  {
    return NULL;
  }
  list->current=list->head;
  Node* head =list->head; // here is the problem
  ListElement data = (*head)->data;
  return data;
}
  

когда я использовал debugger, я выяснил, что список указателей-> head изменен в отмеченной строке, упомянутой выше.

Я действительно понятия не имею, почему, и я не знал, что ‘->’ может иметь побочный эффект

заранее спасибо

Вы уверены, что это именно то, что вы хотите сделать?

 typedef struct Node_t* Node;

Node* head =list->head; 
  

Поскольку вы определили Node как указатель на Node_t, разве вы не должны делать:

 Node head =list->head; 
  

Редактировать:

Подводя итог всему этому, я думаю, что этот typedef вводит вас в заблуждение:

 typedef struct Node_t* Node;
  

Это имело бы больше смысла, если бы это было просто:

 typedef struct Node_t Node;
  

Блин, указатели, скрытые за typedefs; если тип не должен быть полностью непрозрачным, это почти всегда плохой juju. Для моей пользы я собираюсь удалить typedefs, чтобы мне было легче видеть, с чем вы на самом деле играете.

 struct Node_t {   
  void *data ;   
  struct Node_t *next; 
};

struct List_t {   
  struct Node_t **head;   
  struct Node_t **current; 
};

void *ListGetFirst(struct List_t *list)
{
  if( list == NULL || list->head==NULL
  {        
     return NULL;
  }
  list->current=list->head;             
  struct Node_t **head =list->head; // here is the problem
  void *data = (*head)->data;
  return data;           
}           
  

Я ничего не получил. Кажется, что все типы совпадают. -> Оператор, что наиболее важно, не имеет никаких побочных эффектов; все, что он делает, это разыменовывает указатель. Дополнительный уровень косвенности для head и current в struct List_t вызывает недоумение, и это заставляет меня задуматься, правильно ли они распределяются. Все, что я могу понять, это то, что list->head указывает не на память, которой вы на самом деле владеете, и каким-то образом перезаписывается, когда вы достигаете этой точки (IOW, вы вызвали неопределенное поведение где-то еще в вашем коде).

Короче говоря, проблема не в коде, который вы опубликовали. Вероятно, именно здесь вы выделяете и присваиваете элементы списка.

Вы используете указатели на указатели, где, скорее всего, вам нужны указатели.

В List_t вы определяете head как Node*, где Node уже является Node_t * .

hth

Марио