跟我学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。

相关文章

C++右移运算符的一个小坑及解决

C++右移运算符的一个小坑及解决

《C++右移运算符的一个小坑及解决》文章指出右移运算符处理负数时左侧补1导致死循环,与除法行为不同,强调需注意补码机制以正确统计二进制1的个数... 目录我遇到了这么一个www.chinasem.cn函数由此可以看到也很好理解总结我遇到了这么一个函数template<typename T>unsigned
阅读更多...
Python使用FastAPI实现大文件分片上传与断点续传功能

Python使用FastAPI实现大文件分片上传与断点续传功能

《Python使用FastAPI实现大文件分片上传与断点续传功能》大文件直传常遇到超时、网络抖动失败、失败后只能重传的问题,分片上传+断点续传可以把大文件拆成若干小块逐个上传,并在中断后从已完成分片继... 目录一、接口设计二、服务端实现（FastAPI）2.1 运行环境2.2 目录结构建议2.3 serv
阅读更多...
Spring Security简介、使用与最佳实践

Spring Security简介、使用与最佳实践

《SpringSecurity简介、使用与最佳实践》SpringSecurity是一个能够为基于Spring的企业应用系统提供声明式的安全访问控制解决方案的安全框架,本文给大家介绍SpringSec... 目录一、如何理解 Spring Security？—— 核心思想二、如何在 Java 项目中使用？——
阅读更多...
springboot中使用okhttp3的小结

springboot中使用okhttp3的小结

《springboot中使用okhttp3的小结》OkHttp3是一个JavaHTTP客户端,可以处理各种请求类型,比如GET、POST、PUT等,并且支持高效的HTTP连接池、请求和响应缓存、以及异... 在 Spring Boot 项目中使用 OkHttp3 进行 HTTP 请求是一个高效且流行的方式。
阅读更多...
MySQL的JDBC编程详解

MySQL的JDBC编程详解

《MySQL的JDBC编程详解》：本文主要介绍MySQL的JDBC编程,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录前言一、前置知识1. 引入依赖2. 认识 url二、JDBC 操作流程1. JDBC 的写操作2. JDBC 的读操作总结前言本文介绍了mysq
阅读更多...
Java使用Javassist动态生成HelloWorld类

Java使用Javassist动态生成HelloWorld类

《Java使用Javassist动态生成HelloWorld类》Javassist是一个非常强大的字节码操作和定义库,它允许开发者在运行时创建新的类或者修改现有的类,本文将简单介绍如何使用Javass... 目录1. Javassist简介2. 环境准备3. 动态生成HelloWorld类3.1 创建CtC
阅读更多...
使用Python批量将.ncm格式的音频文件转换为.mp3格式的实战详解

使用Python批量将.ncm格式的音频文件转换为.mp3格式的实战详解

《使用Python批量将.ncm格式的音频文件转换为.mp3格式的实战详解》本文详细介绍了如何使用Python通过ncmdump工具批量将.ncm音频转换为.mp3的步骤,包括安装、配置ffmpeg环... 目录1. 前言2. 安装 ncmdump3. 实现 .ncm 转 .mp34. 执行过程5. 执行结
阅读更多...
Java使用jar命令配置服务器端口的完整指南

Java使用jar命令配置服务器端口的完整指南

《Java使用jar命令配置服务器端口的完整指南》本文将详细介绍如何使用java-jar命令启动应用,并重点讲解如何配置服务器端口,同时提供一个实用的Web工具来简化这一过程,希望对大家有所帮助... 目录1. Java Jar文件简介1.1 什么是Jar文件1.2 创建可执行Jar文件2. 使用java
阅读更多...
C++统计函数执行时间的最佳实践

C++统计函数执行时间的最佳实践

《C++统计函数执行时间的最佳实践》在软件开发过程中,性能分析是优化程序的重要环节,了解函数的执行时间分布对于识别性能瓶颈至关重要,本文将分享一个C++函数执行时间统计工具,希望对大家有所帮助... 目录前言工具特性核心设计1. 数据结构设计2. 单例模式管理器3. RAII自动计时使用方法基本用法高级用法
阅读更多...
C#使用Spire.Doc for .NET实现HTML转Word的高效方案

C#使用Spire.Doc for .NET实现HTML转Word的高效方案

《C#使用Spire.Docfor.NET实现HTML转Word的高效方案》在Web开发中,HTML内容的生成与处理是高频需求,然而,当用户需要将HTML页面或动态生成的HTML字符串转换为Wor... 目录引言一、html转Word的典型场景与挑战二、用 Spire.Doc 实现 HTML 转 Word1
阅读更多...

Copyright China编程 23002807@qq.com

沪ICP备2023033072号-2