Как линковщик производит подстановку функций из динамических библиотек?

Question

[beduin01]

Предположим я хочу вынести в библиотеку функцию foo. Я вынес ее и в obj файле вижу: `__D3foo12__ModuleInfoZ`
Вопрос если я в своем коде напишу foo() то как линковщик подберет нужную функцию из библиотеки?

Я праивльно понимаю что после манглинга название foo в коде уже не будет существовать?

Компилил при помощи D, но думаю для Си и С++ ситуация похожая.

Comments

[Roman]

https://habr.com/ru/post/150327/

__D3foo12__ModuleInfoZ

x64

0000000000000000 b .bss
0000000000000000 d .data
0000000000000000 p .pdata
0000000000000000 r .rdata$zzz
0000000000000000 t .text
0000000000000000 r .xdata
0000000000000007 T _Z3bari
0000000000000011 T _Z3bazi
0000000000000000 T foo

extern "C"
void foo()
{
}

void bar(int i)
{
}

int baz(int i)
{
   return 42;
}

Answer 1

[Mercury13]

Это называется name mangling — как по-русски, я не знаю, но называю это «козявить имена».

Названия foo в объектных файлах действительно не будет существовать.

Линкер тут ни к чему, имена готовит компилятор. Потому, кстати, в межъязыковых библиотеках стараются имена не козявить.

Чтобы функция называлась именно так, как надо, в Си++ есть ключевое слово extern "C", и часто его применяют, например, при экспорте в межъязыковой DLL, при интеграции Си-кода с Си++. Что в Ди, не знаю.
В Си такого точно нет, как ты назвал, так и называются.

Линкер, конечно, может каким-то образом подхватывать DLL (так работает LD), но это очень не стандартно — при переходе с LD на LLD пришлось готовить *.a для всех имеющихся DLL. Но в любом случае именами занимается компилятор.

Comments

[beduin01]

Правильно понимаю, что линкер вклеивает foo в нужное место? И делает это как раз на основании совпадения имени?

[Mercury13]

beduin01, Совершенно верно. Он собирает функции в exe-файл, и делает это по совпадению имён.

[Mercury13]

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

[tugo]

name mangling - декорация имен

Answer 2

[tsarevfs]

Как уже сказал Mercury13 манглинг выполняется компилятором. Нужен он чтобы перегрузки функций и методы классов превращались в отдельные символы. И чтобы библиотеку можно было подключить, манглинг должен происходить по единому стандарту. В вашем случае линковщик и будет искать __D3foo12__ModuleInfoZ.
Но линковщик подставляет тело функции только для статических библиотек (.lib/.a).
Динамические библиотеки (.dll/.so) по определению должны загружаться во время старта или в процессе работы программы.
Этим занимается динамический загрузчик. Он так же выполняет поиск по уже преобразованному имени.