ПостНаследование в чистом C: одно правило, и всё работает

Наследование в чистом C: одно правило, и всё работает В C нет классов, но наследование можно собрать вручную. Правило одно: родительская структура должна стоять первым полем дочерней. struct Animal { int age; char name[32]; }; struct Dog { struct Animal base; // обязательно первым char breed[32]; }; struct Dog d = { {3, "Rex"}, "Labrador" }; print_animal((struct Animal *)&d); // работает Почему это законно: стандарт C гарантирует, что в начале структуры нет паддинга, а указатель на структуру, приведённый к нужному типу, указывает на её первое поле. Поэтому &d и &d.base это один и тот же адрес, и функция, которая ждёт Animal*, спокойно работает с Dog. Это не трюк из головоломок, а основа реальных систем. Так устроены объекты в CPython, где каждая структура начинается с PyObject_HEAD, так же работают GObject в GTK и многие структуры ядра Linux. Если родитель лежит не первым полем, ядро достаёт его через макрос container_of. Есть важная оговорка: обратное приведение Animal* в Dog* корректно, только если объект действительно Dog. Компилятор этого не проверит, и ошибка здесь превращается в тихое повреждение памяти.