std::integral_constant

来自cppreference.com
< cpp‎ | types

该页由英文版wiki使用Google Translate机器翻译而来。

该翻译可能存在错误或用词不当。鼠标停留在文本上可以看到原版本。你可以帮助我们修正错误或改进翻译。参见说明请点击这里.

点击这里参见该页的英文版本

 
C++
 
实用工具库
类型的支持 (basic types, RTTI, type traits)
动态内存管理
错误处理
程序实用工具
可变参数函数
日期和时间
函数对象
initializer_list（C++11）
bitset
hash（C++11）
关系运算符
原文：
Relational operators
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
rel_ops::operator!=
rel_ops::operator>
rel_ops::operator<=
rel_ops::operator>=
双和元组
原文：
Pairs and tuples
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
pair
tuple（C++11）
piecewise_construct_t（C++11）
piecewise_construct（C++11）
掉期，远期和移动
原文：
Swap, forward and move
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
swap
forward（C++11）
move（C++11）
move_if_noexcept（C++11）
declval（C++11）
 
类型的支持
基本类型
原文：
Basic types
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
基本类型
固定宽度的整数类型 （C++11）
nullptr_t（C++11）
offsetof
NULL
数值范围内
原文：
Numeric limits
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
numeric_limits
C数字限制接口
运行时类型信息
原文：
Runtime type information
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
type_info
type_index（C++11）
类型特征
原文：
Type traits
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
初级型两类
原文：
Primary type categories
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
is_void（C++11）
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）
类型属性
原文：
Type properties
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
is_const（C++11）
is_volatile（C++11）
is_pod（C++11）
is_empty（C++11）
is_polymorphic（C++11）
is_abstract（C++11）
is_trivial（C++11）
is_trivially_copyable（C++11）
is_standard_layout（C++11）
is_literal_type（C++11）
is_signed（C++11）
is_unsigned（C++11）
支持的操作
原文：
Supported operations
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
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）
关系和属性查询
原文：
Relationships and property queries
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
is_same（C++11）
is_base_of（C++11）
is_convertible（C++11）
alignment_of（C++11）
rank（C++11）
extent（C++11）
类型的修改
原文：
Type modifications
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
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）
remove_reference（C++11）
add_lvalue_reference
add_rvalue_reference		（C++11）
（C++11）
remove_pointer（C++11）
add_pointer（C++11）
remove_extent（C++11）
remove_all_extents（C++11）
类型转换
原文：
Type transformations
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
aligned_storage（C++11）
aligned_union（C++11）
decay（C++11）
enable_if（C++11）
conditional（C++11）
common_type（C++11）
underlying_type（C++11）
result_of（C++11）
键入特征常数
原文：
Type trait constants
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
integral_constant（C++11）
 
在头文件 <type_traits> 中定义
template< class T, T v >
struct integral_constant;
 （C++11 起）
std::integral_constant包装指定类型的静态常量。它的基类是C + +的类型特征.
原文：
std::integral_constant wraps a static constant of specified type. It is the base class for the C++ type traits.
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
两个专业的类型bool
原文：
Two specializations for the type bool are provided:
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
在头文件 <type_traits> 中定义
类型
原文：
Type
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
 Definition
true_type std::integral_constant<bool, true>
false_type std::integral_constant<bool, false>

目录

[编辑] 会员类型

类型
原文：
Type
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
 Definition
value_type T
type std::integral_constant<T,v>

[编辑] 会员常数

姓名
原文：
Name
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
 Value
value
静态的常量表达式的值类型Tv
原文：
static constant expression of type T with value v
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。

[编辑] 成员函数

operator value_type
转换的对象value_type，返回value
原文：
converts the object to value_type, returns value
这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。

（公共成员函数）

[编辑] 可能的实现

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 { return value; }
};

[编辑] 示例

#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 a same types"
 
    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");
}


来自“http://zh.cppreference.com/mwiki/index.php?title=cpp/types/integral_constant&oldid=38603”