C++のstd::is_constテンプレートの使い方を解説！構文・戻り値・サンプルコード付き

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

is_constは、指定された型がconst修飾型であるかどうかを判定するために使用されるタイプライツ（型特性）テンプレートです。

const修飾型とは？

「const修飾型」とは、その値が定数として扱われる型のことです。constで宣言された変数は、一度値を初期化すると、プログラムの実行中にその値を変更したり上書きしたりすることができません。これにより、意図しない値の書き換えを防ぎ、コードの安全性と可読性を高めることができます。

構文

template <class T> is_const;

パラメータ

このテンプレートが受け取るパラメータは型Tのみです。テンプレートは、与えられた型Tがconst修飾されているかどうかをチェックします。

戻り値

このテンプレートはブール値（bool）を返します。指定された型がconst修飾型であればtrue、そうでなければfalseを返します。

入出力例

Input: is_const<const int>::value;
Output: true
Input: is_const<int>::value;
Output: false

サンプルコード1：基本の型での判定

以下のコードでは、int、const int、const int& のそれぞれに対してis_constの判定結果を出力しています。

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

int main() {
    cout << boolalpha;
    cout << "checking for is_const template: ";
    cout << "\nInt : " << is_const<int>::value;
    cout << "\nConst int : " << is_const<const int>::value;
    cout << "\nConst int& : " << is_const<const int&>::value;
    return 0;
}

出力結果

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

checking for is_const template:
Int : false
Const int : true
Const int& : false

解説

注目すべき点は、「const int&」がfalseと判定されることです。is_constは型の最上位レベルのconst性のみをチェックするため、参照先がconstであっても、参照型そのものはconst修飾されていないとみなされます。

サンプルコード2：ポインタ型での判定

次に、ポインタ型におけるconst修飾の判定例を見てみましょう。

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

int main() {
    cout << boolalpha;
    cout << "checking for is_const template: ";
    cout << "\nFloat : " << is_const<float>::value;
    cout << "\nChar : " << is_const<char>::value;
    cout << "\nFloat *: " << is_const<float*>::value;
    cout << "\nChar *: " << is_const<char*>::value;
    cout << "\nConst int* : " << is_const<const int*>::value;
    cout << "\nint* const : " << is_const<int* const>::value;
    return 0;
}

出力結果

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

checking for is_const template:
Float : false
Char : false
Float *: false
Char *: false
Const int* : false
int* const : true

解説

ここで重要なのは、「const int*」（constへのポインタ）はfalseだが、「int* const」（constポインタ）はtrueになる点です。

is_constは「ポインタ自体」がconstであるかどうかを判定します。「const int*」の場合、指し示す先の値がconstであるだけで、ポインタ自体は変更可能です。一方、「int* const」はポインタ自体がconst修飾されているため、trueと判定されます。この違いは、C++のconst修飾が型のどの部分に適用されるかを理解するうえで非常に重要なポイントです。

まとめ

std::is_constは、テンプレートメタプログラミングにおいて、型がconst修飾されているかをコンパイル時に判定できる便利なタイプライツです。特に、ポインタや参照と組み合わせた場合の挙動（最上位のconstのみを判定する仕様）を理解しておくことで、より正確な型操作が可能になります。