auto
para parâmetros de lambdas existe para cobrir o fato de que não há como especificar tipos genéricos usando template
(a sintaxe seria estranha). Bom, isso mudou em c++20, com a possibilidade de especificá-los dentro da lambda:
auto sum = []<typename T, typename U>(T a, U b) { return a + b; };
Não existe auto
para parâmetros de funções normais, porque já é possível especificar tipos genéricos com template
s:
template <typename T, typename U>
auto sum(T a, U b) -> decltype(a + b) { return a + b; }
É uma questão de falta de propostas ao comitê mesmo. Até onde eu sei, apenas uma TS velha de concepts propôs esse uso do auto
, mas foi removido.