自己实现is_default_constructible

首先介绍一下c++标准库中的std::is_default_constructible，这个类模板的主要功能是判断一个类的对象是否能够被默认构造，如下面示例

class Ax
{
    

};

class Bx
{
    
public:
	Bx(int x)
	{
    

	}
};

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

结果：

那我们自己如何实现呢？代码如下：

template<typename T>
struct IsConstructibile
{
    
private:
	template<typename = decltype(T())>
	static std::true_type test(void*);
	template<typename = int>
	static std::false_type test(...);
public:
	static constexpr bool value = std::is_same<decltype(test(nullptr)),std::true_type>::value;
};

上面实现的方式，采用了成员函数重载的方式实现的，写得比较不错，值得学习。下面解析一下：
（1）有两个同名静态成员函数模板test().第一个test()返回std::true_type,第二个test()返回std::false_type；第一个test(），形参为void *,第二个为…，这是C语言中的省略号形参，可以接受0到任意多个实参。要重点注意decltype(T()),这是实现的关键。
（2）对于这两个test()，调用的时候，编译器会优先选用有具体形参的版本，只有该版本不匹配时才会选择省略号的版本。
（3）对于decltype(test(nullptr)，如果传递给IsConstructibile的类型T支持默认构造，那么显然编译器会选择第一个test,那么返回值就为std::true_type，从而使value为true;
如果传递给IsConstructibile的类型T不支持默认构造，那么decltype(T())的写法根本就不成立，根据SFINAE特性，编译器会选择第二个test,返回值为false_type,所以整体值就为false.下面看看测试结果：