シンボル解決とは何のことですか？

Question

たぶんリンカの役割であると思うのですが、シンボル解決とは何でしょうか？？
何をしているのですか？？

以下のurlを見てもよくわかりません。
http://qiita.com/saikoro-steak/items/e5089a2b33b52d5410bd

「関数名や変数名をどのようにアドレスに配置していくか」ということかなぁ・・・と思ったのですが・・

Accepted Answer

プログラムがある特定の関数を呼び出したり、特定の変数の値を参照したりする時には、その対象の関数だったり変数だったりのコンピューター上のメモリアドレスがどこにあるのか、を知っている必要があります。
どこにいるのかわからない奴を呼びつけたり、どこにあるのか分からない箱に何か入れたりは出来ませんので。
で、プログラムというのは通常、複数の.cだったり.cppだったりのファイルで構成される訳ですが、ある.cファイルから別の.cファイルに書かれている関数を呼びたい場合には、その呼び出し側の.cファイルでも、対象の関数のある.cファイルの、その関数がどこのアドレスにあるのかを知る必要があります。
ところで.c等をコンパイルする際には通常、１ファイルずつコンパイルされる為、ある.cファイルが別の.cファイルの関数のアドレスをコンパイル時点で知る方法はありません。
そこで、コンパイル時には呼びたい関数なり呼びたい変数なりの「名前」を記録しておきます。これをシンボルと呼びます。
そして全ての.cファイルのコンパイルが終った後、呼びたい関数などが実際にメモリ上のどこに配置されるのかが決定され、それからその関数を呼びたがっていたプログラムに、この関数はアドレスどこですよ、この変数はアドレスどこですよ、と教えてあげるわけです。
これがシンボル解決です。
だらだらと書いてしまいましたがわかったでしょうか？

Answer

drednote さんの回答に補足ですが、「その関数を呼びたがっていたプログラムに、この関数はアドレスどこですよ、この変数はアドレスどこですよ、と教えてあげるわけです。 」のところは、具体的には、マシン語命令のオペランドに具体的な数値を書き込む処理になります。

ソースコード→（コンパイラ）→オブジェクトファイル→（リンカ）→実行可能ファイル

という手順を踏むわけですが、オブジェクトファイルの段階では命令列は生成されていますが、そのオペランド（
ex. jump 命令が参照する飛び先アドレス）については、まだ決定できないもの（オブジェクトファイルに定義が含まれていない関数など）が含まれているわけです。リンクして、オブジェクトファイルの配置（実行可能ファイルが実行される際の各命令が配置される論理アドレスの値）わかった段階で、命令列のオペランド部分に具体的なメモリ上のアドレスが書き込まれるわけです。
ただし、以上はスタティックリンク部分の話しで、ダイナミックリンクに関しては、また別のロジック（ダイナミックリンカ）が動作します。

関連した質問