C++のstd::is_lvalue_referenceテンプレートとは？左辺値参照の判定方法を実例付きで解説

この記事では、C++ STLに用意されているstd::is_lvalue_referenceテンプレートの仕組み、構文、そして具体的な使用例について詳しく解説します。

is_lvalue_referenceは、指定した型が左辺値参照（lvalue reference）であるかどうかをコンパイル時に判定するための型特性（type traits）テンプレートです。

左辺値（lvalue）とは？

左辺値とは、代入演算子（=）の左側に置くことができる値のことです。より正確には、メモリ上の特定の場所（アドレス）を参照する式を指します。変数名は典型的な左辺値の例です。

左辺値参照（lvalue reference）とは？

左辺値参照とは、左辺値に束縛される参照のことです。これは、従来のC++やC言語において、アンパサンド記号（&）を使って変数のアドレスを扱う方法と非常によく似ています。

記述例

int& a;

構文

template <class T> is_lvalue_reference;

パラメータ

このテンプレートは、判定対象となる型Tを1つだけ受け取ります。そして、渡された型が左辺値参照であるかどうかをチェックします。

戻り値

ブール値（bool）を返します。

• 渡された型が左辺値参照の場合 → true
• 左辺値参照ではない場合（右辺値参照や通常の型など）→ false

基本的な使い方

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

入力： is_lvalue_reference<int>::value;
出力： false

サンプルコード①：クラスタイプでの確認

#include <iostream>
#include <type_traits>
using namespace std;
class TP {
};
int main() {
    cout << std::boolalpha;
    cout << "is_lvalue_referenceの判定結果:";
    cout << "\nTPクラス : " << is_lvalue_reference<TP>::value;
    cout << "\nTP& : " << is_lvalue_reference<TP&>::value;
    cout << "\nTP&&: " << is_lvalue_reference<TP&&>::value;
    return 0;
}

実行結果

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

is_lvalue_referenceの判定結果:
TPクラス : false
TP& : true
TP&&: false

この結果から、TP&（左辺値参照）だけがtrueと判定され、通常のクラス型であるTPや右辺値参照であるTP&&はfalseになっていることが分かります。

サンプルコード②：基本データ型での確認

#include <iostream>
#include <type_traits>
using namespace std;
int main() {
    cout << std::boolalpha;
    cout << "is_lvalue_referenceの判定結果:";
    cout << "\nint : " << is_lvalue_reference<int>::value;
    cout << "\nint& : " << is_lvalue_reference<int&>::value;
    cout << "\nint&&: " << is_lvalue_reference<int&&>::value;
    cout << "\nchar : " << is_lvalue_reference<char>::value;
    cout << "\nchar& : " << is_lvalue_reference<char&>::value;
    cout << "\nchar&&: " << is_lvalue_reference<char&&>::value;
    cout << "\nfloat : " << is_lvalue_reference<float>::value;
    cout << "\nfloat& : " << is_lvalue_reference<float&>::value;
    cout << "\nfloat&&: " << is_lvalue_reference<float&&>::value;
    cout << "\ndouble : " << is_lvalue_reference<double>::value;
    cout << "\ndouble& : " << is_lvalue_reference<double&>::value;
    cout << "\ndouble&&: " << is_lvalue_reference<double&&>::value;
    return 0;
}

実行結果

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

is_lvalue_referenceの判定結果:
int : false
int& : true
int&&: false
char : false
char& : true
char&&: false
float : false
float& : true
float&&: false
double : false
double& : true
double&&: false

まとめ

std::is_lvalue_reference<T>::valueを使えば、あらゆる型に対して「それが左辺値参照かどうか」を簡単に判定できます。ポイントは以下の通りです。

• 通常の型（int、TPなど）→ false
• 左辺値参照（int&、TP&など）→ true
• 右辺値参照（int&&、TP&&など）→ false

このテンプレートは、テンプレートメタプログラミングやオーバーロード解決の際に型の性質を判別したい場合に非常に役立ちます。類似のテンプレートとして、右辺値参照を判定するstd::is_rvalue_reference、両方をまとめて判定できるstd::is_referenceも用意されているので、用途に応じて使い分けるとよいでしょう。