std::integral_constant

在标头 `<type_traits>` 定义
template< class T, T v > struct integral_constant;		(C++11 起)

std::integral_constant 包装特定类型的静态常量。它是 C++ 类型特征的基类。

添加 std::integral_constant 的特化的程序行为未定义。

辅助别名模板

为 T 为 bool 的常用情况定义辅助别名模板 std::bool_constant 。

template <bool B> using bool_constant = integral_constant<bool, B>;		(C++17 起)

特化

为其中 T 为 bool 的二种常用情形提供 typedef ：

在标头 `<type_traits>` 定义
类型	定义
`true_type`	std::integral_constant<bool, true>
`false_type`	std::integral_constant<bool, false>

成员类型

类型	定义
`value_type`	`T`
`type`	std::integral_constant<T,v>

成员常量

名称	值
constexpr T value [静态]	`T` 类型的值为 `v` 的静态常量 (公开静态成员常量)

成员函数

operator value_type	返回包装的值 (公开成员函数)
operator() (C++14)	返回包装的值 (公开成员函数)

std::integral_constant::operator value_type

constexpr operator value_type() const noexcept;

转换函数。返回包装的值。

std::integral_constant::operator()

constexpr value_type operator()() const noexcept;		(C++14 起)

返回包装的值。此函数允许 std::integral_constant 被用作编译时函数对象的源。

可能的实现

template<class T, T v>
struct integral_constant {
    static constexpr T value = v;
    using value_type = T;
    using type = integral_constant; // 使用注入类名
    constexpr operator value_type() const noexcept { return value; }
    constexpr value_type operator()() const noexcept { return value; } // C++14 起
};

注解

功能特性测试宏	值	标准	注释
`__cpp_lib_integral_constant_callable`	201304L	(C++14)	`std::integral_constant::operator()`
`__cpp_lib_bool_constant`	201505L	(C++17)	`std::bool_constant`

示例

运行此代码

#include <type_traits>
 
int main()
{
    using two_t = std::integral_constant<int, 2>;
    using four_t = std::integral_constant<int, 4>;
 
    //  static_assert(std::is_same<two_t, four_t>::value,
    //                "two_t and four_t are not equal!");
    //  error: static assertion failed: "two_t and four_t are not equal!"
 
    static_assert(two_t::value * 2 == four_t::value, "2*2 != 4");
 
    enum class my_e { e1, e2 };
 
    using my_e_e1 = std::integral_constant<my_e, my_e::e1>;
    using my_e_e2 = std::integral_constant<my_e, my_e::e2>;
 
    //  static_assert(my_e_e1::value == my_e::e2,
    //               "my_e_e1::value != my_e::e2");
    //  error: static assertion failed: "my_e_e1::value != my_e::e2"
 
    static_assert(std::is_same<my_e_e1, my_e_e2>::value, "my_e_e1 != my_e_e2");
}

编译器支持
自立实现与有宿主实现
语言
标准库
标准库标头
具名要求
功能特性测试宏 (C++20)
语言支持库
概念库 (C++20)
元编程库 (C++11)
诊断库
通用工具库
字符串库
容器库
迭代器库
范围库 (C++20)
算法库
数值库
本地化库
输入/输出库
文件系统库 (C++17)
正则表达式库 (C++11)
并发支持库 (C++11)
技术规范
符号索引
外部库