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

原创 已于 2022-03-12 16:36:26 修改 · 409 阅读 · 0 ·
CC 4.0 BY-SA版权
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
文章标签：

#c++

于 2021-12-26 22:30:04 首次发布
本文深入探讨了C++中的type_traits库，重点介绍了integral_constant、enable_if、is_integral和is_same的用法。integral_constant用于创建编译时常量，enable_if则是类型检查和条件编译的关键工具。is_integral则用来判断类型是否为整数类型。同时，文章还提到了is_same用于验证两个类型是否完全相同。通过这些工具，开发者可以在模板编程中实现更精细的类型控制。

摘要生成于 C知道 ，由 DeepSeek-R1 满血版支持， 前往体验 >

转载：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.设置结构体传入的参数是特定类型

 

C++模板元编程（20）std::enable_if源码解读以及应用
二进制君
07-02 413
再进一步，用户在使用时，false和true可以替换成编译期常量表达式，形成一个编译器的判断，在符合某些条件时编译通过，不符合条件时编译报错，目的是在编译期拦截错误。使用enable_if的诀窍是，作为模板的非类型模板参数使用，使用其默认类型void即可，这样用户不用給该参数传值。这个偏特化版本略有不同，里面定义了类型type，这个type类型就是由模板参数的类型。一个通过返回值，一个通过默认模板参数，都可以实现校验模板参数是整型的功能。利用了偏特化的原理，对模板的第一个参数进行具体化，直接传递true。
integral_constant定义编译期常量
h a 6 6 6 c k 为 你解决复杂难题！
05-17 3670
#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 488
判断类型是否为整型， 注意，布尔类型也是整型 #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 4303
__type_trivial  双底线前缀，表示是SGI STL以外的东西，不在STL标准范围之内。 __type_trivial负责萃取型别（Type）的特性，究竟是什么特性呢？          注：trivial是英文“无意义的、不重要”的意思。          答曰：这个型别是否具备non-trivialdefalt ctor、non-trivial copy ctor、non-t
C++ integral_constant 实现
c++用法的博客
10-04 3256
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 3141
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 6168
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++ ＜type_traits＞ 总结
最新发布
Arthur...J的博客
06-10 759
介绍C++的<type_traits>的概念、内容、实现方法和实例等，可参照进行系统学习和实现。
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_...
typedef struct { int id; int count; object_detect_result results[OBJ_NUMB_MAX_SIZE]; } object_detect_result_list; 我是这样定义的std::queue<object_detect_result_list> g_pose_result_queue;出现问题(void std::__ndk1::allocator<object_detect_result_list>::construct<object_detect_result_list, object_detect_result_list const&>(object_detect_result_list*, object_detect_result_list const&)+72) (BuildId: 287c08e27bae126289(void std::__ndk1::allocator_traits<std::__ndk1::allocator<object_detect_result_list> >::__construct<object_detect_result_list, object_detect_result_list const&>(std::__ndk1::integral_constant<bool, true>,std::__ndk1::all(void std::__ndk1::allocator_traits<std::__ndk1::allocator<object_detect_result_list> >::construct<object_detect_result_list, object_detect_result_list const&>(std::__ndk1::allocator<object_detect_result_list>&, object_det(std::__ndk1::deque<object_detect_result_list,std::__ndk1::allocator<object_detect_result_list> >::push_back(object_detect_result_list const&)+148) (BuildId:287c08e27bae1262894424260a381fc17883306f)(BuildId: 287c08e27bae1262894424260a381fc17883306f) (open_media+1216) (BuildId: 287c08e27bae1262894424260a381fc17883306f) 怎么解决？
03-15
4. **NDK版本或编译器问题**：用户提到使用NDK（Android NDK），不同版本的NDK可能有不同的STL实现，特别是std::__ndk1命名空间可能表示使用的是libc++，可能存在兼容性问题。 5. **结构体中的数组成员过大**：如果...
is_integral, c常量后缀
WChang的博客
11-06 498
u -1u = UINT_MAX, 表示无符号
語言/CPP {is_integral,conditional}
qq_66485519的博客
10-12 74
1
萃取编程技术
程序人生
04-09 520
萃取编程 萃取编程技术是在模板编程的基础上结合模板偏特化和类模板的内嵌类型声明（相关内容链接）得到的一种类型识别（推导）技术（实际上这是模板元编程技术的一个典型应用）。 类型萃取的方式 类型萃取是在模板的基础上区分内置类型和其他类型，主要原理是将内置类型全部特化，然后再进行区分。 《STL源码剖析》样例分析 在STL中，迭代器是萃取编程技术的一个重要实现成果。迭代器就像智能指针，解引用、...
【C++ 泛型编程 进阶篇】：用std::integral_constant和std::is_*系列深入理解模板元编程
探索C++编程的奥秘，分享深入的技术见解和实践，旨在激发读者创造力与解决问题的思维。
06-13 1903
std::integral_constant是C++标准库中定义的一个模板类。它的主要作用是将整数值作为类型的一部分进行编译。从字面上理解，它是一个"积分常数"，用于编译期间的常数表达。现在，让我们仔细看看它的声明和实现。
C++(11)：integral_constant
风静如云的博客
05-17 522
integral_constant定义于头文件
【C++ 泛型编程 入门篇】全面掌握C++元模板中的模板继承:模板继承深入指南和教程
探索C++编程的奥秘，分享深入的技术见解和实践，旨在激发读者创造力与解决问题的思维。
06-22 1597
在C++中，继承通常是面向对象编程的一个特性，用于创建基于现有类的新类。然而，这个概念也可以应用于模板。通过模板继承，我们可以创建一个基于现有模板的新模板，并且可以为新模板添加或覆盖特定的功能。
C++ 类型萃取（Type Traits）
m0_66785704的博客
01-03 564
C++类型萃取（Type Traits）是一种用于查询类型属性的编译时机制，通常用于模板元编程。它允许在编译时获取类型信息，从而决定如何在模板中做出选择或进行优化。C++标准库提供了大量的类型萃取工具，位于头文件中。类型萃取的主要目的是让程序员能够根据类型的不同属性做出编译时决策。例如，可以检查一个类型是否是整数类型，是否是指针类型，是否是某个类的实例，等等。类型萃取（Type Traits）为C++模板编程提供了强大的编译时类型检查能力。
偏特化模板
shujianlove0的博客
11-27 360
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...
std::is_class
03-11
struct is_class : std::integral_constant, __is_class(T)> {}; ``` 其中 `__is_class` 是编译器内置的类型判断函数（如 GCC/Clang 中的内置特性）。 --- ### **应用场景** 1. **模板约束**：在泛型编程中，...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值