std::is_floating_point 是 C++ 类型特性，用于编译期判断类型是否为 float、double、long double 及其 cv 限定版本；不识别引用、自定义浮点类、__float128、half 或 std::complex 等。
std::is_floating_point 是什么，它能判断哪些类型
std::is_floating_point 是 C++ 类型特性（type trait），定义在 <type_traits> 头文件中，用于在编译期判断一个类型是否为浮点类型。它只对标准浮点类型返回 true：即 float、double、long double，以及它们的 cv 限定版本（如 const float、volatile double）。它不识别自定义浮点类（哪怕重载了算术运算）、__float128（GCC 扩展）、half（CUDA）或 std::floating_point 概念约束中的别名类型。
如何在编译期和运行期正确使用它
它本质是模板变量（C++17 起）或嵌套静态常量（C++11/14），必须配合具体类型实例化，不能传入变量名或表达式：
- ✅ 正确写法：
std::is_floating_point_v<float></float>、std::is_floating_point_v<decltype></decltype>（x是变量） - ❌ 错误写法：
std::is_floating_point_v<x></x>（x是变量名，非类型）、std::is_floating_point_v（字面量不是类型） - ⚠️ 注意
decltype行为：对纯右值（如3.14f）返回的是float，但对带括号的表达式（如decltype((x))）可能返回引用类型，而引用类型永远不满足std::is_floating_point
示例：
#include <type_traits> static_assert(std::is_floating_point_v<float>); // OK static_assert(std::is_floating_point_v<const double>); // OK static_assert(!std::is_floating_point_v<int>); // OK float x = 0; static_assert(std::is_floating_point_v<decltype(x)>); // OK → float static_assert(!std::is_floating_point_v<decltype((x))>); // ❌ → float&
常见误用：和 std::floating_point 概念混淆
C++20 引入了 std::floating_point 概念，名字相似但用途不同：它是用于模板约束的编译期谓词，语法更简洁，且自动忽略引用和 cv 限定：
立即学习“C++免费学习笔记（深入）”；
-
std::is_floating_point_v<t></t>要求T必须是确切的浮点类型（含 cv 限定），不接受引用 -
std::floating_point<t></t>更宽松：只要std::remove_cvref_t<t></t>是浮点类型就满足，比如float&、const double&&都通过 - 两者都不能识别
std::complex<float>或用户定义的Fp16类——这类需求需手动特化或写 SFINAE/Concept
所以不要指望 std::is_floating_point 能“推导”出复合类型的底层浮点性；它只做一层精确匹配。
实际工程中容易被忽略的细节
最易踩的坑是把 std::is_floating_point 当作运行时类型检查工具。它完全在编译期展开，无法用于 void*、std::any 或多态对象的动态类型判断。如果你需要运行时区分浮点/整数，得靠其他机制（如 std::visit + std::variant，或手动标记字段）。另外，某些嵌入式平台或旧编译器（如 GCC std::is_floating_point_v 变量模板，此时需回退到 std::is_floating_point<T>::value。
