【C++】std::is_rvalue_referenceテンプレートの使い方と実行例をわかりやすく解説

この記事では、C++標準ライブラリ（STL）に用意されているstd::is_rvalue_referenceテンプレートの仕組み、構文、そして具体的な使用例について詳しく解説します。is_rvalue_referenceは、<type_traits>ヘッダで提供される型特性（type traits）の一つで、指定された型が右辺値参照（rvalue reference）であるかどうかをコンパイル時に判定するために使用されます。

右辺値（rvalue）とは？

右辺値とは、代入演算子（=）の右側に置かれる値のことです。数値リテラルや関数の戻り値のように、名前を持たず一時的に存在する値を指します。

右辺値参照（rvalue reference）とは？

右辺値参照は、記号「&&」（ダブルアンパサンド）で表される参照であり、右辺値のみを使って初期化することができます。C++11で導入されたムーブセマンティクスの中核をなす機能です。

構文

右辺値参照の宣言は以下のとおりです。

int&& a;

is_rvalue_referenceテンプレートの宣言は以下のとおりです。

template <class T> is_rvalue_reference;

パラメータ

このテンプレートは、判定対象となる型Tを1つのパラメータとして受け取り、その型が右辺値参照であるかどうかを調べます。

戻り値

ブール値（bool）を返します。与えられた型が右辺値参照であれば「true」を、そうでない場合には「false」を返します。

使用例

入力：is_rvalue_reference<int&>::value;
出力：false

入力：is_rvalue_reference<int&&>::value;
出力：true

サンプルコード①：基本データ型での判定

#include <iostream>
#include <type_traits>
using namespace std;

int main() {
    cout << std::boolalpha;
    cout << "Checking for is_rvalue_reference: ";
    cout << "\nint : " << is_rvalue_reference<int>::value;
    cout << "\nint& : " << is_rvalue_reference<int&>::value;
    cout << "\nint&& : " << is_rvalue_reference<int&&>::value;
    cout << "\nchar : " << is_rvalue_reference<char>::value;
    cout << "\nchar& : " << is_rvalue_reference<char&>::value;
    cout << "\nchar&& : " << is_rvalue_reference<char&&>::value;
    cout << "\nfloat : " << is_rvalue_reference<float>::value;
    cout << "\nfloat& : " << is_rvalue_reference<float&>::value;
    cout << "\nfloat&& : " << is_rvalue_reference<float&&>::value;
    cout << "\ndouble : " << is_rvalue_reference<double>::value;
    cout << "\ndouble& : " << is_rvalue_reference<double&>::value;
    cout << "\ndouble&& : " << 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&&など）に対してのみtrueが返され、通常の型や「&」による左辺値参照に対してはfalseが返ることが確認できます。

サンプルコード②：クラス型での判定

#include <iostream>
#include <type_traits>
using namespace std;

class TP {
};

int main() {
    cout << std::boolalpha;
    cout << "Checking for is_rvalue_reference: ";
    cout << "\nTP class : " << is_rvalue_reference<TP>::value;
    cout << "\nTP& : " << is_rvalue_reference<TP&>::value;
    cout << "\nTP&& : " << is_rvalue_reference<TP&&>::value;
    return 0;
}

実行結果

上記のコードを実行すると、次のような出力が得られます。

Checking for is_rvalue_reference:
TP class : false
TP& : false
TP&& : true

まとめ

std::is_rvalue_referenceは、型Tが右辺値参照（T&&）である場合にtrue、そうでない場合にfalseを返すシンプルな型特性テンプレートです。テンプレートメタプログラミングや関数オーバーロードの設計において、左辺値参照と右辺値参照を区別したい場面で非常に役立ちます。特にムーブセマンティクスや完全転送（perfect forwarding）を実装する際には欠かせないツールといえるでしょう。