Considere este simple código autónomo:

 template<typename T> void foo(); void bar() { int i; auto l = [&i]() -> decltype(auto) { decltype(auto) x = i; foo<decltype(x)>(); foo<decltype(i)>(); return static_cast<decltype(i)>(i); }; l(); foo<decltype(l())>(); }

GCC genera lo siguiente:

 bar(): sub rsp, 8 call void foo<int&>() call void foo<int>() add rsp, 8 jmp void foo<int>()

Clang genera lo siguiente:

 bar(): # @bar() push rax call void foo<int>() call void foo<int>() pop rax jmp void foo<int>() # TAILCALL

MSVC genera lo siguiente:

 void bar(void) PROC ; bar, COMDAT $LN8: sub rsp, 40 ; 00000028H call void foo<int &>(void) ; foo<int &> call void foo<int &>(void) ; foo<int &> add rsp, 40 ; 00000028H jmp void foo<int &>(void) ; foo<int &> void bar(void) ENDP

Parece que los tres compiladores no están de acuerdo. ¿Cuál tiene razón y qué parte del estándar C++ lo confirma?

En mi opinión, decltype(i) siempre debe ser int , y nunca int& , sin importar si se captura o no.

Enlace obligatorio del explorador del compilador