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

已于 2022-03-12 16:36:26 修改
阅读量324 收藏
点赞数
分类专栏： 元编程 文章标签： 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
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
integral_constant定义编译期常量
程序员黄老师的精品课！
05-17 3525
#include  "stdafx.h" #include #include using  namespace   std; /*integral_constant类 是所有traits类的基类，分别提供了以下功能： value_type 表示值的类型 value表示值 type 表示自己, 因此可以用::type::value来获取值 true_typ
元编程: is_integral＜Tp＞
hit1524468的专栏
01-16 402
判断类型是否为整型， 注意，布尔类型也是整型 #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
callable_traits:可调用类型的现代C ++类型特征和元函数
05-15
Boost.CallableTraits CallableTraits是一个C ++ 11仅限标头的库，用于检查，合成和分解可调用类型。 最新文档可。 CallableTraits已被并被。 CallableTraits在Boost 1.66（2017年12月）及更高版本中可用。 您还可以下载CallableTraits作为独立库。 在下获得。
STL.zip_Map 排序_STL_Table_stl map实现
09-24
源码之前了无秘密，你将看到vector的实现、list的实现、heap的实现、deque的实现、Red Black tree的实现、hash table的实现、set/map的实现;你将看到各种算法(排序、查找、排列组合、数据移动与复制技术)的实现;你甚至能够看到底层的memory pook和高阶抽象的traits机制的实现。
C/C++编程：std::is_integral
OceanStar的博客
03-09 2767
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")
偏特化模板
shujianlove0的博客
11-27 262
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++ traits编程技法之__type_traits
mmshixing的博客
06-13 4144
__type_trivial  双底线前缀，表示是SGI STL以外的东西，不在STL标准范围之内。 __type_trivial负责萃取型别（Type）的特性，究竟是什么特性呢？          注：trivial是英文“无意义的、不重要”的意思。          答曰：这个型别是否具备non-trivialdefalt ctor、non-trivial copy ctor、non-t
C++ integral_constant 实现
c++用法的博客
10-04 3102
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++11中type_traits中的基石 - integral_constant
FlushHip
10-10 5197
C++标准库的的编写方法是基于模板元来编程的，既然是用模板，那么就少不了与类型打交道，而C++11标准库中新加入了&amp;amp;lt;type_traits&amp;amp;gt;头文件，这个里面新加入了很多与类型特性有关的模板元，在编译期间这些东西就是利器，非常好用。 而打开&amp;amp;lt;type_traits&amp;amp;gt;头文件，看到的第一个模板类就是integral_constant，这个类是type_traits的基石，基本上t...
is_integral, c常量后缀
WChang的博客
11-06 350
u -1u = UINT_MAX, 表示无符号
variant_access：https：docs.rsvariant_access_traits
02-09
这是在api上为C ++类型std :: variant建模的，它类似于Rust枚举，但没有为每个可能的活动字段提供明确的名称。 考虑以下示例： let instance = Enum :: F1 ( 42 );if instance. has_variant :: () && instance. ...
callable_traits, callable类型的现代 C 型特征和泛函.zip
09-19
callable_traits, callable类型的现代 C 型特征和泛函 Boost.CallableTraits CallableTraits是一个C 11头库，用于检查。合成和分解可以调用类型。这里有最新的文档，这里是 。在CallableTraits中，被正式地检查过，...
spatial_sp_traits:NSF项目中使用的功能和代码，
03-31
space_sp_traits UCR-NSF项目中使用的功能和代码。
C++中的智能指针类别
最新发布
GOLOJO的博客
05-31 659
C++中的智能指针是用来管理动态内存的对象，避免我们手动管理内存时可能会带来的复杂性和错误。C++标准库提供了几种不同类型的智能指针，包括``、``和`- 优先使用``和``来创建智能指针，避免手动使用`new`，可以提高代码的安全性和性能。- 在使用``时要特别小心循环引用的问题。可以使用``来打破循环引用。- 确保智能指针的生命周期管理正确，避免悬空指针和内存泄漏。- 虽然智能指针极大地简化了内存管理，但也带来了额外的开销，如引用计数的维护。因此，在性能敏感的代码中，应慎重使用`
精通C++ STL（二）：string类的模拟实现
Russ_Leo的博客
05-27 797
string类各函数接口。
C语言——指针
weixin_45725380的博客
05-31 486
存储类型 数据类型 *指针变量名；例如：int *p;//定义了一个整数型指针变量pint a=5;int *p=&a;char b='v';char *q=&b;访问指针所指的空间里的内容时，需要用取内容运算符*来获取此时，变量p存放的就是a的地址，变量q存放的就是b的地址；符号*可以访问地址指向的空间里面的内容。指针与变量之间的关系如下：int i=3;本质还是指针，指向的是数组。（又称为行指针）所谓指针数组就是由若干个具有相同类型的指针变量组成的集合。
C++候捷stl-视频笔记2
Mhypnos的博客
05-31 550
候捷stl标准库学习笔记
【如何利用c++RAII技术实现自动加解锁】
逆风飞翔的博客
05-28 329
使用C++中的 RAII（资源获取即初始化）技术来实现自动加锁解锁
无向图中两点(x1,y1)(x2,y2)是否连通(bfs&并查集)两种方法解决(c++)
weixin_73886306的博客
05-30 300
无向图中两点(x1,y1)(x2,y2)是否连通(bfs&并查集)两种方法解决(c++)
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、付费专栏及课程。

余额充值