Qual è il nome (ricercabile) per questa sintassi ...?

Question

typedef std::function<bool(int)> MyFunction; 

Quella bool(int) sintassi di notazione dell'argomento modello - ha un nome? Ho provato a leggere standard C++ su questa sintassi e non sapevo cosa cercare.

Ovviamente, l'utilizzo in altri contesti sembra fallire.

typedef bool(int) MyFunctionType; // does not work. 

quindi immagino che ci sia un capitolo speciale su questa sintassi da qualche parte ...

Grazie.

Answer 1

Non conosco un nome comune per questo. Nello standard, si chiama type-id, dopo la sua grammatica di produzione.

Il tipo-idbool(int) nomi la "funzione di (int) tornare bool" tipo.

Non funziona con typedef (che utilizza la sintassi di dichiarazione normale invece), ma alias dichiarate con using fa uso di un tipo -id:

using MyFunctionType = bool(int); 

Answer 2

N4140 chiama bool(int) un tipo funzione in [dcl.fct]. Come indicato nel altra risposta, questo è un tipo -id:

[dcl.name]/1 Per specificare le conversioni di tipo in modo esplicito, e come argomento sizeof, alignof, new o typeid, il nome di un tipo deve essere specificato. Questo può essere fatto con l' di tipo , che è sintatticamente una dichiarazione per una variabile o una funzione di quel tipo che omette il nome dell'entità.