самоссылочное определение структуры?

Question

Я давно не пишу C, и поэтому я не уверен, как мне поступить, выполняя подобные рекурсивные действия ... Я хотел бы, чтобы каждая ячейка содержала другую ячейку, но я ошибка в строках "поля 'child' имеет неполный тип". Что случилось?

typedef struct Cell {
  int isParent;
  Cell child;
} Cell;

Answer 1

Очевидно, что ячейка не может содержать другую ячейку, поскольку она становится бесконечной рекурсией.

Однако ячейка МОЖЕТ содержать указатель на другую ячейку.

typedef struct Cell {
  bool isParent;
  struct Cell* child;
} Cell;

Answer 2

В C вы не можете ссылаться на typedef, который вы создаете, внутри самой структуры. Вы должны использовать имя структуры, как в следующей тестовой программе:

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

typedef struct Cell {
  int cellSeq;
  struct Cell* next; /* 'tCell *next' will not work here */
} tCell;

int main(void) {
    int i;
    tCell *curr;
    tCell *first;
    tCell *last;

    /* Construct linked list, 100 down to 80. */

    first = malloc (sizeof (tCell));
    last = first;
    first->cellSeq = 100;
    first->next = NULL;
    for (i = 0; i < 20; i++) {
        curr = malloc (sizeof (tCell));
        curr->cellSeq = last->cellSeq - 1;
        curr->next = NULL;
        last->next = curr;
        last = curr;
    }

    /* Walk the list, printing sequence numbers. */

    curr = first;
    while (curr != NULL) {
        printf ("Sequence = %d\n", curr->cellSeq);
        curr = curr->next;
    }

    return 0;
}

Хотя в стандарте это, вероятно, намного сложнее, чем это, вы можете считать его компилятором, который знает о struct Cell в первой строке typedef, но не знает о tCell до последней строки: -) Вот как я помню это правило.

Answer 3

С теоретической точки зрения, Языки могут поддерживать только ссылочные структуры, но не включающие их сами.

Answer 4

Есть способ обойти это:

struct Cell {
  bool isParent;
  struct Cell* child;
};

struct Cell;
typedef struct Cell Cell;

Если вы объявите это так, это правильно сообщит компилятору, что struct Cell и plain-ol'-cell одинаковы. Таким образом, вы можете использовать Cell, как обычно. Тем не менее, все же придется использовать struct Cell внутри самого исходного объявления.

Answer 5

Я знаю, что этот пост старый, однако, чтобы получить эффект, который вы ищете, вы можете попробовать следующее:

#define TAKE_ADVANTAGE

/* Forward declaration of "struct Cell" as type Cell. */
typedef struct Cell Cell;

#ifdef TAKE_ADVANTAGE
/*
   Define Cell structure taking advantage of forward declaration.
*/
struct Cell
{
   int isParent;
   Cell *child;
};

#else

/*
   Or...you could define it as other posters have mentioned without taking
   advantage of the forward declaration.
*/
struct Cell
{
   int isParent;
   struct Cell *child;
};

#endif

/*
    Some code here...
*/

/* Use the Cell type. */
Cell newCell;

В любом из двух случаев, упомянутых во фрагменте кода выше, вы ДОЛЖНЫ объявить свою дочернюю структуру Cell как указатель. Если вы этого не сделаете, вы получите сообщение об ошибке «поле 'child' имеет неполный тип». Причина в том, что "struct Cell" должна быть определена, чтобы компилятор знал, сколько места выделяется при его использовании.

Если вы попытаетесь использовать "struct Cell" внутри определения "struct Cell", то компилятор еще не может знать, сколько места занимает "struct Cell". Однако компилятор уже знает, сколько места занимает указатель, и (с предварительным объявлением) он знает, что «Cell» является типом «struct Cell» (хотя он еще не знает, насколько велик «struct Cell»). ). Таким образом, компилятор может определить «Cell *» в структуре, которая определяется.

Answer 6

Давайте пройдемся по базовому определению typedef. typedef используется для определения псевдонима для существующего типа данных, определенного пользователем или встроенным.

typedef <data_type> <alias>;

например

typedef int scores;

scores team1 = 99;

Здесь путаница с само-ссылочной структурой, из-за члена того же типа данных, который не был определен ранее. Таким образом, вы можете написать свой код следующим образом: -

//View 1
typedef struct{ bool isParent; struct Cell* child;} Cell;

//View 2
typedef struct{
  bool isParent;
  struct Cell* child;
} Cell;

//Other Available ways, define stucture and create typedef
struct Cell {
  bool isParent;
  struct Cell* child;
};

typedef struct Cell Cell;

Но последний вариант увеличивает количество лишних строк и слов, обычно мы этого не хотим (мы так ленивы, вы знаете;)). Так что предпочитаю View 2.

Answer 7

Другой удобный метод - предварительно определить структуру с помощью тега структуры как:

//declare new type 'Node', as same as struct tag
typedef struct Node Node;
//struct with structure tag 'Node'
struct Node
{
int data;
//pointer to structure with custom type as same as struct tag
Node *nextNode;
};
//another pointer of custom type 'Node', same as struct tag
Node *node;

Answer 8

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

очень важно отметить, что структуры являются типами 'значений', то есть они содержат фактическое значение, поэтому, когда вы объявляете структуру, компилятор должен решить, сколько памяти выделить его экземпляру, чтобы он прошел через все свои члены и складывает свою память, чтобы выяснить всю память структуры, но если компилятор обнаружил экземпляр той же структуры внутри, то это парадокс (то есть, чтобы узнать, сколько занимает структура памяти A, вы должны решить, сколько структуры памяти занимает!).

Но ссылочные типы различны, если структура «A» содержит «ссылку» на экземпляр своего собственного типа, хотя мы еще не знаем, сколько памяти выделено для него, мы знаем, сколько памяти выделено по адресу памяти (т.е. ссылка).

НТН

Answer 9

Структура, которая содержит ссылку на себя. Это часто встречается в структуре, которая описывает узел для списка ссылок. Каждому узлу нужна ссылка на следующий узел в цепочке.

struct node
{
       int data;
       struct node *next; // <-self reference
};