Я создал файл, содержащий следующую строку:
int main() { return 0; }
После компиляции я с удивлением обнаружил, что бинарник этой простой программы составляет 8328 байт! Что здесь происходит и что делает двоичный файл в этих 8328 байтах? Наверняка эта программа может быть выражена всего в нескольких строчках ассемблера.
Примечание. Я скомпилировал это со следующей строкой:
g++ main.cpp
Моя версия g++ g++ (Ubuntu/Linaro 4.6.1-9ubuntu3) 4.6.1
В этом бинарнике много:
file)strip удалит для вас (или свяжите с gcc -s)ldd и strings)argc и argv, а затем вызывает mainmain в операционную систему.Для комического эффекта попробуйте связать эту программу статически, тогда ваш двоичный файл будет включать функции, которые обычно динамически связываются с DLL. (однако этот вариант упростит развертывание)
Сделайте бинарный дамп полученного файла и проверьте его!
В основном это пустое пространство. Данные в двоичном формате организованы в страницы (обычно размером 4096 или 8192 байта). Таким образом страницы могут быть эффективно отображены в память. Обычно первая страница содержит инструкции о том, как загрузить двоичный файл — код находится в этом месте файла и отображается в этом месте, то же самое для данных и т. д. Вторая страница, вероятно, будет вашим кодом, а третья страница будет содержать символы и отладочная информация. Каждая страница, вероятно, в основном пуста.
Не беспокойтесь.
Попробуйте сделать менее тривиальную программу, и вы обнаружите, что размер не сильно отличается, пока ваш код не начнет достигать нескольких сотен килобайт.
Кратко: есть часть стандартной библиотеки, которая составляет «инфраструктуру» между модулями ОС и семантикой C++, которая управляет запуском и завершением программы (все, что инициализирует и уничтожает глобальные переменные, стандартный ввод и вывод и т. д.)
Плюс: все, что сопоставляет символы C++ с адресами памяти (если вам не требовалось удалять это, попробуйте -O3 -s и исключите параметры -g), чтобы отладчик мог показать правильный источник ссылки на код во время выполнения.
Также: из-за того, как организована память, двоичный файл обычно состоит из фрагментов фиксированного размера. Ваша программа может быть даже короче, но должны присутствовать по крайней мере один сегмент кода, один инициализатор сегмента данных и один общий сегмент (для постоянных значений).
