std::integral_constant

来自cppreference.com
< cpp‎ | types
 
 
 
类型的支持
基本类型
基础类型
定宽整数类型 (C++11)
数值极限
numeric_limits
C 数值极限接口
运行时类型信息
类型特性
类型类别
is_void(C++11)
is_null_pointer(C++14)
is_array(C++11)
is_pointer(C++11)
is_enum(C++11)
is_union(C++11)
is_class(C++11)
is_function(C++11)
is_object(C++11)
is_scalar(C++11)
is_compound(C++11)
is_integral(C++11)
is_floating_point(C++11)
is_fundamental(C++11)
is_arithmetic(C++11)
is_reference(C++11)
is_lvalue_reference(C++11)
is_rvalue_reference(C++11)
is_member_pointer(C++11)
is_member_object_pointer(C++11)
is_member_function_pointer(C++11)
类型属性
is_const(C++11)
is_volatile(C++11)
is_pod(C++11)
is_empty(C++11)
is_polymorphic(C++11)
is_final(C++14)
is_abstract(C++11)
is_trivial(C++11)
is_trivially_copyable(C++11)
is_standard_layout(C++11)
is_literal_type(C++11)(C++17中过时)
is_aggregate(C++17)
is_signed(C++11)
is_unsigned(C++11)
has_unique_object_representations(C++17)
类型特性常量
integral_constant
bool_constant
true_type
false_type
(C++11)
(C++17)
(C++11)
(C++11)
元函数
conjunction(C++17)
disjunction(C++17)
negation(C++17)
受支持操作
is_constructible
is_trivially_constructible
is_nothrow_constructible
(C++11)
(C++11)
(C++11)
is_default_constructible
is_trivially_default_constructible
is_nothrow_default_constructible
(C++11)
(C++11)
(C++11)
is_copy_constructible
is_trivially_copy_constructible
is_nothrow_copy_constructible
(C++11)
(C++11)
(C++11)
is_move_constructible
is_trivially_move_constructible
is_nothrow_move_constructible
(C++11)
(C++11)
(C++11)
is_assignable
is_trivially_assignable
is_nothrow_assignable
(C++11)
(C++11)
(C++11)
is_copy_assignable
is_trivially_copy_assignable
is_nothrow_copy_assignable
(C++11)
(C++11)
(C++11)
is_move_assignable
is_trivially_move_assignable
is_nothrow_move_assignable
(C++11)
(C++11)
(C++11)
is_destructible
is_trivially_destructible
is_nothrow_destructible
(C++11)
(C++11)
(C++11)
has_virtual_destructor(C++11)
is_swappable_with
is_swappable
is_nothrow_swappable_with
is_nothrow_swappable
(C++17)
(C++17)
(C++17)
(C++17)
关系与属性查询
is_same(C++11)
is_base_of(C++11)
is_convertible(C++11)
alignment_of(C++11)
rank(C++11)
extent(C++11)
is_invocable
is_invocable_r
is_nothrow_invocable
is_nothrow_invocable_r
(C++17)
(C++17)
(C++17)
(C++17)
类型修改
remove_cv
remove_const
remove_volatile
(C++11)
(C++11)
(C++11)
add_cv
add_const
add_volatile
(C++11)
(C++11)
(C++11)
make_signed(C++11)
make_unsigned(C++11)
类型变换
aligned_storage(C++11)
aligned_union(C++11)
decay(C++11)
enable_if(C++11)
void_t(C++17)
conditional(C++11)
common_type(C++11)
underlying_type(C++11)
result_of
invoke_result
(C++11)(C++17中过时)
(C++17)
 
定义于头文件 <type_traits>
template< class T, T v >
struct integral_constant;
(C++11 起)

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

目录

帮助模板

帮助别名模板 std::bool_constantTbool 的常用情况定义。

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

Tbool 的二种常用情形提供 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
[静态]
T 类型的值为 v 的静态常量
(公开静态成员常量)

[编辑] 成员函数

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

std::integral_constant::operator value_type

constexpr operator value_type() const;

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

异常

noexcept规定:  
noexcept
  (C++11 起)

std::integral_constant::operator()

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

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

异常

noexcept规定:  
noexcept
  (C++11 起)

[编辑] 可行实现

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

[编辑] 示例

#include <iostream>
#include <type_traits>
 
int main() 
{
    typedef std::integral_constant<int, 2> two_t;
    typedef std::integral_constant<int, 4> four_t;
 
//  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
    };
    typedef std::integral_constant<my_e, my_e::e1> my_e_e1;
    typedef std::integral_constant<my_e, my_e::e2> 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_e2, my_e_e2>::value,
                  "my_e_e2 != my_e_e2");
}