弱参照と定義は通常、ライブラリ関数への参照です。

弱参照

リンカでは、通常の非弱参照をこれまでにロードされた内容からシンボルに解決できない場合、ライブラリ内のシンボルを検索して解決を試みます。

• そうした参照を見つけることができなかった場合、リンカによってエラーが報告されます。

• そうした参照が解決されると、少なくとも 1 つの非弱参照によってエントリポイントから到達できるセクションは、使用済みとマークされます。こうすることで、このセクションが未使用のセクションとしてリンカによって削除されることがなくなります。各非弱参照は、1 つの定義によってのみ解決される必要があります。複数の定義が存在する場合、リンカによってエラーが報告されます。

弱参照を解決するために、リンカによってライブラリからオブジェクトがロードされることはありません。弱参照は、定義が他の理由でイメージに含まれている場合にのみ解決できます。弱参照によって、リンカが定義を含むセクションを使用済みとマークすることはありません。そのため、未使用のセクションとしてリンカによって削除される可能性があります。以下のさまざまな理由で、定義がイメージ内に既に存在している場合があります。

• シンボルが、コード内の他の場所からの非弱参照である。

• シンボル定義が、これらのいずれかの理由で含まれているシンボル定義と同じ ELF セクション内に存在している。

• シンボル定義が、 --keep を使用して指定されているセクション、または ENTRY ポイントを含むセクション内に存在している。

• シンボル定義がリンクに含まれているオブジェクトファイル内に存在し、 --no_remove オプションが使用されている。ライブラリ内のオブジェクトファイルが明示的にリンカコマンドラインに含まれている場合を除き、オブジェクトファイルはライブラリから参照されません。

要約すると、弱参照は定義がイメージに既に含まれている場合に解決されますが、その定義が含まれているかどうかの確認は行いません。

未解決の weak 関数の呼び出しは、以下のいずれかに置き換えられます。

• 非演算命令 NOP

• リンク命令 BL を使用した、後続の命令への分岐。（つまり、関数呼び出しは行われません）

weak 定義

関数定義、つまりアセンブラのエクスポートされたラベルは、変数の定義と同じように、weak としてマークすることもできます。この場合、weak シンボル定義がオブジェクトファイル内に作成されます。

通常の定義と同様の方法で、weak 定義を使用して、そのシンボルへの参照を解決できます。ただし、そのシンボルの non-weak 定義がビルド内に存在する場合、リンカでは weak 定義の代わりに、その定義を使用します。複数回定義されたシンボルが原因で、エラーは生成されません。