跟我学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调用C++动态库超详细步骤讲解(附源码)

Java调用C++动态库超详细步骤讲解(附源码)

《Java调用C++动态库超详细步骤讲解(附源码)》C语言因其高效和接近硬件的特性,时常会被用在性能要求较高或者需要直接操作硬件的场合,：本文主要介绍Java调用C++动态库的相关资料,文中通过代... 目录一、直接调用C++库第一步：动态库生成（vs2017+qt5.12.10）第二步：Java调用C++
阅读更多...
使用Python实现一键隐藏屏幕并锁定输入

使用Python实现一键隐藏屏幕并锁定输入

《使用Python实现一键隐藏屏幕并锁定输入》本文主要介绍了使用Python编写一个一键隐藏屏幕并锁定输入的黑科技程序,能够在指定热键触发后立即遮挡屏幕,并禁止一切键盘鼠标输入,这样就再也不用担心自己... 目录1. 概述2. 功能亮点3.代码实现4.使用方法5. 展示效果6. 代码优化与拓展7. 总结1.
阅读更多...
使用Python开发一个简单的本地图片服务器

使用Python开发一个简单的本地图片服务器

《使用Python开发一个简单的本地图片服务器》本文介绍了如何结合wxPython构建的图形用户界面GUI和Python内建的Web服务器功能,在本地网络中搭建一个私人的,即开即用的网页相册,文中的示... 目录项目目标核心技术栈代码深度解析完整代码工作流程主要功能与优势潜在改进与思考运行结果总结你是否曾经
阅读更多...
C/C++错误信息处理的常见方法及函数

C/C++错误信息处理的常见方法及函数

《C/C++错误信息处理的常见方法及函数》C/C++是两种广泛使用的编程语言,特别是在系统编程、嵌入式开发以及高性能计算领域,：本文主要介绍C/C++错误信息处理的常见方法及函数,文中通过代码介绍... 目录前言1. errno 和 perror()示例：2. strerror()示例：3. perror(
阅读更多...
Linux中的计划任务(crontab)使用方式

Linux中的计划任务(crontab)使用方式

《Linux中的计划任务(crontab)使用方式》：本文主要介绍Linux中的计划任务(crontab)使用方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录一、前言1、linux的起源与发展2、什么是计划任务（crontab）二、crontab基础1、cro
阅读更多...
kotlin中const 和val的区别及使用场景分析

kotlin中const 和val的区别及使用场景分析

《kotlin中const和val的区别及使用场景分析》在Kotlin中,const和val都是用来声明常量的,但它们的使用场景和功能有所不同,下面给大家介绍kotlin中const和val的区别,... 目录kotlin中const 和val的区别1. val:2. const:二 代码示例1 Java
阅读更多...
C++变换迭代器使用方法小结

C++变换迭代器使用方法小结

《C++变换迭代器使用方法小结》本文主要介绍了C++变换迭代器使用方法小结,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧... 目录1、源码2、代码解析代码解析：transform_iterator1. transform_iterat
阅读更多...
详解C++中类的大小决定因数

详解C++中类的大小决定因数

《详解C++中类的大小决定因数》类的大小受多个因素影响,主要包括成员变量、对齐方式、继承关系、虚函数表等,下面就来介绍一下,具有一定的参考价值,感兴趣的可以了解一下... 目录1. 非静态数据成员示例：2. 数据对齐（Padding）示例：3. 虚函数（vtable 指针）示例：4. 继承普通继承虚继承5.
阅读更多...
C++中std::distance使用方法示例

C++中std::distance使用方法示例

《C++中std::distance使用方法示例》std::distance是C++标准库中的一个函数,用于计算两个迭代器之间的距离,本文主要介绍了C++中std::distance使用方法示例,具... 目录语法使用方式解释示例输出：其他说明：总结std::distance&n编程bsp;是 C++ 标准
阅读更多...
vue使用docxtemplater导出word

vue使用docxtemplater导出word

《vue使用docxtemplater导出word》docxtemplater是一种邮件合并工具,以编程方式使用并处理条件、循环,并且可以扩展以插入任何内容,下面我们来看看如何使用docxtempl... 目录docxtemplatervue使用docxtemplater导出word安装常用语法 封装导出方
阅读更多...

Copyright China编程 23002807@qq.com

沪ICP备2023033072号-2