auto et decltype permettent de déduire le type automatiquement.

auto va se baser de façon implicite sur le résultat d'une opération.

decltype va se baser de façon explicite sur une variable ou sur le résultat d'une opération.

auto i = 3;
decltype(i) j = i + 3;

Mais il y a des différences. auto ne conserve pas const, volatile ni & ou &&. decltype garde tout.

Il est possible de faire decltype(auto) pour tout conserver et déduire automatiquement le type de retour.

auto : tous les return doivent être de même type.

auto foo(int a, int b)
{
  if (a != 0)
    return 0;
  else
    return '0';
}

decltype doit utiliser une syntaxe particulière s'il veut utiliser le type des arguments.

auto bar(int a, int b) -> decltype(a)
{return 0;}

C++ auto and decltype Explained Archive du 05/2013 le 11/11/2019

Voir les boucles

Cela se fait en lisant le message d'erreur à la compilation.

template<class Type> struct S;

int main() {
   auto x = ...;
   S<decltype(x)>();
}

Message d'erreur possible (le type est le template de la structure S) :

utilisation du type non défini 'S<const std::list<unsigned char> &>'

Retrieving the type of auto in C++11 without executing the program Archive du 26/06/2014 le 18/12/2019

• Compatibilité entre lambda et pointeur de fonction C

error: no viable conversion from '(lambda at file.cpp)' to 'void (*)(void *, const char *, const char *, uint32_t)' (aka 'void (*)(void *, const char *, const char *, unsigned int)')

Alors que la fonction lambda respecte bien la signature.

2 solutions : forcer le type de retour et ne pas faire de captures (laisser vide entre les []).

[](void *, const char *, const char *, uint32_t) -> void{...}