26、C++ 类型分类与智能指针的深入解析

C++ 类型分类与智能指针的深入解析

1. 类型分类

1.1 枚举类型判断的特殊情况

若 T 是具有向整型类型转换运算符的类类型，该转换运算符不会被考虑，因为对于匹配，只能调用一个用户定义的转换，且首先需要从 ConsumeUDC<T> 到 T 进行另一个此类转换。没有其他类型 T 能与整型类型匹配，所以会选择 enum_check() 的省略版本。为了仅识别枚举类型，而不包括基本类型或指针类型，我们使用之前开发的 IsFundaT 和 CompoundT 类型，将这些类型从使 IsEnumT<T>::Yes 不为零的类型集合中排除。

1.2 确定类类型

在之前描述的所有分类模板之后，只剩下类类型（类、结构体和联合体）有待识别。有两种方法：
- 使用 SFINAE 原则。
- 通过排除法：如果一个类型不是基本类型、不是枚举类型且不是复合类型，那么它必定是类类型。以下模板实现了这个想法：

// types/type8.hpp
template<typename T>
class IsClassT {
public:
    enum { Yes = IsFundaT<T>::No &&
                 IsEnumT<T>::No