判断类别

谓词命名以is_为前缀通过访问静态成员常量value得到输出结果

static_assert(std::is_integralint::value);//true

static_assert(!

std::is_integralfloat::value);//false

static_assert(std::is_floating_pointdouble::value);//true

static_assert(std::is_classstruct

Point::value);//true

long::value);//falseis_integral用来判断给定的类型是否为整数类型使用尖括号将类型输出给这个trait,通过其成员valu来输出一个bool类型的结果

is_floating_point用来判断给定的类型是否为浮点类型

is_class用来判断给定的类型是否为class、struct定义的类型

对于一个type

traits谓词的结果标准库约定使用value常量来存储C17为其预定义了一系列模板::value的访问方式能够用_v来代替

template

traits拥有修改类型的能力基于已有类型应用修改得到新的类型输出类型可以通过访问type类型成员函数得到结果。

static_assert(is_same_vtypename

int::type

static_assert(is_same_vtypename

int);

static_assert(is_same_vtypename

,const

static_assert(is_same_vtypename

std::add_pointerint

static_assert(is_same_vtypename

int(*)[6]);remove_const将输入的类型移除掉const修饰符并返回新的类型如果不带const则不变

decay语义为退化通过模拟函数或值语义传递时会使所有应用到的函数参数类型退化若为引用那么应用将会去掉

decayint[5]

辅助类integral_constant将值与对应的类型包裹起来从而能够将值转化为类型也能从类型转换回值实现值与类型的一一映射关系

这个类的主要作用是作为一个容器用于存储在编译时就可以确定的值并且这个值的类型也是在编译期可知的。

using

Four::value);Tow和Four为两个类型,分别对应24。

使用integral_constant将值转换成类型后通过value静态成员常量从类型中得到值并进行计算

标准库对应布尔类型也提供了bool_constant,实现时仅仅是integral_constant的类型别名

templatebool

enable_if常出现于SFINAE场景中通过对模板函数模板类中的类型进行谓词判断使得程序能够选择合适的模板函数的重载版本或模板类的特化版本

enable_if可接受两个模板参数第一个参数为bool类型的值,当条件为真时输出的类型成员type的结果为第二个模板参数否则没有类型成员type

int

//当a1时condition为true,那么type为int所以会声明一个int*

typename

!1时condition为true那么type为double所以会声明一个double*

a;enable_if用于函数模板中典型应用是作为函数模板的返回类型

templatetypename

nmsp2::funcebchar();//error:未找到匹配的重载函数,条件不满足//C14出了这个等同上面

templatetypename

//nmsp2::funcebchar();traits使用示例

类型推断

使用std::integral_constant作为编译时的常量表达式容器using

TraitType

3.14;print_type_trait(integer);

输出The

integralprint_type_trait(floating);

输出The

std::enable_ifstd::is_arithmeticT::value::type

print_sum(T

std::enable_if!std::is_arithmeticT::value::type

print_sum(T

不会被实例化因为std::string不是算术类型print_sum(NonArithmetic{},

NonArithmetic{});