идея касательно реализации виртуальных полей в Си. Наверное, кто-то этой бредовой вещью занимался, вопрос чисто интереса ради. Я подумал, что по сути, когда выполняются виртуальные методы в плюсах, то передают значения по ссылке и происходит адресация на нужные поля. Вот я подобное и решил затестировать на С и накатал вот такой вот код и он работает.
https://pastebin.com/5mw5QawU
Правильно ли я понимаю, что это дело будет работать только в том случае, если не поплыло выравнивание и подобные "виртуальные" поля расположены в строгом порядке во всех подобных структурах и вообще это дело черевато UB. И вообще, такие манёвры хоть где-то используются?
ну тут поля структур полностью идентичны, а дальше ты что с этим собираешься делать? Такие манёвры если и используют где-то, то редко и по особой надобности. И лучше такое не использовать никогда. Проблема в приведении типа адреса структуры (указатель на одну структуру приводится к указателю на совсем другую структуру), это в 95% случаев не работает.
Но, как я понимаю, если структуры совсем индетичны по полям, то должно работать в 100% случаев, кмк. Но вообще, я примерно и предполагал, что хрень какая-то это, хотел уточнить. Просто я слышал, что есть любители писать на С в ООП стиле, и тут подумал, вдруг кто-то подобные конструкции использует для реализации виртуальных методов и т.д. не смотря на то, что смотрится не особо надёжно
ЕМНИП можно кастовать указатель на структуру к типу указателя на её первое поле. Каст должен производиться руками. Тем не менее, strict aliasing rules говорят, что имея два указателя на структуры с разными тэгами, они не могут вести на одну и ту же память.
Обсуждают сегодня