6

Вопрос насчет теории языков с/с++. Например, если я подключаю математические функции через #include <math.h>, и использую только одну какую-нибудь функцию (допустим, sin), то бинарный файл итоговой программы будет содержать все функции из <math.h> или только одну функцию sin?

13
  • о какой памяти вы спрашиваете? Commented 2 авг. 2017 в 10:53
  • 5
    Линковщик оставит лишь то, что используется (справедливо для статической линковки). Если нужны уточнения, пишите в комментариях к ответу, не нужно редактировать вопрос с обращениями к отвечающим.
    – ixSci
    Commented 2 авг. 2017 в 12:36
  • 1
    Тут вопрос в том, что и как используется. К примеру, есть у нас некоторая библиотека (пусть это будет Qt). У нас есть 2 варианта её использования: либо мы используем DLL/SO/DYLIB (динамическая версия библиотеки), либо же LIB/A (статическая версия). В первом случае, мы не может уменьшить размер — мы всегда таскаем с собой динамическую версию, а во втором можем — линкёр видит все места использования функций и может исключить из результирующего исполняемого файла те функции, что не используются.
    – ixSci
    Commented 2 авг. 2017 в 13:35
  • 1
    Поэтому, в общем случае, код слинкованный с библиотекой статически даст выходной размер программы меньше, чем если бы использовалась динамическая версия оной. Но это лишь одна сторона медали, есть и другие — это довольно обширная тема. А по вашему вопросу, всё зависит от того, какая версия библиотеки используется компилятором и что вообще за библиотеки нужны результирующему бинарнику (они зависят от используемого компилятора).
    – ixSci
    Commented 2 авг. 2017 в 13:38
  • 1
    @KtoTo Прошу вас, дабы не поднимать здесь очередную holy war, снять птичку с моего ответа, а я его удалю. Не вижу смысла во вселенской буче из-за спора, с какой стороны разбивать яйцо :)
    – Harry
    Commented 6 авг. 2017 в 13:18

2 ответа 2

10

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

#include <cmath>
int main()
{
    typedef double (*F)(double);
    F f[] = {sin, cos};
}

Я проверил результат сборки с помощью QtCreator и MinGW 5.6.2 32bit на Windows 7 со включенной отладочной информацией. Получил такие результаты:

  • F f[] = {sin, cos}; // 50 031 байт
  • F f[] = {sin, sin}; // 49 546 байт
  • F f[] = {sin, 0}; // 49 546 байт
  • F f[] = {0, 0}; // 48 373 байт

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

В некоторых случаях, чтобы исключение неиспользуемого кода из библиотек было более эффективным, библиотека должна быть собрана с указанием специфических ключей. Например, для Visual C++ таким ключом является /Gy. Он обеспечивает упаковку функций, необходимую компоновщику для достижения желаемого эффекта. Без данного ключа, компоновщик оперирует модулями (объектными файлами), а не функциями внутри библиотеки.

4
  • Нет, просто в библиотеке синус и косинус лежат в разных объектных файлах. Вот он и подсосал в первом случае - 2 файла, во втором и третьем - один, в четвертом - ни одного.
    – Harry
    Commented 3 авг. 2017 в 18:56
  • @Harry может и так, а может и в опциях при сборке библиотеки дело, как это оказалось для VC. Т.о. при правильной настройке сборки библиотеки реально выкинуть всё неиспользуемое, даже внутри одного объектного файла.
    – αλεχολυτ
    Commented 4 авг. 2017 в 10:48
  • Пожалуйста, допишите о ключах и о том, что по умолчанию как минимум в VC++ соответствующий механизм отключен. И, если нетрудно, тогда приведите пример, который нельзя трактовать иначе (тот, что приведен сейчас - можно).
    – Harry
    Commented 7 авг. 2017 в 13:10
  • @Harry, только что сгенерировал новый консольный проект в 2017 студии — /Gy выставлен там по умолчанию.
    – ixSci
    Commented 7 авг. 2017 в 13:23
1

Все, и в EXE и в память процесса соответственно тоже.

Только math.h не библиотека, а заголовочный файл, его подключение само по себе ничего не меняет, это для компилятора, вряд ли там есть что-то компилируемое, это был бы бардак.

Ваш ответ

Нажимая «Отправить ответ», вы соглашаетесь с условиями пользования и подтверждаете, что прочитали политику конфиденциальности.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.