Как линковщик ищет функции?

Question

[evg_96]

Как я понял объявление функции находится в файле stdio.h (Какое то необычное объявление функции)

_Check_return_opt_
_CRT_STDIO_INLINE int __CRTDECL printf(
    _In_z_ _Printf_format_string_ char const* const _Format,
    ...)

А где находится само определение функции? (Ну и где локально находится stdio.h).
На каком этапе в программе будет присутствовать исходный код упомянутой функции? И в каком виде, уже в бинарном, asm или на С?

Answer 1

[al_sh]

исходный код присутствовать не будет. на этапе линковки объектный код будет прилинкован к объектному коду вашей программы. объектный код printf является частью стандартной библиотеки с/с++ libc/glibc

Answer 2

[Antony]

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

Answer 3

[CityCat4]

У меня другое определение :) - а это я не знаю, откуда Вы такое добыли.
Ведро 4.14.52, glibc 2.26-r7, Calculate Linux 17

extern int printf (const char *__restrict __format, ...);

То же самое - ведро 2.6.32-696, glibc 2.12, CentOS 6.10

extern int printf (__const char *__restrict __format, ...);

Локально stdio.h находится там же, где и все - в /usr/include. Исходный код данной функции никогда в программе присутствовать не будет. Вообще. Код stdio() находится в glibc, которая находится соответственно в /lib64 (для 32-битных систем - в /lib). Если очень хочется посмотреть на ее исходник - качайте исходник glibc.

Comments

[evg_96]

CityCat4

Исходный код данной функции никогда в программе присутствовать не будет.

А как тогда функция будет вызываться без ее определения? Инструкции функции каким то образом должны же в итоге оказаться в моей программе...либо я вас не правильно понял.

[CityCat4]

evg_96, Определение функции есть. Оно приведено выше :) "Функция принимающая переменное число аргументов, из которых первый есть ссылка на строку и возвращающая результат типа int и расположенная вне данного файла"
Когда линкер будет собирать Вашу программу, он проверит, что одна из библиотек (а libc включается по умолчанию) экспортирует описание функции printf и построит программу так, что при вызове printf() в Вашей программе фактически управление будет передано коду, находящемуся в libc.

Если взять ldd и посмотреть структуру самой простяцкой программы (например, импортированного из FreeBSD jot, который собирался командой
gcc -L/usr/lib64 -o jot jot.o -lbsd) - получим:

# ldd jot 
        linux-vdso.so.1 (0x00007ffcd43e7000)
        libbsd.so.0 => /usr/lib64/libbsd.so.0 (0x00007f6b9f4e1000)
        libc.so.6 => /lib64/libc.so.6 (0x00007f6b9f119000)
        librt.so.1 => /lib64/librt.so.1 (0x00007f6b9ef11000)
        /lib64/ld-linux-x86-64.so.2 (0x00007f6b9f8fd000)
        libpthread.so.0 => /lib64/libpthread.so.0 (0x00007f6b9ecf1000)

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