std::enable_if 学习

最新推荐文章于 2024-04-21 15:35:45 发布
最新推荐文章于 2024-04-21 15:35:45 发布
阅读量529 收藏 1
点赞数
文章标签： c++11
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/lordmr/article/details/107944812
版权

std::enable_if

标准库文档这样写到：

辅助类型

template< bool B, class T = void >
using enable_if_t = typename enable_if<B,T>::type;

   (C++14 起)
     

可能的实现

template<bool B, class T = void>
struct enable_if {};
 
template<class T>
struct enable_if<true, T> { typedef T type; };

这个东西标准文档里写的很清楚，看代码也能看明白，但是，在标准文档里面的注释，属实把我整蒙了。

 

注解

常见错误是声明二个函数模板，而它们仅于其默认模板实参相异。这是无效的，因为这些函数声明被当做同一函数模板的再声明（默认模板实参不为函数模板等价所考虑）。

 

可能翻译的不太好，我又查了英文版同样的内容

 

Notes

A common mistake is to declare two

最低0.47元/天 解锁文章
lordmr
关注
  • 0
    点赞
  • 踩
  • 1
    收藏
    觉得还不错? 一键收藏
  • 1
    评论
std::any的实现
ptgood的博客
08-01 1625
前言 学习自用,帮助理解,有错麻烦提一下,代码没跑过,想着知道大概思想就好.. 问题 为什么不用类型推断,类型推断又是什么TODO 类型擦除怎么实现的,用类的继承来实现的,为什么类的继承可以实现? 基类是不含模板参数的，派生类中才有模板参数，这个模板参数类型正是赋值的类型，在赋值时，将创建的派生类对象赋值给基类指针，基类的派生类中携带了数据类型，基类只是原始数据的一个占位符，通过多态，它擦除了原始数据类型，因此，任何数据类型都可以赋值给他，从而实现了能存放所有类型数据的目标 正文
c++11std::enable_if结构体模板
qq_38158479的博客
02-27 1881
一：std::enable_if历史与作用 历史：C++11新标准中引入的类模板（结构模板），使用体现了C++编译器的SFINAE特性。 作用：定位为一个helper模板（助手模板），用于辅助其他模板的设计，表现一种：编译期的分支逻辑（编译期就可以确定走哪条分支） 二：std::enable_if源码分析 // STRUCT TEMPLATE enable_if template <bool _Test, class _Ty = void> struct enable_if {}; // no
C++之std::enable_if_t用法(一百五十九)
Android系统攻城狮
07-12 1165
本篇目的：理解std::enable_if_t，可以通过SFINAE (Substitution Failure Is Not An Error) 的特性来实现编译时条件判断。这样可以在模板参数满足一定条件时启用特定的函数或方法。std::enable_if_t用于指定启用条件，如果条件不满足，那么对应的函数将被SFINAE机制排除在外，不参与重载解析。
c++ std::enable_if的用法
最新发布
nihao_2014的博客
04-21 44
首先gt_zero是一个模板函数，typename std::enable_if::type是函数的返回值类型，std::enable_if一般是由两部分组成，第一个参数是一个判定式，当判定式为真时，std::enable_if::type的这个type数据成员存在，且值为bool，如果没有第二个参数，则默认值为void。功能：检查 T 是否为整数类型。
C++ SFINAE简介和std::enable_if_t的简单使用
wangx_x的专栏
02-10 9164
最近整理代码时发现了有人常会使用std::enable_if_t，据说这个是C++14才支持的写法，因此再次勾起了我的整理欲。但要是熟悉std::enable_if的话其实也没啥太大难度，自认为这种使用方式主要提供了一种通过模板偏特化来实现的类型筛选机制，某些情况下在设计复杂工程的泛化处理时能提供一些方便。但能力有限，目前我还没有发现哪些非常典型的使用场景能大幅提升性能。 不过整理之前感觉有必要先引入一个很重要的概念：SFINAE，这是英文Substitution failure is not an err
C++11模板元编程—std::enable_if使用说明
kpengk的博客
08-29 5090
std::enable_if 顾名思义，满足条件时类型有效。作为选择类型的小工具，其广泛的应用在 C++ 的模板元编程中。它的定义也非常的简单： // STRUCT TEMPLATE enable_if template <bool _Test, class _Ty = void> struct enable_if {}; // no member "type" when !_Test template <class _Ty> struct enable_if<true, _
跟我学C++编程中级篇——std::enable_if的使用
fpcc的专栏
01-23 1189
对于SFINAE（不清楚的可以翻一下以前的相关文章）开发者来说，std::enable_if是绕不开的一个小话题。在C++11至C++20间，其在模板的元编程中起到了重要的作用。不过在C++20后Cocepts可以实现更清晰更简单的方式。其实非常好理解，这个模板结构体的第一个参数是bool型，第二个默认是个void，就是说，第一个参数决定了是否启用第二个参数。这下就明白了吧。struct T {T(Floating) : m_type(float_t) {} // 错误：无法被重载。
C++11模板元编程-std::enable_if示例详解
01-21
C++11中引入了std::enable_if函数，函数原型如下: template struct enable_if; 可能的函数实现: template struct enable_if {}; template struct enable_if<true> { typedef T type; }; 由上可知，只有当第一个...
common_type:std 的实现
06-01
- `std::enable_if`：根据条件启用或禁用模板实例化。 3. **特例化**： - 对于基本类型，C++库已经提供了特例化。 - 用户也可以为自定义类型提供特例化，以指定它们的公共类型。 4. **类型推导流程**： - 首先...
无法将函数定义与现有的声明匹配 问题的解决办法 分享
01-02
今晚在整MFC，遇到了以下的问题。 d:\我的文档\visual studio 2008\projects\virtualosc\arraylisttype.h(171) : error C2244: “arrayListType<elemType>::maxListSize”: 无法将函数定义与现有的声明匹配1> d:\我...
Boost.Optional的教育性C ++ 20实现，也是-C ++ 20 std :: optional-C/C++开发
05-27
此实现的主要动机是探索以下C ++ 20功能：概念受限的模板而不是SFINAE和std :: enable_if来控制重载集模块以及有关其各种风格的实现技术三向比较Boost.Optional的此实现。提供以下主要功能：符合以下规范的单个标头
EffectiveModernCpp:有效的现代Cpp
03-28
- `std::enable_if` 和 SFINAE（Substitution Failure Is Not An Error）原则用于条件化模板实例化。 6. **类型推断与auto关键字**： - `auto` 关键字简化了代码，允许编译器根据初始值自动推断变量类型。 - `...
C++ enable_if
nameofcsdn的博客
06-11 2823
目录is_integral_vis_same_venable_ifenable_if
C++11新特性 std::enable_if的使用
photon222的博客
01-09 1107
std::enable_if template
C++之std::enable_if
红军不怕远征难，万水千山只等闲
12-15 2375
Test如果是true, std::enable_if的type为_Ty；如果是false, type没有定义，这种情况在程序编译的时候就会报错，因此std::enable_if可以以多种形式使用，它的作用主要有：1)通过函数的返回值，控制不同的条件下，选择不同的模板2)通过函数的参数，控制不同的条件下，选择不同的模板3)作为类模板或函数模板参数，控制不同的数据类型，选择不同的类模板或函数模板下面就举例一一用示例说明它们的具体用法。
C++ std::enable_if 代码示例
mutourend的博客
03-04 2763
std::enable_if 在C++ 14中的定义为： template&lt; bool B, class T = void &gt; using enable_if_t = typename enable_if&lt;B,T&gt;::type; 对应的执行内容为以下二者之一： template&lt;bool B, class T = void&gt; struct enable_if ...
C++11新特性--std::enable_if和SFINAE
$firecat利白的代码足迹$
01-10 5022
https://www.jianshu.com/p/a961c35910d2 名词解释SFINAE     SFINAE是英文Substitution failure is not an error的缩写，意思是匹配失败不是错误。这句话什么意思呢？ SFINAE的意思是这样的，假如有一个特化会导致编译时错误(即出现编译失败)，只要还有别的选择可以被选择，那么就无视这个特化错误而去选择另外的可...
c++ 模板之 std::enable_if_t 理解.
qq_40715157的博客
10-13 1728
c++ enable_if enable_if_t
std::enable_if
07-11
`std::enable_if`是C++中的一个类型萃工具，用于在模板参数推导过程中对模板进行条件限定。它允许根据某个条件来启用或禁用特定的模板实例化。 `std::enable_if`通常与函数模板一起使用，用于根据条件来控制函数模板的可用性。当条件为真时，`std::enable_if`会定义一个特殊的无名模板参数，默认为`void`类型；当条件为假时，`std::enable_if`不会定义任何东西。 下面是一个例子，展示了如何使用`std::enable_if`来控制函数模板的实例化： ```cpp template <typename T> typename std::enable_if<std::is_integral<T>::value, bool>::type is_even(T value) { return value % 2 == 0; } template <typename T> typename std::enable_if<!std::is_integral<T>::value, bool>::type is_even(T value) { static_assert(std::is_integral<T>::value, "T must be an integral type"); return false; } ``` 在上面的例子中，我们定义了两个重载的`is_even`函数模板。第一个模板使用`std::enable_if<std::is_integral<T>::value, bool>::type`作为返回类型，当`T`为整数类型时，这个模板将被实例化。第二个模板使用`std::enable_if<!std::is_integral<T>::value, bool>::type`作为返回类型，当`T`不是整数类型时，这个模板将被实例化。 通过使用`std::enable_if`，我们可以在编译期间对函数模板的实例化进行条件限制，从而实现更灵活的模板编程。

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 1
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值