类型萃取

C++ 中的类型萃取是一组功能强大的工具，以模板类的形式实现，位于 `<type_traits>` 头文件中。它们提供了一种在编译期检查和查询类型属性的机制，例如判断某个类型是否为指针、算术类型或函数。这使你能够编写根据所处理类型的特征自动调整行为的泛型代码，从而实现编译期分支以及更健壮的模板元编程。