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

2024-01-23 22:04

本文主要是介绍跟我学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

相关文章

使用Python删除Excel中的行列和单元格示例详解

《使用Python删除Excel中的行列和单元格示例详解》在处理Excel数据时,删除不需要的行、列或单元格是一项常见且必要的操作,本文将使用Python脚本实现对Excel表格的高效自动化处理,感兴... 目录开发环境准备使用 python 删除 Excphpel 表格中的行删除特定行删除空白行删除含指定

深入理解Go语言中二维切片的使用

《深入理解Go语言中二维切片的使用》本文深入讲解了Go语言中二维切片的概念与应用,用于表示矩阵、表格等二维数据结构,文中通过示例代码介绍的非常详细,需要的朋友们下面随着小编来一起学习学习吧... 目录引言二维切片的基本概念定义创建二维切片二维切片的操作访问元素修改元素遍历二维切片二维切片的动态调整追加行动态

prometheus如何使用pushgateway监控网路丢包

《prometheus如何使用pushgateway监控网路丢包》:本文主要介绍prometheus如何使用pushgateway监控网路丢包问题,具有很好的参考价值,希望对大家有所帮助,如有错误... 目录监控网路丢包脚本数据图表总结监控网路丢包脚本[root@gtcq-gt-monitor-prome

Python通用唯一标识符模块uuid使用案例详解

《Python通用唯一标识符模块uuid使用案例详解》Pythonuuid模块用于生成128位全局唯一标识符,支持UUID1-5版本,适用于分布式系统、数据库主键等场景,需注意隐私、碰撞概率及存储优... 目录简介核心功能1. UUID版本2. UUID属性3. 命名空间使用场景1. 生成唯一标识符2. 数

SpringBoot中如何使用Assert进行断言校验

《SpringBoot中如何使用Assert进行断言校验》Java提供了内置的assert机制,而Spring框架也提供了更强大的Assert工具类来帮助开发者进行参数校验和状态检查,下... 目录前言一、Java 原生assert简介1.1 使用方式1.2 示例代码1.3 优缺点分析二、Spring Fr

Android kotlin中 Channel 和 Flow 的区别和选择使用场景分析

《Androidkotlin中Channel和Flow的区别和选择使用场景分析》Kotlin协程中,Flow是冷数据流,按需触发,适合响应式数据处理;Channel是热数据流,持续发送,支持... 目录一、基本概念界定FlowChannel二、核心特性对比数据生产触发条件生产与消费的关系背压处理机制生命周期

java使用protobuf-maven-plugin的插件编译proto文件详解

《java使用protobuf-maven-plugin的插件编译proto文件详解》:本文主要介绍java使用protobuf-maven-plugin的插件编译proto文件,具有很好的参考价... 目录protobuf文件作为数据传输和存储的协议主要介绍在Java使用maven编译proto文件的插件

c++ 类成员变量默认初始值的实现

《c++类成员变量默认初始值的实现》本文主要介绍了c++类成员变量默认初始值,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧... 目录C++类成员变量初始化c++类的变量的初始化在C++中,如果使用类成员变量时未给定其初始值,那么它将被

C++中NULL与nullptr的区别小结

《C++中NULL与nullptr的区别小结》本文介绍了C++编程中NULL与nullptr的区别,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编... 目录C++98空值——NULLC++11空值——nullptr区别对比示例 C++98空值——NUL

SpringBoot线程池配置使用示例详解

《SpringBoot线程池配置使用示例详解》SpringBoot集成@Async注解,支持线程池参数配置(核心数、队列容量、拒绝策略等)及生命周期管理,结合监控与任务装饰器,提升异步处理效率与系统... 目录一、核心特性二、添加依赖三、参数详解四、配置线程池五、应用实践代码说明拒绝策略(Rejected