C++：判定类型A是否能够基于隐式类型转换转为B类型？：《加上赌场加入优惠券澳门巴卡拉特 》

原文见C++有哪些鲜为人知的奇特操作？-知乎，直接看代码：//自定义两个内存大小不一样的类型，作为“布尔值”typedefchar__True;typedefstruct{char_[2];}__False;templateclassIsCastable{private://稻草人函数staticA__A();//两个同名函数__Test，入参分别是B和可变参数，返回值和入参不同static__True__Test(B);//函数1static__False__Test(...);//函数2public:staticconstexprboolValue=sizeof(__Test(__A()))==sizeof(__True);};intmain(){std::cout::Value::Value解释如下：1.上述IsCastable类中首先声明了一个稻草人函数（无函数体），唯一的作用是获得一个A类型的值给sizeof看。

有人会问，为什么不直接使用形如“T()”这样的写法呢？很显然，因为并不是所有的T都具有默认构造函数，而如果T没有默认构造函数，那么“T()”就是错误的。

2.上述IsCastable类中声明了一对重载函数（__Test），这两个函数的区别有二：返回值不同，一个是sizeof的结果为1的值，而另一个是sizeof的结果为2的值形参不同，一个是B，一个是“...”，也就是说，如果我们给这一对重载函数传入一个A类型的值时，由于“...”参数的重载确定优先级低于其他一切可行的重载版本，只要A到B的隐式类型转换能够发生，重载确定的结果就一定是调用第一个版本的函数，返回值为__True；否则，只有当A到B的隐式类型转换真的不可行时，编译器才会“被迫”选择那个编译器“最不喜欢的版本，从而使得返回值为__False。

返回值的不同，就能够直接体现在sizeof的结果不同上。

所以，只需要判定sizeof(__Test(__A()))是多少，就能够达到我们最终的目的了。