exeファイルはどのdllを参照すべきか、知っているのでしょうか。

質問

dllとは、プログラムが実行時に参照するものですよね。
よく使われる機能があらかじめ作られているものですよね。

私はＣ言語しか知らないので、Ｃ言語でプログラミングすることで話を進めさせてください。
（とは言っても、ごく初歩的なプログラムが組めるだけの素人です。）
ＯＳはWindowsということにします。

Ｃ言語は、関数の集まりでソースが書かれています。
dllも、中身に関数の実体が記述されている、そういうイメージでしょうか。

私がもっと勉強して、複雑なプログラムを組んだりすると、
「あ、これはdllに実体がある機能だから、いちいち実装を書かなくてもいいんだな」
と考えて、ソースファイル（　～.c　）の中でその関数を使うだろうと思います。

私がよくわからないのはここからです。
dllにある関数をソースで使って、無事コンパイルして、さあリンクしてexeを作りましょう、
というときに、リンカ（リンクを行うプログラム）は、
「そんな関数、実体がないぞ」
って文句を言ってこないのでしょうか。

いや、リンカは、dllに実体がある関数だということを知っているはず。
でもそれって、いちいち
「この関数はどこどこにある　○○.dll　というdllに書いてあります」
というふうに、リンカに教えてあげなくてはいけないのでしょうか。
（それってまさか、ソースに書くわけじゃないですよね？　）

それから、
exeファイルっていうのは「この機能はdllに行わせる機能だ」ということを知っているのでしょうか。

dllに行わせる機能だということを知っているとしても、
どのディレクトリにある　なんと言う名のdllに　その機能が書かれていることまで知っているのでしょうか。
（でもそこまで知っていたら逆に、ディレクトリ構成の違うマシンでは実行できなくなってしまうし。）

そういうような原理的なことを教えてください。

回答No.3

fatal_error

横槍気味の解説ですが...

ダイナミックリンクがよくわからなくなるのは
「関数のポインタ」のせいではないでしょうか。
変数に実体をポインタがあって、
（ポインタに格納されている）アドレスからもアクセスできるのだから、
関数にだって実体とポインタがあって、
そのアドレスから実行できる、ということです。

配列名が配列の先頭アドレスになるように、
関数名が関数の先頭アドレスになるのです。

その関数のアドレスを返すのがGetProcAddress関数で、
関数名の文字列を渡すとその関数のアドレスが返ってきます。
このとき「どのDLLを読みに行くか」を指定するのがLoadLibrary関数で、
この関数の戻り値を指定してDLLを選択します。

＞パスをハードコーディングしていれば

要するにソース中に"C:\\exsample\\exsample.DLL"みたいに
直接書いてあったらそこを探しに行くということでしょう(たぶん)。

以上、同じくDLLの扱いに苦しんだ者の独り言でした。

補足

ダイナミックな方法の話ですね。

関数のポインタですね。

intへのポインタ（int*)や　構造体へのポインタがあるように、関数へのポインタがあるわけですね。
intへのポインタａｐがint型の変数ａをさしていれば、＊ａｐは　ａのことですね。
同じように、関数へのポインタがあってそれが関数をさしていれば、関数を直接書くような感じで使えるわけですね。

問題は、それでは、関数のアドレスをどうやって取得するか（言葉を替えると、関数へのポインタが関数をさすようにするにはどうすればよいか）、というところにあるわけですね。

＞その関数のアドレスを返すのがGetProcAddress関数で、
関数名の文字列を渡すとその関数のアドレスが返ってきます。

あ、なるほど、わかりました。
ソース中に書いてあるのは、関数名という「文字列」なんですね。

＞＞パスをハードコーディングしていれば
＞要するにソース中に"C:\\exsample\\exsample.DLL"みたいに
＞直接書いてあったらそこを探しに行くということでしょう(たぶん)。

以上のことと回答＃２を総合すると、ダイナミックな方法の場合には、

「関数名を文字列としてソースコード中に記述し、さらに、その関数があるdllの名前もソースコード中に記述しなければならない。
そのときに、ソースコード中にパスを指定する場合と指定しない場合がある。
ソースコード中にパスを指定した場合は、そのパスにそのdllがなければ、エラーになる。
パスを指定していない場合は、LoadLibrary関数がdllを探しに行く。
（探しに行くディレクトリの順番は、回答＃２の参照URLを参照のこと。）」

という具合になっているわけですね。