SFINAE

#include<iostream>/*SFINAE*在模板中有一个思想叫做“替换失败并非错误”*当我们定义模板时无论是无论是偏特化，还是成员特化，还是实例化，还是...*我们在进行调用的时候我们会对模板进行一个实参推导的过程，这时候*只要我们找到一个匹配的模板进行正确的匹配，则不匹配的模板在匹配的过程中就被忽略掉*这个就叫做“替换失败并非错误”*我们可以用它侦测预定义转换，也能侦测用户定义的转换*2016年7月4日00:17:41*///1typedef char True;typedef struct { char a[2]; } Flase;template<class C>True hasIterator(typename C::iterator const *);template<class T>Flase hasIterator(...);#define has_iterator(C)\(sizeof(hasIterator<C>(0))==sizeof(True));/*1*sizeof表达式出现的函数调用并不会真正的执行，它只会对*“可能被调用的函数”返回类型感兴趣因而可以检查函数的*返回值大小，以便确定是否是以便确定匹配的是哪个函数2*当我们检查"C"是否是一个含有成员iterator的指针时*我们传入C当C中含有iterator指针时0将被转换为iter\*ator*类型,匹配第一个模板，否则将匹配第二个可以*接受任意参数的版本。*///2template<typename T1,typename T2>struct CanConvert{static True canConvert(T2);static Flase canConvert(...);static T1 markT1();enum a{r=sizeof(canConvert（markT1()))==sizeof(ture) };};/**第二个与第一个含义差不多，当我们匹配传入参数T1，T2时*markT1将会返回T1作为参数传入canConvert,当T1可以转换*为T2时，则匹配第一个模板否则匹配第二个模板.*/int main() {std::cout<<has_iterator(int);system("pause");return 0;}

其实这个东西我们早已受益，想想declval。