元编程：type_traits 类型萃取（integral_constant 、enable_if、is_integral、is_same、设定结构体传唯一类型参数）可以看懂代码背后逻辑

已于 2022-03-12 16:36:26 修改
阅读量350 收藏
点赞数
分类专栏： 元编程 文章标签： c++
于 2021-12-26 22:30:04 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/qq_38409301/article/details/122162244
版权

转载：type_traits 类型萃取

 

重点：

1.integral_constant 将变量定义成编译器常量

 2.enable_if

重点：

其中主要推断方式是通过调用std::is_arithmetic<T>.

若 T 为算术类型（即整数类型或浮点类型）或其修饰类型(添加注入const等)，则提供等于 true 的成员常量 value 。对于任何其他类型， value为 false 。

3.is_integral

转载：C++元编程初探 : std::en5able_if - 知乎 (zhihu.com)

先看一下源码is_integral支持哪些类型

输入int类型可以

 不支持string

4.is_same 判断两个类型是否相同

 5.设置结构体传入的参数是特定类型

 

qq_1410888563
关注
专栏目录
C++模板元编程（20）std::enable_if源码解读以及应用
二进制君
07-02 272
再进一步，用户在使用时，false和true可以替换成编译期常量表达式，形成一个编译器的判断，在符合某些条件时编译通过，不符合条件时编译报错，目的是在编译期拦截错误。使用enable_if的诀窍是，作为模板的非类型模板参数使用，使用其默认类型void即可，这样用户不用給该参数传值。这个偏特化版本略有不同，里面定义了类型type，这个type类型就是由模板参数的类型。一个通过返回值，一个通过默认模板参数，都可以实现校验模板参数是整型的功能。利用了偏特化的原理，对模板的第一个参数进行具体化，直接传递true。
元编程: is_integral＜Tp＞
hit1524468的专栏
01-16 433
判断类型是否为整型， 注意，布尔类型也是整型 #include <iostream> #include <functional> #include <type_traits> using namespace std; int int_print() { return 0; } void void_print() { } class A { public: A() { a = 10; } int int
C++ traits编程技法之__type_traits
mmshixing的博客
06-13 4220
__type_trivial  双底线前缀，表示是SGI STL以外的东西，不在STL标准范围之内。 __type_trivial负责萃取型别（Type）的特性，究竟是什么特性呢？          注：trivial是英文“无意义的、不重要”的意思。          答曰：这个型别是否具备non-trivialdefalt ctor、non-trivial copy ctor、non-t
C++ integral_constant 实现
c++用法的博客
10-04 3163
C++ STL type_traits 实现 - integral_constant integral_constant 是模板元编程的一个重要的类, 它的作用是定义类型的常量. 它定义了 bool_constant, true_type 和 false_type. 作用 C++ 17 之前由于没有变量模板, 我们需要获取结果会使用::value 比如: (is_empty<int>::value), 其实就是继承自integral_constant, 例如 is_same 的实现: templ
C/C++编程：std::is_integral
OceanStar的博客
03-09 2907
std::is_integral #include <iostream> #include <type_traits> // class A{}; enum E: int {}; // 改写：如何反推出模板参数的类型名字 ??? template<class T> void f(T i){ if(!std::is_integral<T>::value){ printf("%s ", "Integral required.\n")
C++11中type_traits中的基石 - integral_constant
FlushHip
10-10 5627
C++标准库的的编写方法是基于模板元来编程的，既然是用模板，那么就少不了与类型打交道，而C++11标准库中新加入了&amp;amp;lt;type_traits&amp;amp;gt;头文件，这个里面新加入了很多与类型特性有关的模板元，在编译期间这些东西就是利器，非常好用。 而打开&amp;amp;lt;type_traits&amp;amp;gt;头文件，看到的第一个模板类就是integral_constant，这个类是type_traits的基石，基本上t...
C++标准库深度探索：std::enable_if和std::is_convertible背后的Type Traits
[C++标准库深度探索：std::enable_if和std::is_convertible背后的Type Traits](https://img-blog.csdnimg.cn/353158bb5859491dab8b4f2a04e11afd.png) # 1. Type Traits的基本概念与C++标准库 C++的Type Traits是C++...
C++11静态断言增强特新：std::is_same, std::is_convertible的实战结合
[C++11静态断言增强特新：std::is_same, std::is_convertible的实战结合](https://ucc.alicdn.com/pic/developer-ecology/6nmtzqmqofvbk_7171ebe615184a71b8a3d6c6ea6516e3.png?x-oss-process=image/resize,s_500,m_...
【C++类型比较】：SFINAE与std::is_same的高级用法解析
![【C++类型比较】：SFINAE与std::is_same的高级用法解析]...本章将探讨C++类型比较的基础知识，为后续章节中更为复杂的模板元编程和SFINAE（Substitution Failure Is Not An Error）原理的探讨打下坚实的基础。 #
【C++模板元编程】：std::initializer_list在编译时类型计算的应用示例
![【C++模板元编程】：std::initializer_list在编译时类型计算的应用示例]...模板元编程可以用来生成复杂的类型、执行编译时决策和优化等。
is_integral, c常量后缀
WChang的博客
11-06 436
u -1u = UINT_MAX, 表示无符号
萃取编程技术
程序人生
04-09 472
萃取编程 萃取编程技术是在模板编程的基础上结合模板偏特化和类模板的内嵌类型声明（相关内容链接）得到的一种类型识别（推导）技术（实际上这是模板元编程技术的一个典型应用）。 类型萃取的方式 类型萃取是在模板的基础上区分内置类型和其他类型，主要原理是将内置类型全部特化，然后再进行区分。 《STL源码剖析》样例分析 在STL中，迭代器是萃取编程技术的一个重要实现成果。迭代器就像智能指针，解引用、...
【C++ 泛型编程 进阶篇】：用std::integral_constant和std::is_*系列深入理解模板元编程
探索C++编程的奥秘，分享深入的技术见解和实践，旨在激发读者创造力与解决问题的思维。
06-13 1142
std::integral_constant是C++标准库中定义的一个模板类。它的主要作用是将整数值作为类型的一部分进行编译。从字面上理解，它是一个"积分常数"，用于编译期间的常数表达。现在，让我们仔细看看它的声明和实现。
integral_constant定义编译期常量
程序员黄老师的精品课！
05-17 3585
#include  "stdafx.h" #include #include using  namespace   std; /*integral_constant类 是所有traits类的基类，分别提供了以下功能： value_type 表示值的类型 value表示值 type 表示自己, 因此可以用::type::value来获取值 true_typ
【C++ 泛型编程 入门篇】全面掌握C++元模板中的模板继承:模板继承深入指南和教程
最新发布
探索C++编程的奥秘，分享深入的技术见解和实践，旨在激发读者创造力与解决问题的思维。
06-22 1383
在C++中，继承通常是面向对象编程的一个特性，用于创建基于现有类的新类。然而，这个概念也可以应用于模板。通过模板继承，我们可以创建一个基于现有模板的新模板，并且可以为新模板添加或覆盖特定的功能。
偏特化模板
shujianlove0的博客
11-27 279
std::is_integral 实现原理 // TEMPLATE CLASS _Is_integral template&lt;class _Ty&gt; struct _Is_integral : false_type { // determine whether _Ty is integral }; //有偏特化版本的类型继承的是true_type,即std::bool_co...
c++模板元编程六：integral_constant 类
Dean Chen的专栏
04-06 1万+
1 integral_constant类这个类是所有traits类的基类，分别提供了以下功能：value_type 表示值的类型value表示值type 表示自己, 因此可以用::type::value来获取值true_type和false_type两个特化类用来表示bool值类型的traits，很多traits类都需要继承它们下面的代码分别来自C++11和Boost，略有差别：C++11包含va
!!! C++11/14 Boost探秘--类型特征萃取
musecangying008的博客
10-10 843
为了方便查看结果，后面测试全部返回true。 概述 type_traits库提供一组特征类，可以在编译器确定类型或者说是元数据是否拥有某特征，是否支持原生数组，是否是证书，是否重载某运算符，检查是否同一类型，还有添加或移除const，volatitle等 元数据类型 简单数据类型检查 is_integral : 检查T是否为bool，char，int等整形 is_floating_point : 检查T是否为浮点型 is_void : 检查T是否为void类新型 std:: cout << (s
C++11中的 "enable_if"小记
热门推荐
电影旅行敲代码
06-18 1万+
std::enable_if
cpp11的 std::enable_if和std::is_same等类型判定函数
03-27
std::enable_if是一个类型判定函数，用于在编译时根据类型是否满足特定条件来选择函数重载。例如，可以使用std::enable_if来禁用某些函数模板，以确保它们只能用于特定类型。 std::is_same也是一个类型判定函数，...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值