C++新经典模板与泛型编程:用成员函数重载实现std::is_convertible

用成员函数重载实现is_convertible

C++标准库中提供的可变参类模板std::is_convertible,这个类模板的主要能力是判断能否从某个类型隐式地转换到另一个类型,返回的是一个布尔值true或false。例如,一般的从int转换成float或从float转换成int,都是可以的。又如,有一个类A和一个类B,代码如下。

class A
{
};class B : public A
{
};

因为类B的父类是类A,所以从类B转换到类A是可以的,但从类A转换到类B是不行的。
在main()主函数中加入几行测试代码:

#include "killCmake.h"#include<string>using namespace std;class A
{
};class B : public A
{
};int main()
{// std::is_convertible<X,Y> :是判断能否从X类型转到Y类型std::cout << std::is_convertible<float, int>::value << std::endl;std::cout << std::is_convertible<int, float>::value << std::endl;// 子类转换到父类可以,但是父类不能转换到子类,会截断std::cout << std::is_convertible<A, B>::value << std::endl;std::cout << std::is_convertible<B, A>::value << std::endl;return 0;
}

在这里插入图片描述
从结果中可以看到,从类A转换到类B是不允许的(结果为0),其他几个转换都是可以的(结果为1)。
在明白了std::is_convertible的功能后,现在就来深入了解一下它的实现源码。这里,IsConvertibleHelper类模板和一个IsConvertible类模板,完成与std::is_convertible同样的功能。这里尤其注意,不要把类型模板的参数搞反,第1个类型模板参数叫作FROM,第2个类型模板参数叫作TO。IsConvertibleHelper类模板实现的功能是测试从FROM类型转换到TO类型是否可行。

template<typename From,typename To>
struct IsConvertibleHelper
{
private:static void testfunc(To);template<typename = decltype(testfunc(std::decltype<From>()))>static std::true_type test(void*);static std::false_type test(...);
public:using type = decltype(test(nullptr));
};
  • 上面的代码与以往讲过的IsDefConstructibleHelper代码非常类似,重载的test()成员函数返回类型分别是std::true_type和std::false_type。如果FROM类型能转换成TO类型,那么就会匹配返回std::true_type的test()成员函数(成员函数模板);否则会匹配返回std::false_type的test成员函数。
  • 值得注意的是,返回std::true_type的test()成员函数中类型模板参数默认值的写法,看起来是用decltype推断testfunc()成员函数的返回类型,传递给testfunc()的实参可以看作一个FROM类型的对象(std::declval()),如果FROM类型能被顺利地转换为TO类型,那么通过decltype推断testfunc()的返回类型的写法就是有效的(SFINAE原则),test()函数就会返回std::true_type,否则编辑器就会匹配返回类型为std::false_type的test()成员函数。
  • 现在,继续实现IsConvertible类模板,让其继承刚刚定义的IsConvertibleHelper模板中的type(type是一个类型,为std::true_type或std::false_type),代码如下。
#include "killCmake.h"#include<string>using namespace std;class A
{
};class B : public A
{
};template<typename From,typename To>
struct IsConvertibleHelper
{
private:static void testfunc(To);template<typename = decltype(testfunc(std::decltype<From>()))>static std::true_type test(void*);static std::false_type test(...);
public:using type = decltype(test(nullptr));
};template<typename From,typename To>
struct IsConvertible : IsConvertibleHelper<From, To>::type // struct 默认的继承方式是public继承
{
};int main()
{// std::is_convertible<X,Y> :是判断能否从X类型转到Y类型std::cout << std::is_convertible<float, int>::value << std::endl;std::cout << std::is_convertible<int, float>::value << std::endl;// 子类转换到父类可以,但是父类不能转换到子类,会截断std::cout << std::is_convertible<A, B>::value << std::endl;std::cout << std::is_convertible<B, A>::value << std::endl;return 0;
}

在这里插入图片描述

  • 当FROM类型能够转换成TO类型时,IsConvertible的父类(IsConvertibleHelper<FROM, TO>::type)相当于std::true_type类型;当FROM类型不能转换成TO类型时,IsConvertible的父类就相当于std::false_type类型。此时,std::true_type或std::false_type类型中的静态成员变量value的值为true(1)或false(0)就代表FROM类型能否转换为TO类型。

可以用一个变量模板简化书写:

#include "killCmake.h"#include<string>using namespace std;class A
{
};class B : public A
{
};template<typename From,typename To>
struct IsConvertibleHelper
{
private:static void testfunc(To);template<typename = decltype(testfunc(std::decltype<From>()))>static std::true_type test(void*);static std::false_type test(...);
public:using type = decltype(test(nullptr));
};template<typename From,typename To>
struct IsConvertible : IsConvertibleHelper<From, To>::type // struct 默认的继承方式是public继承
{
};template<typename From,typename To>
constexpr bool IsConvertible_v = IsConvertible<From, To>::value;int main()
{std::cout << IsConvertible_v<float, int> << std::endl;std::cout << IsConvertible_v<int, float> << std::endl;std::cout << IsConvertible_v<A, B> << std::endl;std::cout << IsConvertible_v<B, A> << std::endl;return 0;
}

在这里插入图片描述

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/206963.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

使用Plex结合cpolar搭建本地私人媒体站并实现远程访问

文章目录 1.前言2. Plex网站搭建2.1 Plex下载和安装2.2 Plex网页测试2.3 cpolar的安装和注册 3. 本地网页发布3.1 Cpolar云端设置3.2 Cpolar本地设置 4. 公网访问测试5. 结语 1.前言 用手机或者平板电脑看视频&#xff0c;已经算是生活中稀松平常的场景了&#xff0c;特别是各…

剧本杀小程序搭建:打造线上剧本杀新体验

剧本杀是一款以角色扮演为主的游戏&#xff0c;一度成为了年轻人的最喜爱的社交游戏。在剧本杀市场需求下&#xff0c;剧本杀规模也迅速上升。今年第一季度&#xff0c;剧本杀市场规模环比增长47%&#xff0c;市场整体消费水平逐渐呈上升趋势。 随着剧本杀的不断发展&#xff…

echarts绘制一个环形图2

其他echarts&#xff1a; echarts绘制一个环形图 echarts绘制一个柱状图&#xff0c;柱状折线图 echarts绘制一个饼图 效果&#xff1a; 组件代码&#xff1a; <template><div class"wrapper"><div ref"doughnutChart2" id"dough…

ORACLE数据库实验总集 实验六 SQL 语句应用

一、 实验目的 &#xff08;1&#xff09; 掌握数据的插入&#xff08;INSERT&#xff09;、 修改&#xff08;UPDATE&#xff09; 和删除&#xff08;DELETE&#xff09; 操作。 &#xff08;2&#xff09; 掌握不同类型的数据查询&#xff08;SELECT&#xff09; 操作。 二、…

JVM虚拟机:如何查看JVM初始和最终的参数?

本文重点 在前面的课程中&#xff0c;我们学习了如何查看当前程序所处于的xx参数&#xff0c;本文再介绍一种如何参看JVM的xx参数&#xff1f; 查看JVM的所有初始化参数 方式一&#xff1a;java -XX:PrintFlagsInitial 方式二&#xff1a;java -XX:PrintFlagsInitial -versio…

Uncle Maker: (Time)Stamping Out The Competition in Ethereum

目录 笔记后续的研究方向摘要引言贡献攻击的简要概述 Uncle Maker: (Time)Stamping Out The Competition in Ethereum CCS 2023 笔记 本文对以太坊 1 的共识机制进行了攻击&#xff0c;该机制允许矿工获得比诚实同行更高的挖矿奖励。这种名为“Uncle Maker”的攻击操纵区块时间…

mysql数据库中int字段长度,即int(1)和int(10)的区别

1.起因 为什么想起来看这个问题&#xff0c;是最近有同事问mysql的init类型的字段长度的问题&#xff0c;他问int(1)和int(10)是什么意思&#xff0c;是字段长度越大&#xff0c;能存储的数字越大么&#xff1f;咋一问&#xff0c;还有点懵&#xff0c;从惯性思维来看&#xf…

React 中虚拟DOM是什么,为什么需要它?

注意&#xff1a;本节主要讲React中的虚拟DOM&#xff0c;但是虚拟DOM并不是React中特有的内容。 1. React 中虚拟 DOM是什么&#xff1f; 虚拟DOM是对真实DOM的描述&#xff0c;虚拟DOM是JS对象&#xff0c;实际上就是 JSX 通过 babel 转换成 React.createElement()&#xff…

来自OpenAI的官方解释:ChatGPT中的GPTs与Assistants API的区别是什么?有什么差异?

本文原文来自DataLearnerAI的官方网站&#xff1a; 来自OpenAI的官方解释&#xff1a;ChatGPT中的GPTs与Assistants API的区别是什么&#xff1f;有什么差异&#xff1f; | 数据学习者官方网站(Datalearner)https://www.datalearner.com/blog/1051701996595465 OpenAI发布的产…

图解算法数据结构-LeetBook-查找01_第一个只出现一次的字符

某套连招动作记作仅由小写字母组成的序列 arr&#xff0c;其中 arr[i] 第 i 个招式的名字。请返回第一个只出现一次的招式名称&#xff0c;如不存在请返回空格。 示例 1&#xff1a; 输入&#xff1a;arr “abbccdeff” 输出&#xff1a;‘a’ 示例 2&#xff1a; 输入&…

3D Web轻量引擎HOOPS Communicator如何实现对大模型的渲染支持?

除了读取轻松外&#xff0c;HOOPS Communicator对超大模型的支持效果也非常好&#xff0c;它可以支持30GB的包含70万个零件和3.5亿个三角面的Catia装配模型&#xff01; 那么它是如何来实现对大模型的支持呢&#xff1f; 我们将从以下几个方面与大家分享&#xff1a;最低帧率…

python核心阶段(五)—— 面向对象三大特性

1.封装 概念&#xff1a;封装主要是指将一些属性和相关方法封装在一个对象中&#xff0c;对外隐藏内部具体实现细节 作用&#xff1a;1&#xff09;使用起来更加方便&#xff0c;类似于提供了一个工具箱 2&#xff09;保证数据的安全&#xff08;设置私有属性&#xff09; 3&am…

高精度加法,减法,乘法,除法(下)(C语言)

前言 上一篇博客我们分享了高精度加法&#xff0c;减法,这一期我将为大家讲解高精度乘法和高精度除法。那让我们开始吧&#xff01; 对加法和减法感兴趣的话就点我 文章目录 1&#xff0c;乘法2&#xff0c;除法3&#xff0c;尾声 1&#xff0c;乘法 让我们想想我们平时做数学…

openpyxl读取Excel文件忽略单元格公式仅读取所显示的值

目录 前言解决方案先不加&#xff1a;看读取信息加上参数&#xff1a;看读取信息完整代码 前言 我们在读取Excel文件时&#xff0c;假如某行或者某列是利用公式生成的&#xff0c;但是我们在利用openpyxl进行读取时&#xff0c;发现读取到的是公式&#xff0c;而非显示的值 解…

[⑧ADRV902x]: Digital Pre-Distortion (DPD)学习笔记

前言 DPD 数字预失真技术&#xff0c;是一种用于抑制功率放大器非线性失真的方法。 它通过在信号输入功率放大器&#xff08;PA&#xff09;之前插入一个预失真模块&#xff0c;对输入信号进行适当的调制&#xff0c;以抵消功率放大器引起的非线性失真&#xff0c;使功率放大器…

Ubuntu 安装 CUDA 和 cuDNN 详细步骤

我的Linux系统背景&#xff1a; 系统和驱动都已安装。 系统是centos 8。查看自己操作系统的版本信息&#xff1a;cat /etc/issue或者是 cat /etc/lsb-release 用nvidia-smi可以看到显卡驱动和可支持的最高cuda版本&#xff0c;我的是12.2。驱动版本是535.129.03 首先&#…

[足式机器人]Part2 Dr. CAN学习笔记-数学基础Ch0-9阈值选取-机器视觉中应用正态分布和6-sigma

本文仅供学习使用 本文参考&#xff1a; B站&#xff1a;DR_CAN Dr. CAN学习笔记-数学基础Ch0-9阈值选取-机器视觉中应用正态分布和6-sigma 5M1E——造成产品质量波动的六因素 人 Man Manpower 机器 Machine 材料 Material 方法 Method 测量 Measurment 环境 Envrionment DMAI…

模块电源(六):前馈电容

一、前馈电容&#xff1a; 前馈电容是与电阻分压的顶部电阻 并联的"可选电容器" 二、计算及仿真&#xff1a; 1、计算 无前馈电容时&#xff0c;输出电压&#xff1a;&#xff1b;有前馈电容时&#xff0c;输出电压&#xff1a;&#xff0c;(其中&#xff0c;&am…

crmeb本地开发配置代理

crmeb 是一个开源的商城系统&#xff0c; v5 版本是一个前后端分离的项目&#xff0c; 我们从git仓库中下载下来的是一个文件夹&#xff0c;其结构是这样的 我的系统没有使用docker &#xff0c;使用的是 laragon 的系统 所以首先我们要在 nginx 中配置 之后&#xff0c; 我们…

WebStorm:Mac/Win上强大的JavaScript开发工具

WebStorm是JetBrains公司开发的针对Mac和Windows系统的JavaScript开发工具。它为开发者提供了一站式的代码编辑、调试、测试和版本控制等功能&#xff0c;帮助你更高效地进行Web开发。新版本的WebStorm 2023在性能和用户体验方面都做出了重大改进&#xff0c;让你的JavaScript开…