Кто-нибудь знает, почему это успешно компилируется?

Question

int main()
{
   // forward declaration
   struct myStruct_st *mS; // Note that this will expand as "struct struct myStruct_st *mS which does not make any sense to me"

   return 0;
}

// definition of myStruct_s
typedef struct myStruct_s
{
   int x;
   int y;
} myStruct_st;

Я понимаю, что myStruct_s - это структура, которую необходимо объявить впередУ меня была эта опечатка в моем коде, который, казалось, компилировался.Интересно, как, хотя.Кто-нибудь знает?

Answer 1

Локальная структура не имеет ничего общего с со структурой, определенной вне main(). В main() вы (forward-) объявляете структуру, определяете указатель на эту структуру и никогда не определяете структуру. Это совершенно нормально. Так получилось, что вы определили структуру с тем же именем за пределами main().

Answer 2

Я думаю, вы неправильно понимаете, как работает typedef - это не подстановка макросов.

В частности, использование struct myStruct_s после typedef означает , а не так же, как«struct struct myStruct_s» - это просто struct myStruct_s, как написано на лице.В typedef вводится токен, который можно использовать вместо struct ..., но он не расширяется как макрос и не «стирает» объявление struct ..., которое все еще можно использовать.