模板编程中实现 SFINAE(Substitution Failure Is Not An Error)

2024-05-29 10:12

本文主要是介绍模板编程中实现 SFINAE(Substitution Failure Is Not An Error),希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

在C++模板编程中,std::enable_if 是一个常用的工具,它依赖于 SFINAE(Substitution Failure Is Not An Error)原则来控制模板的启用或禁用。理解 std::enable_if 如何工作,可以更清楚地看到为什么 disable_if_same_or_derived 在某些情况下等同于 void 类型。

std::enable_if 的工作原理

std::enable_if 是一个模板,它的作用是根据条件在编译期决定是否启用某个模板。如果条件为 true,它定义一个内部类型 type,通常被设定为 void。如果条件为 false,则没有定义 type,从而导致模板匹配失败。这利用了 SFINAE 原则,即在模板匹配过程中如果替换失败不会导致编译错误,而是简单地从候选模板集中移除。

代码解释

template<typename A, typename B>
using disable_if_same_or_derived = typename std::enable_if<!std::is_base_of<A, typename std::remove_reference<B>::type>::value
>::type;

这段代码使用 std::enable_ifstd::is_base_of 来定义一个条件性的类型别名 disable_if_same_or_derived

  1. std::is_base_of<A, typename std::remove_reference<B>::type>::value
    • 检查 A 是否是(去掉引用后的)B 的基类,或 A 是否与 B 相同。
  2. !std::is_base_of<...>::value
    • 取反操作,即当 A 不是 B 的基类,并且 A 不等于 B 时,条件为 true
  3. std::enable_if<condition>::type
    • 当条件为 true 时,std::enable_if 定义 type 成员类型,通常被设定为 void

为什么等同于 void 类型

在条件为 true 时,即 A 不是 B 的基类并且 A 不等于 B 时:

typename std::enable_if<true>::type

在这种情况下,std::enable_if<true> 会定义一个成员类型 type,默认情况下为 void。因此,disable_if_same_or_derived 在这种情况下等同于 void

using disable_if_same_or_derived = void;

在条件为 false 时,即 AB 的基类或 A 等于 B 时:

typename std::enable_if<false>::type

在这种情况下,std::enable_if<false> 不会定义 type,因此模板匹配失败,不会实例化。

示例应用

考虑以下函数模板,它使用 disable_if_same_or_derived 来控制模板实例化:

#include <type_traits>
#include <iostream>template<typename A, typename B>
using disable_if_same_or_derived = typename std::enable_if<!std::is_base_of<A, typename std::remove_reference<B>::type>::value>::type;class Base {};
class Derived : public Base {};template<typename T, typename = disable_if_same_or_derived<Base, T>>
void foo(T&&) {std::cout << "foo(T&&) called" << std::endl;
}// Overload to handle Base and its derived types
void foo(Base&) {std::cout << "foo(Base&) called" << std::endl;
}int main() {int i = 0;Base b;Derived d;foo(i);    // 调用 foo(T&&)foo(b);    // 调用 foo(Base&)foo(d);    // 调用 foo(Base&)
}

在这个例子中:

  • 当传递的类型不是 Base 或其派生类时,例如 int 类型,disable_if_same_or_derived 等同于 void,函数模板 foo(T&&) 可以被实例化。
  • 当传递的类型是 Base 或其派生类时,例如 BaseDerived 类型,disable_if_same_or_derived 无法定义类型,导致模板匹配失败,而选择重载函数 foo(Base&)

这种方式可以用于实现函数重载或模板实例化的条件限制,有效地控制模板的适用范围。

这篇关于模板编程中实现 SFINAE(Substitution Failure Is Not An Error)的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1013378

相关文章

揭秘Python Socket网络编程的7种硬核用法

《揭秘PythonSocket网络编程的7种硬核用法》Socket不仅能做聊天室,还能干一大堆硬核操作,这篇文章就带大家看看Python网络编程的7种超实用玩法,感兴趣的小伙伴可以跟随小编一起... 目录1.端口扫描器:探测开放端口2.简易 HTTP 服务器:10 秒搭个网页3.局域网游戏:多人联机对战4.

Java枚举类实现Key-Value映射的多种实现方式

《Java枚举类实现Key-Value映射的多种实现方式》在Java开发中,枚举(Enum)是一种特殊的类,本文将详细介绍Java枚举类实现key-value映射的多种方式,有需要的小伙伴可以根据需要... 目录前言一、基础实现方式1.1 为枚举添加属性和构造方法二、http://www.cppcns.co

使用Python实现快速搭建本地HTTP服务器

《使用Python实现快速搭建本地HTTP服务器》:本文主要介绍如何使用Python快速搭建本地HTTP服务器,轻松实现一键HTTP文件共享,同时结合二维码技术,让访问更简单,感兴趣的小伙伴可以了... 目录1. 概述2. 快速搭建 HTTP 文件共享服务2.1 核心思路2.2 代码实现2.3 代码解读3.

MySQL双主搭建+keepalived高可用的实现

《MySQL双主搭建+keepalived高可用的实现》本文主要介绍了MySQL双主搭建+keepalived高可用的实现,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,... 目录一、测试环境准备二、主从搭建1.创建复制用户2.创建复制关系3.开启复制,确认复制是否成功4.同

Java实现文件图片的预览和下载功能

《Java实现文件图片的预览和下载功能》这篇文章主要为大家详细介绍了如何使用Java实现文件图片的预览和下载功能,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下... Java实现文件(图片)的预览和下载 @ApiOperation("访问文件") @GetMapping("

Java并发编程必备之Synchronized关键字深入解析

《Java并发编程必备之Synchronized关键字深入解析》本文我们深入探索了Java中的Synchronized关键字,包括其互斥性和可重入性的特性,文章详细介绍了Synchronized的三种... 目录一、前言二、Synchronized关键字2.1 Synchronized的特性1. 互斥2.

使用Sentinel自定义返回和实现区分来源方式

《使用Sentinel自定义返回和实现区分来源方式》:本文主要介绍使用Sentinel自定义返回和实现区分来源方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录Sentinel自定义返回和实现区分来源1. 自定义错误返回2. 实现区分来源总结Sentinel自定

Java实现时间与字符串互相转换详解

《Java实现时间与字符串互相转换详解》这篇文章主要为大家详细介绍了Java中实现时间与字符串互相转换的相关方法,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下... 目录一、日期格式化为字符串(一)使用预定义格式(二)自定义格式二、字符串解析为日期(一)解析ISO格式字符串(二)解析自定义

opencv图像处理之指纹验证的实现

《opencv图像处理之指纹验证的实现》本文主要介绍了opencv图像处理之指纹验证的实现,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学... 目录一、简介二、具体案例实现1. 图像显示函数2. 指纹验证函数3. 主函数4、运行结果三、总结一、

Springboot处理跨域的实现方式(附Demo)

《Springboot处理跨域的实现方式(附Demo)》:本文主要介绍Springboot处理跨域的实现方式(附Demo),具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不... 目录Springboot处理跨域的方式1. 基本知识2. @CrossOrigin3. 全局跨域设置4.