関数ポインタ平等

Question

私の質問： C標準で保証関数ポインタの平等が

1. ですか？
2. （1）の答えが「はい」の場合。これは、異なる最終コンパイル単位（例えば、メイン実行可能ファイルと共有ライブラリ）で得られたポインタに関係なくですか？
3. どのようにダイナミックローダーがそれに対処していますか？ （これは難しいかもしれないいくつかの理由を考えることができます.PICコード（例えば、elfのGOTテーブル、それに相当するCOFFなど）に関連しています。 （1）と（2）に関係なく、Linuxローダーはこれを保証しているようです。

次に例を示します。上記の質問は、main.cが何を出力するかをCが保証するかどうかまでわかります："Function equality: 1"または"Function equality: 0"そして、最初のケースでは、どのようにしてダイナミックローダーが発生しますか？ UNIXで

common.h:

extern void * getc_main; 
extern void * getc_shared; 
void assign_getc_shared(); 

main.c:

#include <stdio.h> 
#include "common.h" 

int main() 
{ 
    getc_main = (void*) getc; 
    assign_getc_shared(); 
    printf("Function equality: %d\n", getc_main == getc_shared); 
    return 0; 
} 

shared.c:

#include <stdio.h> 
#include "common.h" 

void assign_getc_shared() 
{ 
    getc_shared = (void*) getc; 
} 

この次のコマンドを使用してコンパイルされます：

cc -shared -fPIC -o libshared.so shared.c 
cc -o main main.c -L. -lshared 

として実行：

LD_LIBRARY_PATH=. ./main 

Answer 1

C 2011（N1570委員会草案）6.5.9 6：「二つのポインタがあれば等しい比較し、両者が同じ...関数へのポインタであるだけ...あれば...。つまり、同じ関数への2つのポインタが等しいと比較します。

2つの異なるオブジェクトモジュールで関数のアドレスをとると、コンパイラはオブジェクトコードにプレースホルダを置きます。そのプレースホルダは、実行時にオブジェクトモジュールが実行可能ファイルにリンクされるか、ダイナミックライブラリにリンクされるときに埋められます。

動的ライブラリの場合、必要に応じて実行可能ファイル内のすべてのプレースホルダを入力するか、実際の関数にジャンプするスタブコードの位置と、その関数内のプレースホルダスタブコードは動的ローダによって埋められます。

さらに、実行可能ファイルには複数の関数インスタンスが含まれる可能性があることに注意してください。コンパイラは、関数をいくつかの場所にインラインで挿入するか、それ自体の理由から、関数の特殊化と一般バージョンを含めることができます。しかし、関数のアドレスが取られるとき、コンパイラは単一の汎用バージョンのアドレスを提供しなければならない。 （あるいは、コンパイラは、プログラムが実行されたかのように動作するようにする必要があります。例えば、コンパイラがポインタを比較しないことを検出できれば、理論的にはアドレスのいくつかのインスタンス）