integral_constant Class, bool_constant Class


The new home for Visual Studio documentation is Visual Studio 2017 Documentation on

The latest version of this topic can be found at integral_constant Class, bool_constant Class.

Makes an integral constant from a type and value.

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


The type of the constant.

The value of the constant.

The integral_constant template class, when specialized with an integral type T and a value v of that type, represents an object that holds a constant of that integral type with the specified value. The member named type is an alias for the generated template specialization type, and the value member holds the value v used to create the specialization.

The bool_constant template class is an explicit partial specialization of integral_constant that uses bool as the T argument.

// 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  

Header: <type_traits>

Namespace: std

false_type Typedef
true_type Typedef