[C++] 문법: 범용 참조 (Args&&... args)

 범용 참조는 주로 템플릿 함수에서 lvalue와 rvalue 참조를 모두 처리할 수 있는 유연성을 제공하기 위해 사용된다.

여기서 `Args&&`는 다음과 같은 특징을 가진다:

1. 타입 추론: `Args&&`는 컴파일러가 인자의 타입을 추론하도록 한다. 인자가 lvalue인지 rvalue인지에 따라 `Args`의 타입이 결정된다.
    
2. lvalue와 rvalue 처리: `Args&&`는 lvalue 참조와 rvalue 참조 모두를 처리할 수 있다. 이는 함수가 lvalue 참조 (예: 변수) 및 rvalue 참조 (예: 임시 객체)를 모두 효율적으로 처리할 수 있도록 해준다.
    
3. 완벽한 전달 (Perfect Forwarding): `Args&&`와 함께 `std::forward`를 사용하면 함수에 전달된 인자를 원래의 값 카테고리 (lvalue 또는 rvalue)와 동일하게 다른 함수나 객체에 전달할 수 있다. 이를 통해 효율성과 유연성을 높일 수 있다.

 

예를 들어,

template<typename ... Args>
auto build_array(Args&&... args) {
    return std::array<typename std::decay<decltype(args)>::type...>{std::forward<Args>(args)...};
}

 

이 함수 `build_array`는 가변 인자의 타입과 값을 유지하면서 `std::array`를 생성한다. 여기서 `std::forward`는 각 인자를 원래의 lvalue 또는 rvalue 상태로 전달한다.

이러한 방식으로 `Args&&`를 사용하면 템플릿 함수나 클래스가 다양한 타입과 값 카테고리의 인자들을 효율적으로 처리할 수 있다.