이 글에서는 C++ STL의 std::is_rvalue_reference 템플릿의 동작 원리, 문법, 그리고 다양한 활용 예제를 살펴봅니다. is_rvalue_reference는 C++에서 정의된 타입이 rvalue 참조(rvalue reference)인지 여부를 컴파일 시점에 판별하는 데 사용되는 타입 특성(type trait)입니다.
rvalue란 무엇인가?
rvalue는 대입 연산자(=)의 오른쪽에 위치하는 값을 의미합니다. 일반적으로 이름 없이 임시로 존재하는 값으로, 숫자 리터럴(10, 3.14 등)이나 함수 호출의 결과로 생성되는 임시 객체가 대표적인 예입니다. 반대로 lvalue는 이름을 가지며 메모리 주소를 통해 지속적으로 접근할 수 있는 값을 뜻합니다.
rvalue 참조란 무엇인가?
rvalue 참조는 이중 앰퍼샌드 기호(&&)로 식별되며, 오직 rvalue만으로 초기화할 수 있습니다. C++11에서 도입된 rvalue 참조는 이동 시맨틱(move semantics)과 완벽 전달(perfect forwarding)의 핵심 요소로, 불필요한 복사를 줄여 프로그램의 성능을 크게 향상시킬 수 있습니다.
문법
rvalue 참조 변수는 다음과 같이 선언합니다.
int&& a;
is_rvalue_reference 템플릿의 선언 형식은 다음과 같습니다.
template <class T> is_rvalue_reference;
매개변수
이 템플릿은 타입 매개변수 T 하나만 받으며, 전달된 타입 T가 rvalue 참조인지 여부를 검사합니다.
반환 값
불리언(Boolean) 값을 반환합니다. 주어진 타입이 rvalue 참조이면 true를, 그렇지 않으면 false를 반환합니다.
간단한 예제
입력: is_rvalue_reference<int&>::value;
출력: False
입력: is_rvalue_reference<int&&>::value;
출력: True
예제 1: 기본 자료형 검사
#include <iostream>
#include <type_traits>
using namespace std;
int main() {
cout << std::boolalpha;
cout << "Checking for is_rvalue_reference: ";
cout << " int : "<<is_rvalue_reference<int>::value;
cout << " int& : "<< is_rvalue_reference<int&>::value;
cout << " int&&: "<< is_rvalue_reference<int&&>::value;
cout << " char : "<<is_rvalue_reference<char>::value;
cout << " char& : "<< is_rvalue_reference<char&>::value;
cout << " char&&: "<< is_rvalue_reference<char&&>::value;
cout << " float : "<<is_rvalue_reference<float>::value;
cout << " float& : "<< is_rvalue_reference<float&>::value;
cout << " float&&: "<< is_rvalue_reference<float&&>::value;
cout << " double : "<<is_rvalue_reference<double>::value;
cout << " double& : "<< is_rvalue_reference<double&>::value;
cout << " double&&: "<< is_rvalue_reference<double&&>::value;
return 0;
}
출력 결과
위 코드를 실행하면 다음과 같은 결과가 출력됩니다.
Checking for is_rvalue_reference:
int : false
int& : false
int&&: true
char : false
char& : false
char&&: true
float : false
float& : false
float&&: true
double : false
double& : false
double&&: true
결과에서 알 수 있듯이, &&가 붙은 타입(int&&, char&&, float&&, double&&)만 true를 반환하고, 일반 타입이나 단일 앰퍼샌드(&)를 사용한 lvalue 참조는 모두 false를 반환합니다.
예제 2: 클래스 타입 검사
#include <iostream>
#include <type_traits>
using namespace std;
class TP {
};
int main() {
cout << std::boolalpha;
cout << "Checking for is_rvalue_reference: ";
cout << " TP class : "<<is_rvalue_reference<TP>::value;
cout << " TP& : "<< is_rvalue_reference<TP&>::value;
cout << " TP&&: "<< is_rvalue_reference<TP&&>::value;
return 0;
}
출력 결과
위 코드를 실행하면 다음과 같은 결과가 출력됩니다.
Checking for is_rvalue_reference:
TP class : false
TP& : false
TP&&: true
사용자 정의 클래스 타입 역시 동일한 규칙이 적용됩니다. 클래스 자체(TP)나 lvalue 참조(TP&)는 false를 반환하며, rvalue 참조(TP&&)인 경우에만 true가 출력됩니다. 이처럼 std::is_rvalue_reference는 템플릿 메타프로그래밍에서 타입에 따라 다르게 동작하는 함수 오버로드를 구현하거나, 이동 시맨틱 관련 코드를 작성할 때 유용하게 활용됩니다.