std::is_floating_point是<type_traits>中用于编译期判断类型是否为标准浮点类型（float/double/long double及其cv限定版本）的类型特征，不识别引用、指针、auto、自定义浮点类或std::complex等类型。
std::is_floating_point 是什么，能判断哪些类型
std::is_floating_point 是 C++ 标准库 <type_traits> 中的类型特征（type trait），用于在编译期判断某个类型是否为浮点类型。它只对标准浮点类型返回 true：即 float、double、long double，以及它们的 cv 限定版本（如 const float、volatile double）。它**不识别**用户自定义类型（哪怕重载了浮点运算）、别名（如 using real = double; 本身是浮点，但需传 real 而非 real*）、指针或引用——传 float* 或 float& 会得到 false。
怎么正确使用 std::is_floating_point 进行编译期判断
必须通过其嵌套的 value 静态成员或 v 变量模板（C++17 起）获取结果。常见误写是直接写 std::is_floating_point<float></float> —— 这是个类型，不是布尔值。
- 传统方式（C++11+）：
std::is_floating_point<float>::value</float>→true - C++17 简化写法：
std::is_floating_point_v<float></float>（推荐，更清晰） - 不能这样用：
std::is_floating_point<float></float>（类型，非值） - 也不能这样：
std::is_floating_point<float>()</float>（不是函数）
示例：
#include <type_traits> static_assert(std::is_floating_point_v<float>); // OK static_assert(!std::is_floating_point_v<int>); // OK static_assert(!std::is_floating_point_v<float*>); // OK：指针不是浮点类型
在模板中根据浮点类型做特化或 SFINAE 分支
这是 std::is_floating_point 最实用的场景：让函数模板对浮点和整数走不同逻辑。注意不要和 std::is_arithmetic 混用——后者对两者都返回 true。
立即学习“C++免费学习笔记（深入）”；
- 用
std::enable_if_t限制重载（C++11/14）：template<typename T> auto func(T x) -> std::enable_if_t<std::is_floating_point_v<T>, void> - 用
requires约束（C++20）更直观：template<typename T> void func(T x) requires std::is_floating_point_v<T> - 若同时支持浮点与整数，两个重载必须互斥，否则编译失败；建议显式禁用另一分支（例如整数版加
!std::is_floating_point_v<T>）
常见坑：忘记去除引用/const——T 若推导为 const float&，std::is_floating_point_v<T> 仍为 true（因为该 trait 对 cv 引用也有效），但若想统一处理裸类型，应先用 std::decay_t<T>。
为什么 std::is_floating_point_v<auto> 在 lambda 中不工作
C++20 的 auto 参数 lambda（如 [](auto x) { ... }）中，无法直接对 auto 使用 std::is_floating_point_v，因为 auto 不是具体类型，而是占位符。必须先让类型具名——通常靠模板参数或 decltype。
- 错误写法：
[](auto x) { static_assert(std::is_floating_point_v<auto>); }（语法错误） - 正确做法一（模板 lambda，C++20）：
[](auto x) requires std::is_floating_point_v<decltype(x)> { ... } - 正确做法二（通用 lambda 内部判断）：
if constexpr (std::is_floating_point_v<decltype(x)>) { ... } - 注意：
decltype(x)包含引用和 const，所以float&&也会被识别为浮点类型（std::is_floating_point_v<float&&>是true）
真正容易忽略的是：这个 trait 判断的是“类型是否属于浮点家族”，而不是“值是否能表示小数”——比如 int x = 3; 即使数值上等于 3.0，std::is_floating_point_v<decltype(x)> 仍是 false。类型系统不看值，只看声明。
