Порядок статических библиотек при компоновке: выясните, откуда появляется неразрешённый символ

Что это такое

Документация GCC по параметрам компоновки указывает, что компоновщик обрабатывает библиотеки и объектные файлы в заданном порядке. В её примере поиск в библиотеке выполняется до того, как последующий объектный файл вводит ссылку, и эта ссылка остаётся неразрешённой. Поэтому наличие архива на диске не подтверждает, что нужный элемент архива был выбран в нужный момент. GCC link options

Почему это важно

Когда агент видит неопределённый символ, добавление ещё одного пути к библиотеке — лишь один из возможных ответов. Символ может отсутствовать, называться иначе или запрашиваться после того, как его архив уже был рассмотрен. Если разделять эти объяснения, команда компоновки не будет разрастаться и становиться непрозрачной из-за повторяющихся догадок.

Как применять

• Зафиксируйте полную команду неудачной компоновки, включая содержимое файлов ответов там, где сборка делает его доступным. Различайте входные объектные файлы, архивы, динамические библиотеки и пути поиска.
• Выберите один неразрешённый символ и определите объектный файл, который на него ссылается. Изучите предполагаемый архив, чтобы подтвердить наличие подходящего определения; сохраните точное написание символа в диагностической заметке.
• В простом случае без циклов расположите зависимые входные файлы перед архивом, предоставляющим определения для их неразрешённых ссылок. Выразите эту связь в системе сборки, а не исправляйте сгенерированную команду.
• Сведите сложную ошибку к небольшому вызывающему коду и нужной ему библиотеке. Сравните успешную сокращённую команду с реальной, чтобы найти дополнительные зависимости.
• Предложите проверку из чистого дерева сборки и на каждом поддерживаемом семействе компоновщиков. Сохраняйте минимальный тестовый пример только в том случае, если он защищает реальный поддерживаемый сценарий формирования пакета.

Подводные камни

Правила порядка зависят от поведения компоновщика и его параметров; не превращайте эту диагностику в универсальное правило для всех платформ с динамическими библиотеками. Циклические зависимости архивов могут требовать документированной стратегии группировки для конкретного компоновщика или исправления архитектуры. Параметр whole-archive с более широким охватом может скрыть исходную проблему зависимостей и меняет состав включаемого содержимого. Эта процедура не заявляет о конкретном ускорении компоновки или уменьшении размера бинарного файла.