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

@subzirro · Регистрация: 08.01.2013

Здравствуйте!

Помогите, пожалуйста, разобраться со структурами.

Чем отличаются следующие фрагменты, и почему первый не компилируется, а два других компилируются.

C

typedef struct
{
    a2_t* a2;
} a1_t;
 
typedef struct
{
    a1_t* a1;
} a2_t;

C

struct a3_t
{
    struct a4_t* a4;
};
 
struct a4_t
{
    struct a3_t* a3;
};

C

typedef struct _a5_t a5_t;
typedef struct _a6_t a6_t;
 
struct _a5_t
{
    a6_t* a6;
};
 
struct _a6_t
{
    a5_t* a5;
};

Evg · 13.01.2013, 13:00

В первом фрагменте при описании структуры у тебя используется тип a2_t, который в точке описания ещё не определён и компилятор не знает, что туда подставлять. Во втором используется "struct a4_t", которая ещё не определена. Но неопределённую структуру можно использовать при объявлении указателя

Указатель на структуру - что напечатает программа
странное употребления к-го слова typedef

@subzirro · 13.01.2013, 22:10 **[ТС]**

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

Поясните, пожалуйста

C

typedef struct
{
    int x;
} a1_t; // Создаём псевдоним типа с именем a1_t и описанием структуры
 
int main()
{
    struct a1_t* a; // Создаём указатель на неописанную структуру struct a1_t
    return 0;
}

C++

typedef struct
{
    int x;
} a1_t; // Создаём тип с именем a1_t и struct a1_t
 
int main()
{
    struct a1_t* a; // Что происходит тут?
    return 0;
}

Для кода на C++, в строке 8

Evg · 13.01.2013, 23:15

Сообщение от subzirro

Но современные компиляторы вроде многопроходные

Многопроходность компиляторов вообще не при чём. Компиляторы работают так, как написано в стандарте Си

Сообщение от subzirro

Для кода на C++, в строке 8

В строке 4 комментарий неверный. Там только тип с именем a1_t и никакого типа "struct a1_t". По поводу строки 8 - всё же было написано в ссылке из поста #2: создаётся незаполненная структура "struct a1_t" и указатель на неё

Evg 19634 / 7326 / 551 Регистрация: 30.03.2009 Сообщений: 20,488 Записей в блоге: 30
	13.01.2013, 13:00	2
	В первом фрагменте при описании структуры у тебя используется тип a2_t, который в точке описания ещё не определён и компилятор не знает, что туда подставлять. Во втором используется "struct a4_t", которая ещё не определена. Но неопределённую структуру можно использовать при объявлении указателя Указатель на структуру - что напечатает программа странное употребления к-го слова typedef 0

Evg 19634 / 7326 / 551 Регистрация: 30.03.2009 Сообщений: 20,488 Записей в блоге: 30
	13.01.2013, 23:15	4
	Сообщение от subzirro Но современные компиляторы вроде многопроходные Многопроходность компиляторов вообще не при чём. Компиляторы работают так, как написано в стандарте Си Сообщение от subzirro Для кода на C++, в строке 8 В строке 4 комментарий неверный. Там только тип с именем a1_t и никакого типа "struct a1_t". По поводу строки 8 - всё же было написано в ссылке из поста #2: создаётся незаполненная структура "struct a1_t" и указатель на неё 1

Опции темы