あいまいな関数id-expressionのC++ 11初期化子？以下のC++コード11で

Question

：

void f(int) {} 
void f(double) {} 

void (*p)(int) = f; 

は2つの機能があります。

第3のf識別子はid式であり、初期化子はpです。 5.1.1p8 [expr.prim.general]/8で

それは言う：

[ID-発現]の種類は、識別子のタイプです。 結果は識別子で示されるエンティティです。エンティティが関数、変数、またはデータメンバーの場合は結果が左辺値、それ以外の場合は正値です。

fは、2つの異なるタイプの2つの異なるエンティティを参照している可能性があるため、「エンティティ」または「タイプ」はありません。

このような状況に対処する標準のテキストがありますか？

実装はこれを拡張として曖昧にするか、どこかで必要とされますか？ （いくつかの他のテキストのないものは、実装が曖昧としてF IDの発現を拒否することができることを主張できる）

Answer 1

（13.4§で）規格が定義する：

オーバーロードされた関数名を使用せず引数は、関数への特定のコンテキスト、関数へのポインタ、またはオーバーロードセットの特定の関数に対する メンバ関数へのポインタで、 で解決されます。 関数テンプレート名は、そのようなコンテキストでオーバーロードされた 関数のセットに名前を付けると見なされます。 タイプが、 コンテキストで必要とされるターゲットタイプのファンクションタイプと同一のものです。

強調鉱山。引用した後

は、例は（§13.4/5時）があるあなたに似ている：

​​

---

限り単項&に関しては、標準がその（§5.3で指定します.1/6とjogojapanのおかげで）：

多重定義関数のアドレスは、一意01である多重定義関数のバージョンを判断するコンテキスト で撮影することができますを参照してください。

も（§13.4/1で）を省略することができる。

オーバーロードされた関数名を &オペレータが先行することができます。

（やはり強調する鉱山）あなたの例のように。