Рефакторинг кода C ++ для использования форвардных объявлений

Все, что связано с точным анализом C ++, требует, по сути, всего внешнего интерфейса C ++ где-то (иначе вы не получите ответов или они будут неправильными, и это плохо работает, когда у вас есть «большие» приложения). Здесь не так много практических ответов.

Уже упоминалось, что GCCXML является производным от GCC пакетом, поэтому он имеет необходимый интерфейс C ++. Он создает XML, поэтому он будет производить БОЛЬШОЙ вывод, который вам нужно будет прочитать, чтобы сформировать «структуру данных в памяти», предложенную в другом ответе. К сожалению, GCCXML уже строит эту структуру данных в памяти, затем экспортирует ее как XML и заставляет вас строить ее заново. Конечно, вы можете просто использовать GCC, который строит структуру данных в памяти, но тогда вам нужно взломать GCC, чтобы он был тем, что вы хотите, и он действительно, действительно хочет быть компилятором. Это означает, что вам придется сражаться за то, чтобы подчинить его своей воле (и объясняет, почему существует GCCXML: большинство людей не хотят этого боя).

Не упоминается интерфейс Edison Design Group C ++ (EDG), который строит его напрямую в структуре данных памяти. Это передняя часть; вам придется делать весь анализ самостоятельно, но ваша задача может быть достаточно простой, так что это не сложно.

Последнее известное мне решение - мое: C ++ FrontEnd для DMS. DMS является основой для построения анализа программ, а его C ++ FrontEnd - это полный интерфейс для C ++ (например, делает все, что делают внешние интерфейсы GCC и Edison: синтаксический анализ, построение дерева, разрешение имени / типа). И вам придется закодировать свой специальный анализ во многом так же, как для GCCXML и EDG, пройдя по структурам данных «в памяти», созданным DMS.

Что действительно отличается, так это то, что DMS можно затем использовать для фактического изменения исходного кода путем обновления тех, которые находятся в структурах данных в памяти, и восстановления компилируемого кода из этих структур памяти, включая исходные комментарии.

Я не уверен, что вы найдете что-нибудь, что делает это из коробки, но одним из вариантов было бы написать скрипт с использованием Python и pygccxml, который может провести за вас часть этого анализа.

По сути, вы должны использовать pygccxml для построения графика исходного кода в памяти, а затем использовать его для запроса ваших классов и функций, чтобы узнать, что им действительно нужно включить для работы.

Так, например, вы можете спросить каждый класс, дать мне члены, которые являются типами указателей: тогда для каждого из этих типов указателей вы можете определить, использовался ли реальный экземпляр (не указатель) класса в интерфейсе, а если не вы может пометить его как кандидата на форвардное объявление.

Обратной стороной является то, что для создания сценария потребуется некоторое время, поэтому стоимость может перевесить преимущества, но, по крайней мере, это будет интересное упражнение. Вы можете опубликовать свой код в Github, если у вас есть что-то, что работает, и, возможно, другие сочтут это полезным.

Что вы можете сделать, так это вызвать gcc с -MM. Это создаст файлы зависимостей, которые Make может читать. Вместо того, чтобы использовать их, вы можете проанализировать их (с помощью perl или чего-то еще), чтобы определить, какие включения необходимы, а какие можно заменить прямыми объявлениями.