'auto' come segnaposto di argomento modello per un parametro di funzione

C ++ 20 consente l'utilizzo autoper il tipo di parametro della funzione.

Permette anche di utilizzare autocome segnaposto argomento modello (non simile, ma nello spirito del modello C ++ 17 <auto> in un certo senso) per il tipo di parametro funzione?

Quindi il seguente codice, pre C ++ 20:

template<typename First, typename Second>
void printPair(const std::pair<First, Second>& p) {
    std::cout << p.first << ", " << p.second;
}

Potrebbe essere scritto come:

void printPair(const std::pair<auto, auto>& p) {
    std::cout << p.first << ", " << p.second;
}

Si compila e funziona bene con l'implementazione sperimentale di GCC per concetti.

È una sintassi legittima con C ++ 20?

Questa sintassi è valida nelle Specifiche tecniche dei concetti C ++, ma non in C ++ 20. Nei concetti C ++ 20, autoè consentito solo al livello superiore in un tipo di parametro di funzione. La regola rilevante è [dcl.spec.auto] paragrafo 2 :

Un segnaposto-tipo-specificatore del tipo-tipo di vincolo [opt] autopuò essere usato come decl-specificatore del decl-specificatore-seq di una dichiarazione di parametro di una dichiarazione di funzione o lambda-espressione e, se non è il auto l'identificatore di tipo che introduce un tipo-ritorno-trailing (vedi sotto), è un segnaposto di tipo di parametro generico della dichiarazione di funzione o lambda-espressione. [Nota: avere un segnaposto di tipo di parametro generico significa che la funzione è un modello di funzione abbreviato (9.3.3.5 [dcl.fct]) o lambda è un lambda generico (7.5.5 [expr.prim.lambda]). —Endola nota]

(Se si controlla la formulazione nella bozza di lavoro più recente al momento della stesura, si troverà una regola leggermente diversa. La regola di cui sopra è stata modificata dal numero centrale 2447 , che è stato votato nella bozza finale C ++ 20 a Praga riunione del comitato una settimana fa.)

Gli specificatori di decl in un parametro di funzione sono la sequenza iniziale di parole chiave e nomi di tipi all'inizio della dichiarazione del parametro. La regola di cui sopra consente autolì al livello superiore:

void f(auto x);

... ma solo come specificatore di decl . autonon è consentito se nidificato in uno specificatore di decl :

void f(std::vector<auto> x);

... e non è consentito anche altrove nel tipo di parametro:

void f(void (*p)(auto));