std :: forward를 사용해야하는 이유는 무엇입니까?

Question

아래 코드에서 인수를 전달할 때 왜 std::forward을 사용해야합니까?

class Test { 
    public: 
    Test() { 
     std::cout << "ctor" << std::endl; 
    } 
    Test(const Test&) { 
     std::cout << "copy ctor" << std::endl; 
    } 
    Test(const Test&&) { 
     std::cout << "move ctor" << std::endl; 
    } 
}; 

template<typename Arg> 
void pass(Arg&& arg) { 
    // use arg.. 
    return; 
} 

template<typename Arg, typename ...Args> 
void pass(Arg&& arg, Args&&... args) 
{ 
    // use arg... 
    return pass(args...); // why should I use std::forward<Arg>(args)... ? 
} 

int main(int argc, char** argv) 
{ 
    pass(std::move<Test>(Test())); 

    return 0; 
} 

std::forward이 있거나없는 코드에는 복사/이동이 나타나지 않습니다.

Answer 1

std::forward에는 무엇이 좋은지, 어떤 방식으로 작동하는지 (예 : here 및 here)가 있습니다.

간단히 말해 은 인수의 값 카테고리을 보존합니다. 완전한 전달은 함수에 제공된 인수가 originally provided과 같은 값 범주 (기본적으로 r 값 대 l 값)를 갖는 다른 함수 (또는 함수 내에서 사용됨)로 전달되도록 보장합니다. 일반적으로 reference collapsing이 발생했을 수도있는 템플릿 함수 (범용/전달 참조 포함)와 함께 사용됩니다.

아래 코드 샘플을 고려하십시오. std::forward을 제거하면 requires lvalue이 인쇄되고 std::forward을 추가하면 requires rvalue이 출력됩니다. func은 rvalue인지 lvalue인지에 따라 오버로드됩니다. std::forward없이 전화하면 잘못된 과부하가 걸립니다. 이 경우 std::forward이 필요합니다. pass이 rvalue와 함께 호출됩니다.

#include <utility> 
#include <iostream> 
class Test { 
    public: 
    Test() { 
     std::cout << "ctor" << std::endl; 
    } 
    Test(const Test&) { 
     std::cout << "copy ctor" << std::endl; 
    } 
    Test(Test&&) { 
     std::cout << "move ctor" << std::endl; 
    } 
}; 

void func(Test const&) 
{ 
    std::cout << "requires lvalue" << std::endl; 
} 

void func(Test&&) 
{ 
    std::cout << "requires rvalue" << std::endl; 
} 

template<typename Arg> 
void pass(Arg&& arg) { 
    // use arg here 
    func(std::forward<Arg>(arg)); 
    return; 
} 

template<typename Arg, typename ...Args> 
void pass(Arg&& arg, Args&&... args) 
{ 
    // use arg here 
    return pass(std::forward<Args>(args)...); 
} 

int main(int, char**) 
{ 
    pass(std::move<Test>(Test())); 
    return 0; 
}