C++のis_referenceテンプレート

この記事では、C++STLでのstd::is_referenceテンプレートの動作、構文、および例について説明します。

is_referenceは、ヘッダーファイルの下にあるテンプレートです。このテンプレートは、指定されたタイプTが参照タイプであるかどうかを確認するために使用されます。

このテンプレートはis_rvalueとis_lvalueの組み合わせであり、どちらかがtrueの場合、is_referenceの結果もtrueになるかどうかをチェックします。

C ++のリファレンスとは何ですか？

参照は、既存の変数のエイリアスまたは別の名前です。参照はポインタとは異なります-

• 参照をnullとして設定することはできませんが、ポインターをnullポインターにすることができます。
• オブジェクトへの参照が初期化されると、それを変更することはできません。ポインタはいつでも他のオブジェクトに向けることができます。
• 参照は作成時に初期化する必要がありますが、ポインタは作成後に初期化できます。

参照は、参照する変数の前にあるアンパサンド（＆）記号を使用して宣言できます。

構文

template <class T> is_reference;

パラメータ

テンプレートにはタイプTのパラメーターのみを含めることができ、指定されたタイプが参照タイプであるかどうかを確認します。

戻り値

ブール値を返します。指定された型が参照型の場合はtrue、指定された型が参照型でない場合はfalseを返します。

例

Input: is_reference<int>::value;
Output: False

Input: is_reference<int&>::value;
Output: True

例

#include <iostream>
#include <type_traits>
using namespace std;
class TP {
};
int main() {
   cout << boolalpha;
   cout << "Checking for is_reference: ";
   cout << "\n class TP : "<<is_reference<TP>::value;
   cout << "\n class TP&: "<<is_polymorphic<TP&>::value;
   cout << "\n class TP&&: "<<is_polymorphic<TP&&>::value;
   return 0;
}

出力

上記のコードを実行すると、次の出力が生成されます-

Checking for is_reference:
class TP : false
class TP&: false
class TP&&: false

例

#include <iostream>
#include <type_traits>
using namespace std;
int main() {
   cout << boolalpha;
   cout << "Checking for is_reference: ";
   cout << "\n int: "<<is_reference<int>::value;
   cout << "\n int&: "<< is_reference <int&>::value;
   cout << "\n int&&: "<< is_reference <int&&>::value;
   // char
   cout << "\n char: "<<is_reference<char>::value;
   cout << "\n char&: "<< is_reference <char&>::value;
   cout << "\n char&&: "<< is_reference <char&&>::value;
   //float
   cout << "\n float: "<<is_reference<float>::value;
   cout << "\n float&: "<< is_reference <float&>::value;
   cout << "\n float&&: "<< is_reference <float&&>::value;
   //double
   cout << "\n double: "<<is_reference<double>::value;
   cout << "\n double&: "<< is_reference <double&>::value;
   cout << "\n double&&: "<< is_reference <double&&>::value;
   return 0;
}

出力

上記のコードを実行すると、次の出力が生成されます-

Checking for is_reference:
int: false
int&: true
int&&: true
char: false
char&: true
char&&: true
float: false
float&: true
float&&: true
double: false
double&: true
double&&: true