인프런 커뮤니티 질문&답변
작성한 질문수
func_wrapper 매개변수 질문입니다
해결된 질문
작성
·
174
1
안녕하세요
template<typename T>
void func_wrapper(T &&t)
{
func(std::forward<T>(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<typename T>
void func_wrapper(T &&t)
{
func(std::forward<T>(t));
}
에서 매개변수를 T &&t 로 받고있는데
main 함수내에
func_wrapper(s);
func_wrapper(MyStruct());
에서 MyStruct()는 R-ref로 들어갈수있다고 생각이드는데
s는 l-ref인데 어떻게 T &&t 로 넣을수있는지 궁금합니다
답변 1
7
템플릿 매개변수는 모호한게 있어요.
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 로 확실하게 구분해주기 위해서입니다.
뒷강의에 나오더라구요 ㅎㅎ 감사합니다!