请看源码:

  struct __sfinae_types
{
typedef char __one;
typedef struct { char __arr[]; } __two;
};
template<typename _From, typename _To,
bool = __or_<is_void<_From>, is_function<_To>,
is_array<_To>>::value>
struct __is_convertible_helper
{ static constexpr bool value = is_void<_To>::value; }; template<typename _From, typename _To>
class __is_convertible_helper<_From, _To, false>
: public __sfinae_types
{
template<typename _To1>
static void __test_aux(_To1); template<typename _From1, typename _To1>
static decltype(__test_aux<_To1>(std::declval<_From1>()), __one())
__test(int); template<typename, typename>
static __two __test(...); public:
static constexpr bool value = sizeof(__test<_From, _To>()) == ;
}; /// is_convertible
template<typename _From, typename _To>
struct is_convertible
: public integral_constant<bool,
__is_convertible_helper<_From, _To>::value>
{ };

1.__is_convertible_helper是拥有三个模版参数的类模版,其中最后一个非类型模版参数有默认值。__or_<is_void<_From>, is_function<_To>, is_array<_To>>::value,只要其中任意一个为真,那么结果即为真。

2.__is_convertible_helper<_From, _To, false> 是__is_convertible_helper的偏特化,将bool的值设置为false,也就是说__or_<is_void<_From>, is_function<_To>, is_array<_To>>::value=false时,会转入此模版类。

3.对于为true的情况,is_void<_To>::value直接指示出类型是否可以转换。我们仔细分析一下:

a.is_void<_From>::value为true,则能否转换结果为is_void<_To>::value,from为void,to也为void即可转换。

b.如果is_array<_To>::value,is_function<_To>::value某个为true,则能否转换结果为is_void<_To>::value,在这里必然不能转换。

4.对于为false的情况,关键在于变长函数参数和sizeof表达式的妙用,如果没有这本书《C++设计新思维,泛型编程与设计模式之运用》我根本看不懂这些源码。

a. template<typename _From1, typename _To1> static decltype(__test_aux<_To1>(std::declval<_From1>()), __one()) __test(int);

__test()是一个函数,函数参数类型int,返回值由decltype推导而来,decltype里面是一个逗号表达式,如果__test_aux<_To1>(std::declval<_From1>())是有效的,那么decltype返回__one()的类型。

b.如果表达式是无效的,则__two __test(...)被选择。在编译时,我们可以知道这两个函数一个返回类型__one,一个返回类型__two,一个是单独char,一个是char数组长度为2

c.static constexpr bool value = sizeof(__test<_From, _To>(0)) == 1,调用函数,让编译器选择使用__test(int)还是__test(...),能进行类型转换就选择第一个,然后sizeof就返回值类型长度,指示出是否能进行转换。

一段示例代码,说明一些基本原理。

void convert(double)
{
cout<<"double..."<<endl;
} class H
{
public:
template <typename X> static decltype(convert(X()),string()) hello(int){cout<<"hello..."<<endl;return "c";}
template <typename > static char hello(...){cout<<"..."<<endl;return 'c';} }; int main()
{ cout<<"charSize:"<<sizeof(char)<<endl;
cout<<"stringSize:"<<sizeof(string)<<endl;
cout<<"--------------------"<<endl;
cout<<sizeof(H::hello<string>())<<endl;
cout<<sizeof(H::hello<long>())<<endl;
cout<<"--------------------"<<endl;
H::hello<string>();
H::hello<long>();
H::hello<int>();
H::hello<float>(); }

能转换的类型,sizeof输出8,不能呢过转换输出1,编译器根据语法规则选择哪个函数可以执行。

C++11 type_traits 之is_convertible源码分析的更多相关文章

  1. C++11 type_traits 之is_same源码分析

    请看源码: template<typename _Tp, _Tp __v> struct integral_constant { static const _Tp value = __v; ...

  2. C# DateTime的11种构造函数 [Abp 源码分析]十五、自动审计记录 .Net 登陆的时候添加验证码 使用Topshelf开发Windows服务、记录日志 日常杂记——C#验证码 c#_生成图片式验证码 C# 利用SharpZipLib生成压缩包 Sql2012如何将远程服务器数据库及表、表结构、表数据导入本地数据库

    C# DateTime的11种构造函数   别的也不多说没直接贴代码 using System; using System.Collections.Generic; using System.Glob ...

  3. 【Zookeeper】源码分析目录

    Zookeeper源码分析目录如下 1. [Zookeeper]源码分析之序列化 2. [Zookeeper]源码分析之持久化(一)之FileTxnLog 3. [Zookeeper]源码分析之持久化 ...

  4. Solr4.8.0源码分析(11)之Lucene的索引文件(4)

    Solr4.8.0源码分析(11)之Lucene的索引文件(4) 1. .dvd和.dvm文件 .dvm是存放了DocValue域的元数据,比如DocValue偏移量. .dvd则存放了DocValu ...

  5. 比特币源码分析--C++11和boost库的应用

    比特币源码分析--C++11和boost库的应用     我们先停下探索比特币源码的步伐,来分析一下C++11和boost库在比特币源码中的应用.比特币是一个纯C++编写的项目,用到了C++11和bo ...

  6. string源码分析 ——转载 http://blogs.360.cn/360cloud/2012/11/26/linux-gcc-stl-string-in-depth/

    1. 问题提出 最近在我们的项目当中,出现了两次与使用string相关的问题. 1.1. 问题1:新代码引入的Bug 前一段时间有一个老项目来一个新需求,我们新增了一些代码逻辑来处理这个新需求.测试阶 ...

  7. python基础-11 socket,IO多路复用,select伪造多线程,select读写分离。socketserver源码分析

    Socket socket通常也称作"套接字",用于描述IP地址和端口,是一个通信链的句柄,应用程序通常通过"套接字"向网络发出请求或者应答网络请求. sock ...

  8. 11.深入k8s:kubelet工作原理及源码分析

    转载请声明出处哦~,本篇文章发布于luozhiyun的博客:https://www.luozhiyun.com 源码版本是1.19 kubelet信息量是很大的,通过我这一篇文章肯定是讲不全的,大家可 ...

  9. JDK源码分析(11)之 BlockingQueue 相关

    本文将主要结合源码对 JDK 中的阻塞队列进行分析,并比较其各自的特点: 一.BlockingQueue 概述 说到阻塞队列想到的第一个应用场景可能就是生产者消费者模式了,如图所示: 根据上图所示,明 ...

随机推荐

  1. php新闻静态化方法

    $view=file_get_contents('./a.tpl'); //新闻详情页模板模式,需要数据位置定义标签如{title},{content} $php_content=str_replac ...

  2. vue 方法相互调用注意事项与详解

    vue在同一个组件内: methods中的一个方法调用methods中的另外一个方法: 可以直接这样调用:this.$options.methods.test(); this.$options.met ...

  3. php auto_prepend_file和auto_append_file的妙用

    这是一个鲜为人知的设置! auto_prepend_file 和 auto_append_file 是在php.ini中进行配置的2个参数,auto_prepend_file 表示在php程序加载第一 ...

  4. Swift_类型选择

    Swift_类型选择 点击查看源码 //类型选择 func test() { class MediaItem { } class Movie: MediaItem { } class Song: Me ...

  5. python 面向对象之添加功能

    '''**#实现功能**案列 姓名:王飞 年龄:30 性别:男 工龄:5我承诺,我会认真教课.王飞爱玩象棋 姓名:小明 年龄:15 性别:男 学号:00023102我承诺,我会 好好学习.小明爱玩足球 ...

  6. Jquery与js简单对比

    //Javascript window.onload=function () { var oBtn=document.getElementById('btn1'); oBtn.onclick=func ...

  7. 简单几行代码使用百度地图API接口分页获取信息

    首发于: 万能助手扩展开发:使用百度地图API接口分页获取信息_电脑计算机编程入门教程自学 http://jianma123.com/viewthread.aardio?threadid=426 使用 ...

  8. SpringBoot使用maven插件打包時報:[ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/PluginExecutionException的處理方案

    SpringBoot使用maven插件打包時報:[ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/PluginExec ...

  9. python七类之整型布尔值

    整型与布尔值 一.关键字:整型 --->int     布尔值----->bool  : True  真  False  假 1.整形和布尔值都是不可变得不可迭代的数据类型 2.整型: 主 ...

  10. 理解golang中的channel

    channel是goroutine之间的通信机制.可以类比线程间的通信,线程间的通信有多种方式,比如线程上下文.共享内存.IPC通信.socket实现不同机器间的通信. channel用起来很简单,绑 ...