C++ 11 람다 반환 참조

Question

람다에서 참조를 반환하는 데 약간의 문제가 있습니다. 이 코드는 작동합니다

std::function<int*(int*)> funct; 

funct = [](int *i){ 
    ++*i; 
    return i; 
}; 

int j = 0; 
LOG<<*funct(&j)<<j; 

출력 : 1

하지만이 하나

std::function<int&(int&)> funct; 

funct = [](int &i){ 
    ++i; 
    return i; 
}; 

int j = 0; 
LOG<<funct(j)<<j; 

건물의 오류 : C : \ Program 파일 (x 86) \ 마이크로 소프트 비주얼 스튜디오 14.0 \ VC \ include \ type_traits : 1441 : 오류 : C2440 : '반환': 'int'에서 'int &'로 변환 할 수 없음

왜 그런가? 나에게 그것은 똑같은 것이다.

Answer 1

람다는 반환 유형을 auto과 같이 추론합니다. auto ret = i;은 ret이 int으로 추정합니다. 코멘트에 다른 방법을 언급 한 바와 같이

funct = [](int &i) -> int& { 
    ++i; 
    return i; 
}; 

은 본질적으로 어떤 공제를하고하지 컴파일러를 알려줍니다

funct = [](int &i) -> decltype(auto) { 
    ++i; 
    return i; 
}; 

입니다 :

하나의 해결책은 명시 적으로 람다의 리턴 타입을 명시하는 것입니다 반환 식에 decltype이 사용 된 것처럼 형식을 사용하기 만하면됩니다.

정확한 규칙에 대해 궁금한 경우 the documentation에 auto 섹션과 decltype(auto) 섹션이 있습니다.