std::is_class 对 int、double 返回 false，因为它仅对由 class/struct/union 关键字定义的用户自定义类型返回 true，而基本类型、枚举、指针等均不满足该语法定义。
std::is_class 为什么对 int、double 返回 false
std::is_class 只对「用户定义的 class/struct/union 类型」返回 true，它不关心有没有成员函数或是否可实例化，只看类型是否由 class、struct 或 union 关键字定义。基本类型（int、double、char）、枚举、指针、引用、数组、函数类型、void 全部返回 false。
常见错误是以为它能区分「自定义类型」和「所有非基本类型」——但它对 std::string、std::vector<int></int> 这类模板类也返回 true（因为它们确实是 class），但对 enum class Color 却返回 false（C++11 起 enum class 是独立类型，不是 class 类型）。
-
std::is_class_v<int></int>→false -
std::is_class_v<:string></:string>→true -
std::is_class_v<enum class e></enum>→false -
std::is_class_v<const char></const>→false
如何安全排除基本类型 + 枚举 + 指针等杂项
单靠 std::is_class 不足以「排除基本类型」，它只是其中一环。实际判断一个类型是不是「纯用户定义类」，通常要组合多个 trait：
- 用
!std::is_fundamental_v<t></t>排除int、float、bool等 - 用
!std::is_enum_v<t></t>排除所有枚举（含enum class） - 用
!std::is_pointer_v<t></t>、!std::is_reference_v<t></t>、!std::is_array_v<t></t>剥离修饰 - 最后用
std::is_class_v<:remove_cvref_t>></:remove_cvref_t>判原始类型
示例：
立即学习“C++免费学习笔记（深入）”；
template<typename T>
constexpr bool is_plain_user_class_v =
!std::is_fundamental_v<T> &&
!std::is_enum_v<T> &&
!std::is_pointer_v<T> &&
!std::is_reference_v<T> &&
!std::is_array_v<T> &&
std::is_class_v<std::remove_cvref_t<T>>;
std::is_class 在 SFINAE 和 concept 中的实际用法
直接写 static_assert(std::is_class_v<t>)</t> 很容易，但真正在泛型里用，得注意上下文是否支持 SFINAE 或 constraint。C++17 起推荐用 std::is_class_v（变量模板），比 std::is_class<t>::value</t> 更简洁；C++20 起更倾向用 concept：
- 函数重载中，用
std::enable_if_t<:is_class_v>, int> = 0</:is_class_v>控制参与重载解析 - concept 写法：
template<typename t> concept user_class = std::is_class_v<:remove_cvref_t>> && !std::is_fundamental_v<t> && !std::is_enum_v<t>;</t></t></:remove_cvref_t></typename> - 别在 concept 里漏掉
std::remove_cvref_t：否则const MyClass&会因 cv-qualified 引用导致std::is_class_v<const myclass></const>为false
容易被忽略的兼容性细节
std::is_class 自 C++11 起可用，但早期标准库实现（如 GCC 4.8、MSVC 2013）对某些模板实例化类型可能返回意外结果，尤其是涉及未完成类型或依赖名称时。
- 不要在类定义体内（即自身还未完全定义时）对
this所在类型使用std::is_class_v<t></t>，可能未定义行为 - 对别名模板（如
using X = std::vector<int>;</int>），std::is_class_v<x></x>正常工作，但对 using 声明的非模板别名（如using Y = int;）仍返回false - Clang 15+ 和 GCC 12+ 对
std::is_class_v<decltype></decltype>统一返回false，但旧版本有差异，慎用于跨编译器逻辑分支
最常出问题的地方，是以为 std::is_class 能替你做「类型分类决策」，其实它只回答一个非常窄的问题：这个类型是不是语法上声明为 class/struct/union 的？别的都得你自己补全判断链。
