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

2024-01-23 22:04
文章标签 c++ 使用 编程 std 中级 enable 跟我学

本文主要是介绍跟我学C++编程中级篇——std::enable_if的使用，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

一、std::enable_if介绍

对于SFINAE（不清楚的可以翻一下以前的相关文章）开发者来说，std::enable_if是绕不开的一个小话题。在C++11至C++20间，其在模板的元编程中起到了重要的作用。不过在C++20后Cocepts可以实现更清晰更简单的方式。它的定义方式为：

template< bool B, class T = void >
struct enable_if;

从C++14起还提供了一个辅助的类型，用来更简单的元编程中使用：

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

其实非常好理解，这个模板结构体的第一个参数是bool型，第二个默认是个void，就是说，第一个参数决定了是否启用第二个参数。其具体的实现可能为：

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

这下就明白了吧。
需要注意的是，它的使用错误的情况：

 
struct T {enum { int_t,float_t } m_type;template <typename Integer,typename = std::enable_if_t<std::is_integral_v<Integer>>>T(Integer) : m_type(int_t) {}template <typename Floating,typename = std::enable_if_t<std::is_floating_point_v<Floating>>>T(Floating) : m_type(float_t) {} // 错误：无法被重载
};

正确的应该是：

#include <iostream>using namespace std;
struct T {enum { int_t, float_t } m_type;template <typename Integer, std::enable_if_t<std::is_integral_v<Integer>, int> = 0> T(Integer) : m_type(int_t) {}template <typename Floating, std::enable_if_t<std::is_floating_point_v<Floating>, int> = 0>T(Floating) : m_type(float_t) {} // OK
};
int main() {int d = 0;float dd = 0.0f;T t(d);T tt(dd);return 0;
}//其编译后为：
#include <iostream>
using namespace std;
struct T
{enum {int_t, float_t};enum (unnamed) m_type;template<typename Integer, std::enable_if_t<std::is_integral_v<Integer>, int>  = 0>inline T(Integer): m_type{int_t}{}/* First instantiated from: insights.cpp:15 */#ifdef INSIGHTS_USE_TEMPLATEtemplate<>inline T<int, 0>(int): m_type{int_t}{}#endif template<typename Floating, std::enable_if_t<std::is_floating_point_v<Floating>, int>  = 0>inline T(Floating): m_type{float_t}{}/* First instantiated from: insights.cpp:16 */#ifdef INSIGHTS_USE_TEMPLATEtemplate<>inline T<float, 0>(float): m_type{float_t}{}#endif  };int main()
{int d = 0;float dd = 0.0F;T t = T(d);T tt = T(dd);return 0;
}

其实很好理解，看编译后的场景就可以看出来，如果没有后面的 =0,模板的显示实例化不会对无默认实参的参数进行推导，这个可以参看一下模板的等价。
另外，参进行接口开发时，需要注意ABI的规范，有些规范对模板的处理是有差异的，具体的要看相关的规范规定。

二、应用场景

std::enable_if的应用主要有三种场景：
1、用来进行模板的偏特化处理
2、用来控制函数的返回值
3、用来控制函数的类型限定（显示实例化形成重载）
具体的例子在后面的实例中给出。
在C++20中，可以使用Concepts来更好的完成相关的功能，下面看一个小例子：

#include <iostream>
#include <concepts>template<typename T>
concept Integral = std::is_integral<T>::value;template<Integral  T>
T Add(T x) {return x +10;
}
template <typename T, class = typename std::enable_if<std::is_integral<T>::value>::type> 
//template <typename T, class = typename std::enable_if_t<std::is_integral_v<T>>> //c++17
bool limit(T t) {std::cout << "cur value t:" << t << std::endl;return t > 0;
}
int main() {std::cout << Add(6) << std::endl; //std::cout << Add(6.1) << std::endl;  //compile ERROR//limit(3.0f);limit(3);return 0;
}

是不是觉得简单很多，也更容易理解。

三、实例

下面就分三种情况通过实例进行分析：

#include <iostream>
#include <memory>
//1、 class partial specialization
template <class T, class Enable = void> class Example {
public:Example() { std::cout << "call stand Example instance!" << std::endl; }
};template <class T> class Example<T, typename std::enable_if<std::is_floating_point<T>::value>::type> {
public:Example() { std::cout << "call float Example instance!" << std::endl; }
};// 2、return type
template <typename T> typename std::enable_if<std::is_integral<T>::value, int>::type GetData(T t) {std::cout << "GetData return type is int" << std::endl;return t;
}
template <typename T> typename std::enable_if<!std::is_integral<T>::value, int>::type GetData(T t) {std::cout << "GetData return type is not int" << std::endl;return t;
}// 3、as an additional function argument (not applicable to operator overloads),
template <typename T, typename std::enable_if<std::is_integral<T>::value, int>::type * = nullptr> void GetPars(T t) {std::cout << "GetData parameter type is int" << std::endl;
}template <typename T, typename std::enable_if<!std::is_integral<T>::value, int>::type = 0> void GetPars(T t) {std::cout << "GetData parameter type is not int" << std::endl;
}
void testParameter() {int d = 10;GetPars(d);float f = 10.0f;GetPars(f);
}
void testReturn() {int d = 3;float f = 3.0f;d = GetData(d);f = GetData(f);std::cout << " call GetData int : " << d << "," << typeid(d).name() << std::endl;std::cout << " call GetData float : " << f << "," << typeid(f).name() << std::endl;
}int main() {auto ptr_int = std::make_shared<Example<int>>();auto ptr_float = std::make_shared<Example<float>>();testParameter();testReturn();return 0;
}

编译出来：

#include <iostream>
#include <memory>
//1、 class partial specialization
template<class T, class Enable = void>
class Example
{public: inline Example(){std::operator<<(std::cout, "call stand Example instance!").operator<<(std::endl);}};/* First instantiated from: shared_ptr_base.h:1742 */
#ifdef INSIGHTS_USE_TEMPLATE
template<>
class Example<int, void>
{public: inline Example(){std::operator<<(std::cout, "call stand Example instance!").operator<<(std::endl);}};#endif
/* First instantiated from: shared_ptr_base.h:1742 */
#ifdef INSIGHTS_USE_TEMPLATE
template<>
class Example<float, void>
{public: inline Example(){std::operator<<(std::cout, "call float Example instance!").operator<<(std::endl);}
};#endif
template<class T>
class Example<T, typename std::enable_if<std::is_floating_point<T>::value>::type>
{ public: inline Example(){std::operator<<(std::cout, "call float Example instance!").operator<<(std::endl);} 
};// 2、return type
template<typename T>
typename std::enable_if<std::is_integral<T>::value, int>::type GetData(T t)
{std::operator<<(std::cout, "GetData return type is int").operator<<(std::endl);return t;
}/* First instantiated from: insights.cpp:41 */
#ifdef INSIGHTS_USE_TEMPLATE
template<>
typename std::enable_if<std::is_integral<int>::value, int>::type GetData<int>(int t)
{std::operator<<(std::cout, "GetData return type is int").operator<<(std::endl);return t;
}
#endiftemplate<typename T>
typename std::enable_if<!std::is_integral<T>::value, int>::type GetData(T t)
{std::operator<<(std::cout, "GetData return type is not int").operator<<(std::endl);return t;
}/* First instantiated from: insights.cpp:42 */
#ifdef INSIGHTS_USE_TEMPLATE
template<>
typename std::enable_if<!std::is_integral<float>::value, int>::type GetData<float>(float t)
{std::operator<<(std::cout, "GetData return type is not int").operator<<(std::endl);return static_cast<int>(t);
}
#endif// 3、as an additional function argument (not applicable to operator overloads),
//下面的两种形式都可以
template<typename T, typename std::enable_if<std::is_integral<T>::value, int>::type *  = nullptr>
void GetPars(T t)
{std::operator<<(std::cout, "GetData parameter type is int").operator<<(std::endl);
}/* First instantiated from: insights.cpp:34 */
#ifdef INSIGHTS_USE_TEMPLATE
template<>
void GetPars<int, nullptr>(int t)
{std::operator<<(std::cout, "GetData parameter type is int").operator<<(std::endl);
}
#endiftemplate<typename T, typename std::enable_if<!std::is_integral<T>::value, int>::type  = 0>
void GetPars(T t)
{std::operator<<(std::cout, "GetData parameter type is not int").operator<<(std::endl);
}/* First instantiated from: insights.cpp:36 */
#ifdef INSIGHTS_USE_TEMPLATE
template<>
void GetPars<float, 0>(float t)
{std::operator<<(std::cout, "GetData parameter type is not int").operator<<(std::endl);
}
#endifvoid testParameter()
{int d = 10;GetPars(d);float f = 10.0F;GetPars(f);
}void testReturn()
{int d = 3;float f = 3.0F;d = GetData(d);f = static_cast<float>(GetData(f));std::operator<<(std::operator<<(std::operator<<(std::cout, " call GetData int : ").operator<<(d), ","), typeid(d).name()).operator<<(std::endl);std::operator<<(std::operator<<(std::operator<<(std::cout, " call GetData float : ").operator<<(f), ","), typeid(f).name()).operator<<(std::endl);
}int main()
{std::shared_ptr<Example<int, void> > ptr_int = std::make_shared<Example<int, void> >();std::shared_ptr<Example<float, void> > ptr_float = std::make_shared<Example<float, void> >();testParameter();testReturn();return 0;
}

对比分析一下编译前和编译后的结果，基本就能明白std::enable_if的应用方式了。然后再匹配一些相关的元函数或者自己编写的特殊的模板参数的控制，就可以实现一些技巧性的编程。有的时候，不是基础知识没掌握，是掌握后无法灵活的应用到工程里。

四、总结

通过上面的分析和对比，基本对std::enable_if有了一个整体上的了解。还是那句话，要想用得得心应手，就得多写代码，多用。特别是模板甚至是元编程，在实际上用得本来就少，再不怎么动手，即使会用了，慢慢也会生疏，以至于忘记。
各人有各人的方法，不用拘于一种天地。目的只有一个，会活学活用即可。

这篇关于跟我学C++编程中级篇——std::enable_if的使用的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！


http://www.chinasem.cn/article/637663。

相关文章

Java中使用Java Mail实现邮件服务功能示例

Java中使用Java Mail实现邮件服务功能示例

《Java中使用JavaMail实现邮件服务功能示例》：本文主要介绍Java中使用JavaMail实现邮件服务功能的相关资料,文章还提供了一个发送邮件的示例代码,包括创建参数类、邮件类和执行结... 目录前言一、历史背景二编程、pom依赖三、API说明（一）Session （会话）（二）Message编程客
阅读更多...
C++中使用vector存储并遍历数据的基本步骤

C++中使用vector存储并遍历数据的基本步骤

《C++中使用vector存储并遍历数据的基本步骤》C++标准模板库（STL）提供了多种容器类型,包括顺序容器、关联容器、无序关联容器和容器适配器,每种容器都有其特定的用途和特性,：本文主要介绍C... 目录（1）容器及简要描述‌php顺序容器‌‌关联容器‌‌无序关联容器‌（基于哈希表）：‌容器适配器‌：（
阅读更多...
使用Python实现高效的端口扫描器

使用Python实现高效的端口扫描器

《使用Python实现高效的端口扫描器》在网络安全领域,端口扫描是一项基本而重要的技能,通过端口扫描,可以发现目标主机上开放的服务和端口,这对于安全评估、渗透测试等有着不可忽视的作用,本文将介绍如何使... 目录1. 端口扫描的基本原理2. 使用python实现端口扫描2.1 安装必要的库2.2 编写端口扫
阅读更多...
PyCharm接入DeepSeek实现AI编程的操作流程

PyCharm接入DeepSeek实现AI编程的操作流程

《PyCharm接入DeepSeek实现AI编程的操作流程》DeepSeek是一家专注于人工智能技术研发的公司,致力于开发高性能、低成本的AI模型,接下来,我们把DeepSeek接入到PyCharm中... 目录引言效果演示创建API key在PyCharm中下载Continue插件配置Continue引言
阅读更多...
使用Python实现操作mongodb详解

使用Python实现操作mongodb详解

《使用Python实现操作mongodb详解》这篇文章主要为大家详细介绍了使用Python实现操作mongodb的相关知识,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下... 目录一、示例二、常用指令三、遇到的问题一、示例from pymongo import MongoClientf
阅读更多...
SQL Server使用SELECT INTO实现表备份的代码示例

SQL Server使用SELECT INTO实现表备份的代码示例

《SQLServer使用SELECTINTO实现表备份的代码示例》在数据库管理过程中,有时我们需要对表进行备份,以防数据丢失或修改错误,在SQLServer中,可以使用SELECTINT... 在数据库管理过程中，有时我们需要对表进行备份，以防数据丢失或修改错误。在 SQL Server 中，可以使用 SE
阅读更多...
使用Python合并 Excel单元格指定行列或单元格范围

使用Python合并 Excel单元格指定行列或单元格范围

《使用Python合并Excel单元格指定行列或单元格范围》合并Excel单元格是Excel数据处理和表格设计中的一项常用操作,本文将介绍如何通过Python合并Excel中的指定行列或单... 目录python Excel库安装Python合并Excel 中的指定行Python合并Excel 中的指定列P
阅读更多...
浅析Rust多线程中如何安全的使用变量

浅析Rust多线程中如何安全的使用变量

《浅析Rust多线程中如何安全的使用变量》这篇文章主要为大家详细介绍了Rust如何在线程的闭包中安全的使用变量,包括共享变量和修改变量,文中的示例代码讲解详细,有需要的小伙伴可以参考下... 目录1. 向线程传递变量2. 多线程共享变量引用3. 多线程中修改变量4. 总结在Rust语言中，一个既引人入胜又可
阅读更多...
golang1.23版本之前 Timer Reset方法无法正确使用

golang1.23版本之前 Timer Reset方法无法正确使用

《golang1.23版本之前TimerReset方法无法正确使用》在Go1.23之前,使用`time.Reset`函数时需要先调用`Stop`并明确从timer的channel中抽取出东西,以避... 目录golang1.23 之前 Reset ​到底有什么问题golang1.23 之前到底应该如何正确的
阅读更多...
详解Vue如何使用xlsx库导出Excel文件

详解Vue如何使用xlsx库导出Excel文件

《详解Vue如何使用xlsx库导出Excel文件》第三方库xlsx提供了强大的功能来处理Excel文件,它可以简化导出Excel文件这个过程,本文将为大家详细介绍一下它的具体使用,需要的小伙伴可以了解... 目录1. 安装依赖2. 创建vue组件3. 解释代码在Vue.js项目中导出Excel文件，使用第三
阅读更多...

Copyright China编程 23002807@qq.com

沪ICP备2023033072号-2