Нет. Структура не может содержать себя. Это просто не имеет никакого смысла, так как результирующий тип будет бесконечно большим.
Другими словами, ваша структура включает в себя экземпляр себя, который, в свою очередь, также включает в себя экземпляр себя, который, в свою очередь, также включает в себя экземпляр себя и т. Д. И т. Д. До бесконечности ...
С формальной точки зрения вы пытаетесь объявить элемент структуры b
, имеющий неполный тип . Недопустимо объявлять члены структуры неполного типа в C.