写模板代码时最容易卡住的地方不是语法而是「我想在编译期判断一件事再据此选一条路」。type_traits就是干这个的它把「这个类型是不是整型」「这个类型去掉引用之后还剩什么」这类问题变成可以直接塞进static_assert、enable_if、if constexpr里的常量与类型。这篇按查询类query trait和变换类transformation trait两条线把高频工具过一遍讲清 C17 的_v/_t后缀为什么更值得用最后用一段完整程序把它们串起来。1. 引子一个函数两种累加器先看一个真实的小需求写一个求和函数total()元素是整型时用long long累加少溢出一点元素是浮点时用double。用运行时if做不到函数的返回类型在编译期就钉死了不可能「看运行时数据再决定返回什么类型」靠模板特化写两份实现又太笨重。这时type_traits的两个能力正好对症std::is_integral_vT回答「是不是整型」std::conditional_t负责「二选一挑一个类型」。拼起来就是编译期的 if / else而且这份开销完全落在编译期运行时一条分支指令都不多。官方文档type_traits — cppreference2. 两大类查询类与变换类type_traits里有上百个名字看起来吓人其实只有两类查询类query trait输入类型或类型 一组参数吐出一个bool。命名规律是is_xxx比如is_integral、is_same。变换类transformation trait输入类型吐出另一个类型。命名规律是动词开头比如remove_reference、add_const。还有一个必须记住的版本分界C11/14 只能写is_integralT::value和remove_referenceT::typeC17 加入了_v与_t后缀可以直接写成is_integral_vT和remove_reference_tT。分类代表工具产出形态C17 简写单类型查询is_integral/is_floating_point/is_pointer/is_enum/is_classbool常量is_integral_vT类型间关系查询is_same/is_base_of/is_convertible/is_assignablebool常量is_same_vA, B构造与调用查询is_constructible/is_default_constructible/is_invocablebool常量is_constructible_vT, Args...cv / 引用变换remove_reference/remove_cv/add_const/add_lvalue_reference类型remove_reference_tT复合变换decay/common_type/underlying_type/conditional类型decay_tT/conditional_tC, A, B条件开关enable_if类型或「替换失败」enable_if_tC, T编译期逻辑运算conjunction/disjunction/negationbool常量且短路conjunction_vTs...先说一串最常打的查询类跑一遍看值// traits_query.cpp — 编译: g -stdc17 -Wall -O2 traits_query.cpp -o tq#includecstdio#includestring#includetype_traitsstructBase{};structDerived:Base{};intmain(){// ① 单类型查询是不是整型 / 是不是同一个类型std::printf(is_integral_vint %d\n,std::is_integral_vint);std::printf(is_integral_vdouble %d\n,std::is_integral_vdouble);std::printf(is_same_vint, long %d\n,std::is_same_vint,long);// ② 类型间关系继承关系是不对称的std::printf(is_base_of_vBase, Derived %d\n,std::is_base_of_vBase,Derived);std::printf(is_base_of_vDerived, Base %d\n,std::is_base_of_vDerived,Base);// ③ 构造查询能不能用这些实参构造出 Tstd::printf(is_constructible_vstring, char* %d\n,std::is_constructible_vstd::string,constchar*);std::printf(is_constructible_vstring, int %d\n,std::is_constructible_vstd::string,int);// ④ 转换查询能不能隐式转换派生类指针 → 基类指针可以反过来不行std::printf(is_convertible_vDerived*, Base* %d\n,std::is_convertible_vDerived*,Base*);std::printf(is_convertible_vBase*, Derived* %d\n,std::is_convertible_vBase*,Derived*);}is_integral_vint 1 is_integral_vdouble 0 is_same_vint, long 0 is_base_of_vBase, Derived 1 is_base_of_vDerived, Base 0 is_constructible_vstring, char* 1 is_constructible_vstring, int 0 is_convertible_vDerived*, Base* 1 is_convertible_vBase*, Derived* 0两个容易踩的点is_base_of和is_convertible都不是对称关系Derived是Base的基类为假、Base*能隐式转成Derived*也为假而is_constructible_vstd::string, int是0因为std::string没有「只吃一个int」的构造函数。这类判断交给编译器算比人脑记构造函数重载表可靠得多。官方文档std::is_base_of — cppreference3._v/_t后缀为什么比::value/::type值得用is_integralT::value和is_integral_vT语义完全一样_v版本就是一个变量模板variable template_t版本就是一个别名模板alias template。差别全在书写体验上维度C11 写法C17 写法差在哪取boolstd::is_integralT::valuestd::is_integral_vT少敲 8 个字符读起来像普通布尔变量取类型typename std::remove_referenceT::typestd::remove_reference_tT_t是别名模板不需要typename组合成约束typename std::enable_ifstd::is_integralT::value, T::typestd::enable_if_tstd::is_integral_vT, T模板签名一眼能读完不再是「模板内部的地址」第二行那个typename是真痛点remove_referenceT::type是依赖名dependent name漏写typename编译器就报错而报错位置经常离现场很远。_t后缀内部已经把typename吃掉了写的人不必再想这件事。这也是 C17 之后标准库新增萃取几乎都带_v/_t的原因。官方文档Standard library header type_traits含 _v / _t 全表— cppreference4.std::decay到底做了什么decay退化是变换类里最容易被误用的一个。它其实只做三件事而且顺序固定去引用 → 去顶层 cv → 数组/函数退化成指针。这正是「按值传参」时编译器对实参做的调整所以decay_tT常被当作「拿到 T 的裸类型」的快捷方式。std::decay_tT 做了什么三步变换顺序固定 ┌───────────────────────┐ │ T const int()[4] │ └───────────┬───────────┘ │ ① 去引用 remove_reference ▼ ┌───────────────────────┐ │ const int[4] │ └───────────┬───────────┘ │ ② 去顶层 cv remove_cv ▼ ┌───────────────────────┐ │ int[4] │ └───────────┬───────────┘ │ ③ 数组 → 指针 remove_extent add_pointer ▼ ┌───────────────────────┐ │ int* │ └───────────────────────┘ 函数类型同理void(int) → void(*)(int)static_assert是验证这些规则最直接的手段它不需要运行编译不过就是结论。下面用static_assert把三条规则钉死再把结果打出来看// traits_decay.cpp — 编译: g -stdc17 -Wall -O2 traits_decay.cpp -o td#includecstdio#includestring#includetype_traits// 只为打印类型名GCC / Clang 有 __PRETTY_FUNCTION__——教学用途不必照抄templateclassTstd::stringtype_name(){std::string p__PRETTY_FUNCTION__;constautobp.find(T )4;returnp.substr(b,p.find(;,b)-b);}intmain(){// ① 去引用含顶层 cv 一起去static_assert(std::is_same_vstd::decay_tint,int);static_assert(std::is_same_vstd::decay_tconstint,int);// ② 去 cvstatic_assert(std::is_same_vstd::decay_tconstvolatileint,int);// ③ 数组 → 指针static_assert(std::is_same_vstd::decay_tint[4],int*);// ③ 函数 → 函数指针static_assert(std::is_same_vstd::decay_tvoid(int),void(*)(int));std::printf(decay_tint %s\n,type_namestd::decay_tint().c_str());std::printf(decay_tconst int %s\n,type_namestd::decay_tconstint().c_str());std::printf(decay_tconst volatile int %s\n,type_namestd::decay_tconstvolatileint().c_str());std::printf(decay_tint[4] %s\n,type_namestd::decay_tint[4]().c_str());std::printf(decay_tvoid(int) %s\n,type_namestd::decay_tvoid(int)().c_str());std::printf(decay_tstd::string %s\n,type_namestd::decay_tstd::string().c_str());}decay_tint int decay_tconst int int decay_tconst volatile int int decay_tint[4] int* decay_tvoid(int) void (*)(int) decay_tstd::string std::__cxx11::basic_stringchar前五行都符合预期。最后一行是个提醒GCC 打印出来的std::string真名是std::__cxx11::basic_stringchar这是 ABI 里的内联命名空间所以不要在代码里依赖标准库类型的字符串名字只信is_same_v这类编译期判断。还要注意decay和remove_reference、remove_cv不是一回事remove_reference_tint得int顺带丢掉了引用但remove_reference_tconst int得const intconst还留着decay_tconst int才是int。想让数组保持数组、别退化成指针就用std::remove_reference_t而不是decay_t。官方文档std::decay — cppreference5.std::conditional_t编译期的 if / elsestd::conditional_t条件, 条件为真时的类型, 条件为假时的类型是类型层面上的三元运算符。注意两个候选类型都会被写出来并被检查只是最后只留下一个。这一点和if constexpr的「丢弃分支」不同别混淆。// traits_cond.cpp — 编译: g -stdc17 -Wall -O2 traits_cond.cpp -o tc#includecstdio#includetype_traits// 整型 → long long其余 → double。这一行就是编译期的 if / elsetemplateclassTusingAccumulatorstd::conditional_tstd::is_integral_vT,longlong,double;templateclassTAccumulatorTsum(constT*data,std::size_t n){AccumulatorTacc{};// 声明即初始化Core Guidelines ES.20for(std::size_t i0;in;i)accdata[i];returnacc;}intmain(){constintints[]{1,2,3,4};constdoubledbls[]{1.5,2.5};std::printf(is_same_vAccumulatorint, long long %d\n,std::is_same_vAccumulatorint,longlong);std::printf(is_same_vAccumulatordouble, double %d\n,std::is_same_vAccumulatordouble,double);std::printf(sum(ints, 4) %lld\n,sum(ints,4));std::printf(sum(dbls, 2) %.1f\n,sum(dbls,2));}is_same_vAccumulatorint, long long 1 is_same_vAccumulatordouble, double 1 sum(ints, 4) 10 sum(dbls, 2) 4.0AccumulatorT只是个别名没有运行时实体所以「选类型」这件事的代价是零。sumint和sumdouble是两份独立实例化前者内部是long long加法后者是double加法各自走各自的机器码没有分支预测、没有类型比较编译期决策的收益就在这里运行时一分钱不花。conditional家族里还有common_type求两个类型能共同转换到的那个类型std::max用它推导返回类型和underlying_type取enum class的底层整数类型做位运算/序列化时常用。官方文档std::conditional — cppreference6.std::is_invocable_v可调用性查询C17判断「这个可调用对象能不能用这些实参调用」C11 时代只能绕道std::result_of它在 C17 被弃用、C20 已移除。现在的正解是std::is_invocable_vF, Args...// traits_invocable.cpp — 编译: g -stdc17 -Wall -O2 traits_invocable.cpp -o ti#includecstdio#includestring#includetype_traitsintadd(inta,intb){returnab;}structGreeter{voidoperator()()const{}};intmain(){std::printf(is_invocable_vdecltype(add), int, int %d\n,std::is_invocable_vdecltype(add),int,int);std::printf(is_invocable_vdecltype(add), int %d\n,std::is_invocable_vdecltype(add),int);std::printf(is_invocable_vGreeter %d\n,std::is_invocable_vGreeter);std::printf(is_invocable_v成员函数指针, const Greeter %d\n,std::is_invocable_vdecltype(Greeter::operator()),constGreeter);std::printf(is_invocable_r_vint, add, int, int %d\n,std::is_invocable_r_vint,decltype(add),int,int);std::printf(is_invocable_r_vstring, add, int, int %d\n,std::is_invocable_r_vstd::string,decltype(add),int,int);}is_invocable_vdecltype(add), int, int 1 is_invocable_vdecltype(add), int 0 is_invocable_vGreeter 1 is_invocable_v成员函数指针, const Greeter 1 is_invocable_r_vint, add, int, int 1 is_invocable_r_vstring, add, int, int 0add要两个参数所以只给一个int时是0Greeter重载了operator()零参数可调用所以是1。is_invocable_r_vR, F, Args...是它的加强版不光要求能调还要求返回值能转成Radd返回int转成std::string不成立所以最后一行是0。这两个萃取是写泛型invoke()、std::function式包装器时判断「该不该给出这个重载」的标准手段。官方文档std::is_invocable — cppreference7. 完整示例按元素类型自动选累加器把上面几件零件拼起来conditional_t第 5 节选累加器类型、decay_t第 4 节去掉传入容器的引用与 cv、is_same_v第 3 节验收结果。整个程序只写一份total()却能同时服务std::vectorint和std::vectordouble// traits_full.cpp — 编译: g -stdc17 -Wall -O2 traits_full.cpp -o tfull#includecstdio#includetype_traits#includevector// ① 编译期选类型整型用 long long其余用 doubletemplateclassTusingAccumulatorstd::conditional_tstd::is_integral_vT,longlong,double;// ② 变换无论传进来的是 T、T 还是 const T都剥成裸类型templateclassTusingBarestd::decay_tT;// ③ 查询 变换组合按元素类型挑累加器templateclassContainerAccumulatortypenameBareContainer::value_typetotal(constContainerc){AccumulatortypenameBareContainer::value_typeacc{};for(constautox:c)accstatic_castdecltype(acc)(x);returnacc;}intmain(){conststd::vectorintvi{1,2,3,4};conststd::vectordoublevd{1.5,2.5,3.0};std::printf(total(vi) %lld\n,total(vi));std::printf(total(vd) %.1f\n,total(vd));// 显式把 Container 写成 const 引用也别怕Bare 会把它剥回去std::printf(totalconst std::vectorint(vi) %lld\n,totalconststd::vectorint(vi));std::printf(is_same_vBareint, int %d\n,std::is_same_vBareint,int);std::printf(is_same_vBareint[3], int* %d\n,std::is_same_vBareint[3],int*);}total(vi) 10 total(vd) 7.0 totalconst std::vectorint(vi) 10 is_same_vBareint, int 1 is_same_vBareint[3], int* 1total(vi)里Container被推导成std::vectorintvalue_type是intAccumulatorint就是long long所以%lld打得出来total(vd)走double路径。第三行是刻意的压力测试把Container显式指定成const std::vectorint如果不先decay就拿::value_type会变成「对引用取成员」。这正是Bare存在的理由。整个程序没有任何裸new/delete容器自己管资源RAII 基调也没有using namespace std;。8. 延伸阅读type_traits 头文件全表 — cppreference —— 查询 / 变换 /_v/_t一页查完最该收藏的一页std::decay — cppreference —— 三条变换规则的准确定义注意它对函数类型也生效std::conditional — cppreference —— 编译期选类型的基元common_type也是拿它实现的std::is_invocable — cppreference —— 取代std::result_of的现代可调用性查询std::conjunction / disjunction / negation — cppreference —— 编译期逻辑运算关键是它短路conjunction_v遇到第一个假就停止实例化后面的本知识库内的相关篇目《SFINAE 入门替换失败不是错误》 —— SFINAESubstitution Failure Is Not An Error指模板参数替换失《if constexprC17 编译期分支为什么它能取代 SFINAE》 —— if constexpr 与普通 if 的本质区别在于「未被选中的分支不实例化」《可变参数模板与 C17 折叠表达式从递归展开到一行求和》 —— 从 C11 时代的递归展开讲起9. 一句话总结type_traits只有两类东西查询类吐出boolis_integral_v/is_same_v/is_base_of_v/is_constructible_v/is_convertible_v/is_invocable_v变换类吐出类型remove_reference_t/add_const_t/decay_t/enable_if_t/conditional_t/common_type_t。C17 的_v/_t后缀把::value和::type全省掉还顺手解决了typename的书写坑。decay_t 去引用 去 cv 数组/函数退化为指针等价于「按值传参时编译器做的事」要保住数组就别用它。这些判断全部发生在编译期运行时零开销——这就是模板元编程的第一块砖。