C++ SFINAE
1. 什么是SFINAE
在C++中有很多的编程技巧(Trick), SFINAE
就是其中一种, 他的全义可以翻译为”匹配失败并不是一个错误(Substitution failure is not an error)“. 简单来说他就是专门利用编译器匹配失败的一种技巧.
2. 案例
比如我们想实现一个通用的函数叫AnyToString
, 他可以实现任意类型的数据转成字符串:
template<typename ValueType>
char* AnyToString(const ValueType& value);
我们更希望这个函数能检查ValueType类型自己有没有ToString
方法, 如果有就直接调用, 没有的话就采取通用的处理方案. 但是C++
没有反射机制, 不能像C#那样通过TypeInfo
来检查, 更没有像Java
那样纯粹的OOP,从最基类就定义了ToString
方法,下面的子类只用负责重载。
所以我们希望能有一种方法能让C++
也能检查某个类型是否定义了某个成员函数, 这就可以用到SFINAE
.
3. 解决方案
C++
的模板匹配有个特点, 编译器始终会寻找类型匹配最精确的模板. 当然并不一定所有的模板都能匹配, 一旦有某个模板匹配不成功, 编译器会自动尝试别的候选模板, 要是所有的都不成功那编译器就匹配失败, 有的时候我们想故意跳过某些精确度高模板匹配, 而使用精确度低的模板, 这个时候就可以利用SFINAE
故意让编译器匹配失败. 回到案例, 我们希望检查一个类型是否有ToString
方法, 例如:
class A { char* ToString(); }; class B { };
这时我们在代码里面写A::ToString
, 自然没有什么问题, 但是如果写B::ToString
的话编译将告诉你找不到这个符号. 我们可以利用这个错误来跳过某些模板的匹配, 而使得别的模板可以得到匹配. 例如以下代码:
template<typename ClassType>
struct HasToStringFunction {
typedef struct { char[]; } Yes;
typedef struct { char[]; } No; template<typename FooType, char* (FooType::*)()>
struct FuncMatcher; template<typename FooType>
static Yes Tester(FuncMatcher<FooType, &FooType::ToString>*); template<typename FooType>
static No Tester(...); enum {
Result = sizeof(Tester<ClassType>(NULL)) == sizeof(Yes)
};
}; bool a_has_tostring = HasToStringFunction<A>::Result; // True
bool b_has_tostring = HasToStringFunction<B>::Result; // False
这里有两个Tester方法, 第一个的匹配精度高于第二个的.
当编译器解析Tester<ClassType>(NULL)
的时候, 编译器首先会尝试用ClassType
以及他的一个ClassType::ToString
方法去实例化一个FuncMatcher
类型来匹配第一个Tester
函数. 对于A来说, 这是能通过的.
但是对于B来说, 因为其没有ToString
方法, 所以不能用B以及不存在的B::ToString
来实例化FuncMatcher
.
这个时候编译器实际上就已经发现错误了, 但是根据SFINAE原则这个只能算是模板匹配失败, 不能算错误, 所以编译器会跳过这次对FuncMatcher
的匹配. 但是跳过了以后也就没有别的匹配了, 所以整个第一个Tester
来说对B都是不能匹配成功的, 这个时候优先级比较低的第二个Tester
自然就能匹配上了. 我们就可以利用这一点来实现我们最开始的想要AnyToString
方法:
template<bool>
struct AnyToStringAdviser; template<>
struct AnyToStringAdviser<true> {
template<typename ValueType>
static char* ToString(const ValueType& value) {
return value.ToString();
}
} template<>
struct AnyToStringAdviser<false> {
template<typename ValueType>
static char* ToString(const ValueType& value) {
/* Generic process */
}
} template<typename ValueType>
char* AnyToString(const ValueType& value) {
return AnyToStringAdviser<HasToStringFunction<ValueType>::Result >::ToString(value);
}
4. 再写一个常用的使用了该方法的traits工具类
template <typename T>
struct is_class{
typedef char __one__;
typedef struct{ char[]; } __two__; template <typename U>
static __one__ test(int U::*){ } template <typename U>
static __two__ test(...){ } const static bool value = (sizeof(test<T>(NULL)) == sizeof(__one__));
};
C++ SFINAE的更多相关文章
- C++模板元编程 - 3 逻辑结构,递归,一点列表的零碎,一点SFINAE
本来想把scanr,foldr什么的都写了的,一想太麻烦了,就算了,模板元编程差不多也该结束了,离开学还有10天,之前几天部门还要纳新什么的,写不了几天代码了,所以赶紧把这个结束掉,明天继续抄轮子叔的 ...
- SFINAE简单实例
SFINAE(Substitution failure is not an error),是C++11以来推出的一个重要概念,这里,只是简单举一个例子,可能会有人需要. // 添加 scalar nu ...
- C++模板进阶指南:SFINAE
C++模板进阶指南:SFINAE 空明流转(https://zhuanlan.zhihu.com/p/21314708) SFINAE可以说是C++模板进阶的门槛之一,如果选择一个论题来测试对C++模 ...
- SFINAE and enable_if
There's an interesting issue one has to consider when mixing function overloading with templates in ...
- SFINAE 与 type_traits
SFINAE 与 type_traits SFINAE 替换失败不是错误 (Substitution Failure Is Not An Error),此特性被用于模板元编程. 在函数模板的重载决议中 ...
- c++11-17 模板核心知识(八)—— enable_if<>与SFINAE
引子 使用enable_if<>禁用模板 enable_if<>实例 使用Concepts简化enable_if<> SFINAE (Substitution Fa ...
- SFINAE 模板替换失败而非报错的应用
体会这一个例子,检查是否是一个类:P187
- Google C++ Style Guide
Background C++ is one of the main development languages used by many of Google's open-source project ...
- C++ 11学习和掌握 ——《深入理解C++ 11:C++11新特性解析和应用》读书笔记(一)
因为偶然的机会,在图书馆看到<深入理解C++ 11:C++11新特性解析和应用>这本书,大致扫下,受益匪浅,就果断借出来,对于其中的部分内容进行详读并亲自编程测试相关代码,也就有了整理写出 ...
随机推荐
- Hadoop2的简单安装
前面花了很多时间来介绍hadoop1的安装,随着hadoop的发展,hadoop2的应用也越来越普及,hadoop2解决了hadoop1中的很多问题,比如单点故障,namenode容量小的问题. 我们 ...
- Azure杂七杂八系列(二) - 如何在Azure上重新配置VM
我们经常遇到这样的问题, 对于已经建立的VM进行性能提升, 比如需要更好的虚拟机或者需要迁移到其他的虚拟网络 那么我们可以使用以下的方法进行修改. 1. 如图所示, TESTVMXX位于North ...
- 一个采用python获取股票数据的开源库,相当全,及一些量化投资策略库
tushare: http://tushare.waditu.com/index.html 为什么是Python? 就跟javascript在web领域无可撼动的地位一样,Python也已经在金融量化 ...
- show index 之Cardinality (mysql)
show index 之Cardinality 官方文档的解释: Cardinality An estimate of the number of unique values in the inde ...
- express 学习笔记
首先把这个库加载下来 npm install -g express 这样会安装它所有依赖包,这个非常恐怖.这个框架要依赖这么多外来的东西,如果有一个不与时俱进就会拖累整个框架的质量. C:\windo ...
- HDU 2544 最短路 http://acm.hdu.edu.cn/showproblem.php?pid=2544
//代码: //方法1:Dijkstra's Algorithm #include<stdio.h> #include<math.h> #include<string.h ...
- css3妙用 刷新图标
从猫眼电影看到的一个图标 .geopos i:before { content: ""; width: .8em; height: .8em; border: .14em soli ...
- HDU 4593 Robot (水题)
题意:有 n 个数,其中有两个数中相同的,让你找出这个数. 析:太简单了么,只要用数组下标记一下这个数的数量即可. 代码如下: #include <iostream> #include & ...
- AcceptEx编辑
Windows套接字AcceptEx函数接受一个新的连接,返回本地和远程地址,并接收由客户端应用程序发送的第一块数据.Windows 95/98不支持AcceptEx函数. 平台SDK:Windows ...
- Tomcat 系统架构与设计模式,第 2 部分: 设计模式分析(转载)
简介: 这个分为两个部分的系列文章研究了 Apache Tomcat 服务器的系统架构以及其运用的很多经典设计模式.第 1 部分 分析了 Tomcat 的工作原理,第 2 部分将分析 Tomcat 中 ...