Esiste un nuovo formato di espressione del tipo di funzione in C++ 11?

Question

Oggi ho verificato Stroustrup's C++11 FAQ (modificato 7 Aprile 2013) e ho visto questo alla fine della sezione di tipo-alias:

typedef void (*PFD)(double); // C style 
using PF = void (*)(double); // using plus C-style type 
using P = [](double)->void;  // using plus suffix return type 

dove un introduttore lambda viene utilizzato per avviare un tipo di espressione funzione generale che utilizza un tipo di ritorno in stile suffisso. È questa funzione ufficiale o una versione beta/lista desideri? Se è ufficiale, come funzionerebbe per le funzioni dei membri non statici?

Answer 1

using P = [](double)->void; 

non è ufficiale. Bjarne è noto per essere un po 'incurante nelle sue domande frequenti.

Nei funziona, tuttavia, sono le seguenti:

using P1 = auto(double) -> void; 
using P2 = auto(*)(double) -> void; 

Dove P1 è un tipo di funzione, ed è un tipo P2 funzione puntatore. Forse era questa la sua intenzione.

Answer 2

La sintassi lambda non funziona con funzioni membro non statiche poiché la funzione puntatore-a-capo e quella puntatore-membro sono implementate in modo diverso. La funzione da puntatore a membro non è un puntatore regolare. Non tiene "l'esatto indirizzo" come fa un puntatore regolare. Possiamo immaginare che contiene "l'indirizzo relativo" di dove la funzione si trova nel layout di classe.

Se è necessario passare il puntatore alla funzione membro da qualche parte, cosiderare std :: uso della funzione.