func_wrapper 매개변수 질문입니다

Question

안녕하세요 template void func_wrapper(T &&t) { func(std::forward(t)); // forward R로 오면 Rref로 L 로 오면 Lref 로 바다줌 } int main() { MyStruct s; func_wrapper(s); func_wrapper(MyStruct()); // template에 넣을땐 다 L-ref 로 들어가는 문제 //func(s); // L-ref //func(MyStruct()); // R-ref return 0; } 위에 template void func_wrapper(T &&t) { func(std::forward(t)); } 에서 매개변수를 T &&t 로 받고있는데 main 함수내에 func_wrapper(s); func_wrapper(MyStruct()); 에서 MyStruct()는 R-ref로 들어갈수있다고 생각이드는데 s는 l-ref인데 어떻게 T &&t 로 넣을수있는지 궁금합니다

안소 · Answer

템플릿 매개변수는 모호한게 있어요. T && t 를 "T&" "&" "t" 이렇게 타입이 T& 인 것을 l-ref참조(&)하는 t 라는 요상한 해석을 한 후 템플릿화가 될 수도 있고(이런 경우엔 컴파일러가 그냥 T & t 모양으로 변환시킨다고 하네요. 즉, l-ref 로) 질문자님이 생각하신대로 "T" "&&" "t" 이렇게 타입이 T 인것을 r-ref참조(&&)하는 t 라는 해석이 될 수도 있는거에요. 그래서 T && t 라고 해서 l-value 로 못 넘어가게 막아지는게 아닙니다. 템플릿 매개변수라는 특수성 탓에 위와 같이 l-ref, r-ref 둘 다 해석 될 여지가 있는거에요. 그래서 이런 현상 때문에 이번 강의에서 std::forward 를 배운거에요! l-value 로 들어온거면 l-value 로, r-value 로 들어온거면 r-value 로 확실하게 구분해주기 위해서입니다.