Cosa fa il 'void()' in 'auto f (params) -> decltype (..., void())'?

Question

Ho trovato il codice here che sembrava qualcosa di simile:

auto f(T& t, size_t n) -> decltype(t.reserve(n), void()) { .. } 

In tutta la documentazione che ho letto mi è stato detto che decltype è firmato come:

decltype(entity)

o

decltype(expression)

E non c'è nessun secondo argomento da nessuna parte. Almeno questo è ciò che è indicato su cppreference. Si tratta di un secondo argomento a decltype? E se sì, cosa fa?

Answer 1

Poiché è un'espressione quella virgola è semplicemente l'operatore virgola (ovvero il tipo è il tipo di lato rhs: void), non un altro argomento.

Quel codice sta utilizzando SFINAE - è abilitato se t.reserve(n) esiste ma vuole mantenere il tipo di ritorno come void.