Ситуация следующая:
file.c:
#include "file.h"
struct s_my_struct
{
// ...
};
file.h:
// Защита от повторного включения, заголовочники...
typedef struct s_my_struct my_struct;
main.c:
#include <stdio.h>
#include <stdlib.h>
#include "file.h"
int main(int argc, char **argv)
{
my_struct m;// Так, ясное дело, нельзя.
my_struct *pm;// Так можно.
pm = (my_struct*)malloc(sizeof(my_struct));// Так тоже нельзя.
pm = (my_struct*) &any_object;// Так можно.
// НО! Мы не можем обращаться к полям структуры при помощи
// pm->, потому что описание структуры нам неизвестно...
}
Вопросы такие:
Является ли вообще корректным поведением то, что компилятор даже не дает предупреждения о том, что мы объявляем указатель на тип, который в принципе неизвестен, через его синоним? Или это очередная дыра языка?
Если это корректно, то для чего такое дело ввели в язык? Как это использовать? Какие полезные вещи становятся возможны благодаря этому?
Ну и если это корректно, то в каком месте Стандарта искать описание того, что за магию мы делаем, и как она обрабатывается при компиляции?