次の方法で共有


integral_constant クラス、bool_constant クラス

型および値から整数定数を作成します。

構文

template<class T, T v>
struct integral_constant {
   static constexpr T value = v;
   typedef T value_type;
   typedef integral_constant<T, v> type;
   constexpr operator value_type() const noexcept;
   constexpr value_type operator()() const noexcept;
   };

パラメーター

T
定数の型。

v
定数の値。

解説

integral_constant クラス テンプレートは、整数型 T とその型の値 v で特殊化されると、指定された値の整数型の定数を保持するオブジェクトを表します。 type という名前のメンバーは、生成済みテンプレートの特殊化型のエイリアスです。value メンバーは、特殊化を作成するために使用された値 v を保持します。

bool_constant クラス テンプレートは、T 引数として bool を使用する integral_constant の明示的な部分的特殊化です。

// std__type_traits__integral_constant.cpp
// compile with: /EHsc
#include <type_traits>
#include <iostream>

int main()
    {
    std::cout << "integral_constant<int, 5> == "
        << std::integral_constant<int, 5>::value << std::endl;
    std::cout << "integral_constant<bool, false> == " << std::boolalpha
        << std::integral_constant<bool, false>::value << std::endl;

    return (0);
    }
integral_constant<int, 5> == 5
integral_constant<bool, false> == false

必要条件

ヘッダー: <type_traits>

名前空間: std

関連項目

<type_traits>
false_type
true_type