自己实现is_convertible

c++标准库中提供的std::is_convertible,用来判断是否可以从一个类型隐式转换为另外一个类型，下面看看例子：

class Ax
{
    

};

class Bx:public Ax
{
    
public:
};

class Cx
{
    

};

int main()
{
    
	cout << std::is_convertible<Bx, Ax>::value << endl;
	cout << std::is_convertible<Ax, Bx>::value << endl;
	cout << std::is_convertible<float, int>::value << endl;
	cout << std::is_convertible<int, float>::value << endl;
	system("pause");
	return 0;
}

结果：

在明白了它的功能后，我们试着自己实现。

template<typename FROM,typename TO>
struct ISCONVERTIBLE
{
    
private:
	static void testfunc(TO);

	template<typename = decltype(testfunc(std::declval<FROM>()))>
	static std::true_type test(void *);

	static std::false_type test(...);
public:
	static  constexpr bool value = decltype(test(nullptr))::value;
};

上面是实现代码，使用重载函数的方式实现，分别返回std::true_type,std::false_type;如果FROM能转换成TO类型，那么就会匹配std::true_type 的test()成员函数，否则会匹配std::false_type的test成员函数。注意:如果FROM类型能顺利地转换为TO类型，那么通过decltype推断testfunc()的返回类型就有效，test函数就会返回std::true_type,否则编译器就会匹配返回std::false_type的成员函数。下面做个测试：