リンクとは

コンパイル後に生成されるオブジェクトコードを実行ファイルとして一つのまとまりにし、実行ファイルを生成する役割を持っています。

つまり、ソースコードからコンパイルしオブジェクトコード（機械語）に翻訳された状態だと、各処理がバラバラの状態で翻訳されます。それでは、正しく実行ができないので、それらバラバラになっているオブジェクトコードを一つにまとめ実行ファイル化することで正しくプログラムが実行できるようになります。