自己实现is_class

std::is_class是c++11标准中用于判断某个类型是否为一个类类型（但不是联合类型）的类模板。对于它的使用在我之前的文章有讲解。链接：is_class使用
下面看看它的实现：

template<typename T>
struct ISCLASS
{
    
private:
	template<typename U>
	static std::integral_constant<bool,!std::is_union<U>::value> test(int U::*p);

	template<typename>
	static std::integral_constant<bool, false> test(...);
public:
	static constexpr bool value = decltype(test<T>(nullptr))::value;
};

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

结果：

如上述代码，实现方法和is_default_constructible类似，都是使用了成员函数重载的方式。对于这两个test成员函数，编译器依旧会优先选择有具体形参的那个版本，特别要注意int U::*p,这个写法其实是一个成员变量指针。可以理解成如下的代码：

int A::*p = nullptr;

如果U是一个类类型，那么从语法上来讲，int U::*p这种写法就符合语法规则，否则，如果U不是一个类类型，这种写法就不符合语法规则，根据SFINAE特性，就会匹配第二个test()版本，而一旦匹配第二个test()版本则一定会匹配成功。

总结：如果传递给ISCLASS的类型模板参数T是一个类类型但不是一个联合类型，那么test()返回的就是std::integral_constant<bool,ture>类型，否则返回的就是std::integral_constant<bool,false>类型.