std::enable_if 学习

最新推荐文章于 2025-01-16 09:12:43 发布

lordmr

最新推荐文章于 2025-01-16 09:12:43 发布

阅读量593

点赞数

文章标签： c++11

本文链接：https://blog.youkuaiyun.com/lordmr/article/details/107944812

版权

本文探讨了C++11中的std::enable_if，解释了为何仅凭默认模板参数不同的两个函数模板会被视为同一模板的重新声明，并通过示例说明了std::enable_if在SFINAE中的作用。虽然std::enable_if_t的模板类型可以灵活使用，但特定形式可能导致编译错误。

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

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元/天解锁文章

确定要放弃本次机会？

福利倒计时

: :

立减 ¥

普通VIP年卡可用

立即使用

lordmr

关注关注

0
点赞
踩
1

收藏

觉得还不错? 一键收藏
1
评论
分享

复制链接

分享到 QQ

分享到新浪微博

扫一扫
举报

举报

C++模板元编程（20）std::enable_if源码解读以及应用

二进制君

07-02

355

再进一步，用户在使用时，false和true可以替换成编译期常量表达式，形成一个编译器的判断，在符合某些条件时编译通过，不符合条件时编译报错，目的是在编译期拦截错误。使用enable_if的诀窍是，作为模板的非类型模板参数使用，使用其默认类型void即可，这样用户不用給该参数传值。这个偏特化版本略有不同，里面定义了类型type，这个type类型就是由模板参数的类型。一个通过返回值，一个通过默认模板参数，都可以实现校验模板参数是整型的功能。利用了偏特化的原理，对模板的第一个参数进行具体化，直接传递true。

跟我学C++编程中级篇——std::enable_if的使用

fpcc的专栏

01-23

1862

对于SFINAE（不清楚的可以翻一下以前的相关文章）开发者来说，std::enable_if是绕不开的一个小话题。在C++11至C++20间，其在模板的元编程中起到了重要的作用。不过在C++20后Cocepts可以实现更清晰更简单的方式。其实非常好理解，这个模板结构体的第一个参数是bool型，第二个默认是个void，就是说，第一个参数决定了是否启用第二个参数。这下就明白了吧。struct T {T(Floating) : m_type(float_t) {} // 错误：无法被重载。

1 条评论您还未登录，请先登录后发表或查看评论

C++11中的 "enable_if"小记

电影旅行敲代码

06-18

1万+

std::enable_if

【C++ 模版】： std::enable_if

热门推荐

jeffasd的专栏

11-30

5万+

https://yixinglu.gitlab.io/enable_if.html std::enable_if 顾名思义，满足条件时类型有效。作为选择类型的小工具，其广泛的应用在 C++ 的模板元编程（meta programming）中。它的定义也异常的简单： template <bool, typename T=void> struct enable_if { }; te...

std::enable_if

咸的豆腐包

08-29

287

std::enable_if用途定义功能快捷键合理的创建标题，有助于目录的生成如何改变文本的样式插入链接与图片如何插入一段漂亮的代码片生成一个适合你的列表创建一个表格设定内容居中、居左、居右SmartyPants创建一个自定义列表如何创建一个注脚注释也是必不可少的KaTeX数学公式新的甘特图功能，丰富你的文章UML 图表FLowchart流程图导出与导入导出导入用途 std::enable_if...

C++模板元一生之友之：std::enable_if

leizhengshenglzs的博客

08-06

1104

你可以不懂模板元，但是你一定要懂enable_if, 因为你身边的朋友都悄悄地学会了enable_if，并且让别人读不懂自己看起来很高端的代码。是 C++11 引入的一个工具，用于在编译时进行条件选择。它主要用来实现模板的 SFINAE（Substitution Failure Is Not An Error）机制，即在模板参数替换失败时不作为错误处理，而是选择其他可行的模板实例化。常用于函数模板、类模板和重载中，以根据编译时条件启用或禁用特定的模板实例化。

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; }; 由上可知，只有当第一个...

C++中std::enable_if和SFINAE介绍

fangfanglovezhou的博客

09-08

976

C++中std::enable_if和SFINAE功能和原理介绍。

C++之std::enable_if

红军不怕远征难，万水千山只等闲

12-15

4388

Test如果是true, std::enable_if的type为_Ty；如果是false, type没有定义，这种情况在程序编译的时候就会报错，因此std::enable_if可以以多种形式使用，它的作用主要有：1)通过函数的返回值，控制不同的条件下，选择不同的模板2)通过函数的参数，控制不同的条件下，选择不同的模板3)作为类模板或函数模板参数，控制不同的数据类型，选择不同的类模板或函数模板下面就举例一一用示例说明它们的具体用法。

c++模板元编程std::enable_if详解

SWX230162的博客

05-05

3075

c++模板元编程std::enable_if详解文章目录c++模板元编程std::enable_if详解std::enable_if 概述使用场景类型偏特化控制函数返回值函数参数场景 std::enable_if 概述 // Primary template. /// Define a member typedef @c type only if a boolean constant is true. template<bool, typename _Tp = void>

std::enable_if和std::is_base_of

weixin_56492465的博客

06-26

363

std::enable_if,其主要为了完成模板特偏化，有两个参数，第一个为布尔值类型，第二个如果布尔值为true，其为默认空值，如果已经赋值，则为对应的类型。

c++ 模板之 std::enable_if_t 理解.

qq_40715157的博客

10-13

2176

c++ enable_if enable_if_t

C++模板元编程基础之“std::enable_if”的使用

wbvalid的博客

08-03

1692

std::enable_if典型用法代码示例通过返回值使用： template<class T,class... Args> typename std::enable_if<std::is_trivially_constructible<T,Args&&...>::value>::type construct(T* t,Args&&... args) { std::cout << "construct

C++之std::enable_if_t用法(一百五十九)

Android系统攻城狮

07-12

1884

本篇目的：理解std::enable_if_t，可以通过SFINAE (Substitution Failure Is Not An Error) 的特性来实现编译时条件判断。这样可以在模板参数满足一定条件时启用特定的函数或方法。std::enable_if_t用于指定启用条件，如果条件不满足，那么对应的函数将被SFINAE机制排除在外，不参与重载解析。

C++ std::enable_if解析

why is this

02-05

1万+

C++ SFINAE简介和std::enable_if_t的简单使用

wangx_x的专栏

02-10

1万+

最近整理代码时发现了有人常会使用std::enable_if_t，据说这个是C++14才支持的写法，因此再次勾起了我的整理欲。但要是熟悉std::enable_if的话其实也没啥太大难度，自认为这种使用方式主要提供了一种通过模板偏特化来实现的类型筛选机制，某些情况下在设计复杂工程的泛化处理时能提供一些方便。但能力有限，目前我还没有发现哪些非常典型的使用场景能大幅提升性能。不过整理之前感觉有必要先引入一个很重要的概念：SFINAE，这是英文Substitution failure is not an err

enable_if

m0_51271123的博客

12-06

2965

学习笔记

std::enable_if<>

12-04

`std::enable_if<>` 是C++标准库中的一个特性，用于模板元编程，它允许你在编译期间基于某个条件控制类型的行为。有两个关键概念： 1. **类型安全的函数调用**[^1]: - 当你定义一个模板函数，如`is_odd()`和`is_...