람다에서 완벽한 포워딩? 함수와

Question

, 하나는 쓸 수 있습니다 :

template <class T> void f(T&& x) {myfunction(std::forward<T>(x));} 

하지만 람다와

, 우리는 T가 없습니다 :

auto f = [](auto&& x){myfunction(std::forward</*?*/>(x));} 

어떻게 람다에 완벽한 포워딩을 할? decltype(x)이 std::forward의 유형으로 작동합니까?

Answer 1

전달 참조에 바인드 된 람다 인수를 전달하는 표준 방법은 decltype에 참이에 대한

auto f = [](auto&& x){ 
    myfunction(std::forward<decltype(x)>(x)); 
} //      ^^^^^^^^^^^ 

Answer 2

내가 좋아하는 관용구이다 : 나는 "과 같이

auto f = [](auto&& x){myfunction(decltype(x)(x));} 

x 형식으로 x "로 선언되었습니다.

이 작동 방식을 확인하려면 x이 int&& 인 경우 어떻게되는지 확인하십시오. decltype(x)(x)은 (int&&)(x)이며, 이는 x에 대한 값을 나타냅니다. x이 int& 인 경우 (int&)(x)이 참조로 전송되지 않습니다. 참고 카테고리는 decltype(x)입니다.

auto f = [](auto&& x){myfunction(std::forward<decltype(x)>(x));} 

대안 :

지금, auto&& 매개 변수에 대해이에 짧은하지만 동일합니다.

auto 대한 파라미터 :

auto f = [](auto x){myfunction(decltype(x)(x));} 

은 추가 카피를 유도

auto f = [](auto x){myfunction(std::forward<decltype(x)>(x));} 

동안 대신 이동에서부터 x.

나는 보통 치료하는 동안 C-스타일 x는 auto&& 변수가 아닌 경우 너무 위험하다고, decltype(x)(x)는 최악의 x의 형태 정확한 복사본을 만들 수 있습니다 캐스트. 그리고 그것의 간결함을 위해 말해야 할 것이 있습니다.