Inizializzatore C++ 11 con funzione id-espressione ambigua?

Question

Nel seguente codice C++ 11:

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

void (*p)(int) = f; 

Ci sono due funzioni.

Il terzo identificatore f è un'espressione id e l'inizializzatore di p.

In 5.1.1p8 [expr.prim.general]/8 si legge:

Il tipo di [id-espressione] è il tipo di identificatore. Il risultato è l'entità denotata dall'identificatore. Il risultato è un lvalue se l'entità è una funzione, una variabile o un membro dati e un valore diverso altrimenti.

Dato che f potrebbe riferirsi a due soggetti diversi con due tipi differenti, non c'è "l'entità" o "tipo".

C'è qualche altro testo nello standard che risolve questa situazione?

Le implementazioni non sono altro che una disambiguazione come estensione o sono richieste da qualche parte? (. Senza qualche altro testo si potrebbe sostenere che un'implementazione potrebbe rifiutare la f id-espressione ambigua)

Answer 1

Lo standard (al § 13.4) definisce che:

Un uso di un nome funzione sovraccaricata colpo gli argomenti sono risolti in determinati contesti di una funzione, un puntatore alla funzione o un puntatore alla funzione membro per una funzione specifica dal set di sovraccarico. Un nome di modello di funzione viene considerato per denominare un set di funzioni sovraccaricate di in tali contesti. La funzione selezionata è quella il cui tipo è identico al tipo di funzione del tipo di destinazione richiesto in il contesto.

Enfasi mia.

Dopo la citazione, c'è un esempio (al § 13,4/5) che assomiglia vostra:

int f(double); 
int f(int); 
int (*pfd)(double) = &f; // selects f(double) 
int (*pfi)(int) = &f; // selects f(int) 

---

Per quanto riguarda la unaria & è interessato, la norma specifica che (§ 5.3 .1/6 e grazie a jogojapan):

l'indirizzo di una funzione sovraccaricata può essere presa solo in un contesto che determina univocamente quale versione della funzione overload è a cui si fa riferimento.

ma può anche essere omessa (al § 13,4/1):

Il nome della funzione overload può essere preceduta dall'operatore &.

(di nuovo, enfasi mia) proprio come hai fatto tu, nel tuo esempio.