いくつかの関数のポインタ

Question

名前だけでなくパラメータと戻り値の型でもない関数がCとC++で同じアドレスを共有できないという保証はありますか？私は標準についてそれについては何も見ていない。

#include <cassert> 

void foo() {} 

void bar() {} 

int main() 
{ 
    assert(foo != bar); 
} 

Answer 1

折りたたみ同一のコードC++ 11標準は

（ポインタ変換後に）同じタイプの
ポインタは比較することができ5.10等価演算子と言い平等のために。同じ型の2つのポインタは、両方がnullの場合、同じ関数を指すポインタ、または両方が同じアドレス（3.9.2）を表す場合に限り、等しいと比較されます。

関数へのポインタがない場合、それらは同じアドレスを持つかもしれませんが、わかりません。 がの場合、2つの異なる関数へのポインタを比較して、等しいとは比較してはいけません。混乱のため

---

一つの原因は、MSVCコンパイラが（intとlongなど）さ​​まざまなタイプのため、同一のマシンコードを生成するために起こるテンプレート関数のコードを結合することが知られていることかもしれません。これは準拠していません。

しかし、これは異なるシグネチャの関数であり、正確にはこの質問に関するものではありません。

Answer 2

実装の詳細。

（C99,5.1.2.3p1） "この国際標準の意味論的記述は、最適化問題が無関係な抽象機械の動作を記述している。

Answer 3

はい。 C99 6.5.10：6

二つのポインタが比較等しい場合にのみ両方ヌルポインタがある場合、両方 は、オブジェクトへのポインタと サブオブジェクトを含む同じオブジェクトへのポインタ（あるその始まる）または機能、...

編集：段落の残りの部分、それはいくつかの重要性を持っていることが判明するので：

は、どちらも同じ配列 オブジェクトの最後の要素を超えたものへのポインタであり、1つは1つの配列オブジェクト の末尾を指すポインタで、もう1つは異なる配列オブジェクトの先頭へのポインタです アドレス空間の にある最初の配列オブジェクトの直後に起こります。私はそれから取る何

：間違ったオペランドに適用

• 平等は、非常に多くの言葉では、指定されていません。それは間違った理由で偶然に当てはまるかもしれませんが、あなたが間違って使用すると、それが間違って使用されると、未定義ではありません。<は未定義です。
• 私が理解している限りでは、関数はオブジェクトでも配列の要素でもないので、この段落の残りの部分は関数には適用されません。

Answer 4

最適化がオンになっているコンパイラの多くは、2つの関数が同じアドレスを持つようにします。例えば、msdnから：

/OPT：ICF が同じアドレスをもたらすことができるが、異なる 機能または読み取り専用データメンバ（ /GyとでコンパイルCONST変数）に割り当てられます。したがって、/ OPT：ICFは、 関数のアドレスまたは読み取り専用データメンバのアドレスに依存するプログラムを中断することがあります。詳細については、/ Gy（ ファンクションレベルリンクを有効にする）を参照してください。

ICFは：