c++中enable_if和void_t的妙用

最新推荐文章于 2023-12-13 19:49:47 发布
原创 最新推荐文章于 2023-12-13 19:49:47 发布 · 1.2k 阅读 · 2 ·
CC 4.0 BY-SA版权
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
文章标签：

#c++ #开发语言 #后端

本文介绍了std::enable_if在C++中的四种使用方式，包括返回值、参数、非类型模板参数和类型模板参数，以及如何利用它进行类型检查和条件编译，以实现根据不同类型进行不同操作。还演示了void_t在编译期检测类功能的方法。

std::enable_if

std::enable_if在c++中是个好工具，利用SFINAE对不同类型进行不同处理。

个人总结一下，std::enable_if有四种使用方式，分为返回值，参数，类型模板参数，非类型模板参数，对于后两种需要c++11以上的版本才支持。

举个例子，比如我需要输出一个数字，模板类型T需要为一个数字类型，我们来看看四种用法。

返回值

template<class T>
typename std::enable_if<std::is_integral<T>::value>::type
	printIntegral(T t) {
   
   
	std::cout << t;
}

enable_if在没有指定第二个模板参数时候enable_if::type默认为void，所以不需要有返回值。

参数

template<class T>
void printIntegral(T t,
	typename std::enable_if<std::is_integral<T>::value>
最低0.47元/天 解锁文章
C++(11)：enable_if_t
风静如云的博客
06-25 1728
使用enable_if_t可以省去typename和::type。
C++11模板元编程—std::enable_if使用说明
kpengk的博客
08-29 7760
std::enable_if是C++模板元编程中的重要工具，用于条件编译和类型选择。其核心机制是当第一个模板参数为true时定义type类型别名。
enable_if 的一个奇怪用法
StanleyWm_的博客
10-14 1501
enable_if 模板
std::enable_if 的几种用法
热门推荐
jeffasd的专栏
11-30 5万+
https://yixinglu.gitlab.io/enable_if.html std::enable_if 顾名思义，满足条件时类型有效。作为选择类型的小工具，其广泛的应用在 C++ 的模板元编程（meta programming）中。它的定义也异常的简单： template &lt;bool, typename T=void&gt; struct enable_if { }; te...
enable_if
飞翔的大象
03-31 6523
1  导言 使用 enable_if 系列模板可以控制一个函数模板或类模板偏特化是否包含在基于模板参数属性的一系列匹配函数或偏特化中。比如，我们可以定义一个只对某些类型（通过特征类[traits class]定义）有效——当然也只匹配这些类型——的函数模板。enable_if 也可以对类模板偏特化实现同样的效果。enable_if 的应用在 [1] 和 [2] 中有详细的介绍。
C++11中的 "enable_if"小记
电影旅行敲代码
06-18 1万+
std::enable_if
c++11 std::enable_if在模板偏特化的妙用
imhikaru的专栏
08-06 5868
1.模板自动推导功能。 先看个例子: 在调用TestTemplate函数时， 我们可以在函数后面加上<类型>无歧义地指定调用的版本。 结果如下: 由于模板参数在函数参数中的位置是固定的，编译器其实可以推导出参数的类型， 这样程序员们就可以不指定模板的类型来调用，代码更加简洁清晰通用，不会出现写错模板类型的错误，如下: 模板自动推导是如此的美好，我们要好好地利用它。 在应用过程中， 也引入了一些问题， 有些情况， 编译器发现某些代码满足多个同名函数模板，无法决定特化成哪...
C++中std::enable_if和SFINAE介绍
fangfanglovezhou的博客
09-08 1027
C++中std::enable_if和SFINAE功能和原理介绍。
enable_if和void_t
最新发布
07-17
### `std::enable_if` 和 `std::void_t` 的使用方法及区别 `std::enable_if` 是 C++11 引入的模板元编程工具，用于在编译时根据条件启用或禁用特定的模板函数或类。其基本实现如下： ```cpp template, typename _...
std::enable_if
咸的豆腐包
08-29 324
std::enable_if用途定义功能快捷键合理的创建标题，有助于目录的生成如何改变文本的样式插入链接与图片如何插入一段漂亮的代码片生成一个适合你的列表创建一个表格设定内容居中、居左、居右SmartyPants创建一个自定义列表如何创建一个注脚注释也是必不可少的KaTeX数学公式新的甘特图功能，丰富你的文章UML 图表FLowchart流程图导出与导入导出导入 用途 std::enable_if...
C++中std::enable_if的使用
xqx_Zi_yu
05-26 615
使用std::enable_if，我们可以通过条件检查来指定哪个函数模板将被编译器选择。std::enable_if是一个类型萃取工具，用于在编译时根据某些条件确定是否启用或禁用函数的模板重载。，否则，它不提供成员类型。因此，我们可以在函数模板中使用std::enable_if来控制编译器是否选择特定模板重载。上面的代码通过static_assert在编译时强制执行一个条件检查，如果条件不满足，则会产生一个编译时错误。当条件B为true时，std::enable_if模板的特化版本将具有成员类型。
enable_if使用
CodeHouse的博客
08-24 312
enable_if禁用模板函数
（C++模板编程）：std::void_t（下）
baidu_41388533的博客
11-15 801
借助void_t和declval实现is_copy_assignable 【引例】 class ACPABL { }; class BCPABL { public: BCPABL& operator=(const BCPABL& tmpobj) //拷贝赋值运算符 { //... return *this; } }; class CCPABL { public: CCPABL& operator=(const CCPABL& tmpobj) = de
c++ template std::void_t 是个啥
az44yao的专栏
12-13 351
先看这个问题: 下面有三种foo函数，称其为Foo0，Foo1，Foo2，请问 foo foo foo 分别匹配到了哪个函数？对于foo，因为int既没有type有没有type2，所以Foo0和Foo1都匹配失败，最终匹配到了Foo2。对于foo，因为Y没有typ，所以匹配Foo0失败，尝试匹配下一个，Y有type2，成功匹配到了Foo1。，因为X有type，第二个模板直接匹配成功，编译器会认为这是第一个模板的一个特化版本。看到了吧，虽然有的地方匹配失败了，但是编译器并不会直接报错，他会尝试去匹配其他的。
2. enable_if的使用场景
feng__shuai的博客
09-06 1569
第二、强烈建议是constexpr来代替const, 因为constexpr更加能说明是在编译器做的相关操作，这个值是一个编译期就确定的。(Substitution failure is not anerror,中文直译即是“匹配失败不是错误”)实现的，SFINEA的意思是在实例化过程中，比如有三个模板，但凡能匹配到一个正确的，另外两个模板在实例化过程中即使报错，编译器也认为没问题。在元编程过程中，我们经常会使用enable_if这个特性，enable_if是基于C++中的。
C++使用std::enable_if作为类的成员函数选择开关
ltd5263的博客
02-24 701
经常会碰到这样的需求，有一个类A，A的实例调用A的大部分函数都是一样的，只有小部分需要根据实例进行多态。
C++标准模板（STL）- 类型支持 （杂项变换，void 变参别名模板，std::void_t）
qq_40788199的博客
12-11 551
将任意类型的序列映射到类型 void 的工具元函数。
c++ std::void_t使用小结
qq_38158479的博客
03-06 2224
一：std::void_t源码 // ALIAS TEMPLATE void_t template <class... _Types> using void_t = void; 二：特性(功能) 能够检测到应用SFINAE(替换失败并不是一个错误）特性时出现的非法类型。换句话说，给进来的类型 _Types 必须是一个有效的类型，不能是一个非法类型 三：使用场景，配合std::false_type 与std::true_type 判断一个类当中是否存在一个类型别名，成员变量，函数等。 #inc
评论 1
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值