std::is_floating_point 是定义在 <type_traits> 中的类型特征模板类，其 ::value 在模板参数为浮点类型（含 cv 限定和引用）时为 true，否则为 false。
std::is_floating_point 是什么类型特征
std::is_floating_point 是 C++ 标准库中定义在 <type_traits> 头文件里的一个类型特征（type trait），它不是函数，而是一个模板类，其 ::value 成员为 true 当且仅当模板参数是浮点类型（float、double、long double，以及可能的扩展浮点类型如 __float128，取决于编译器支持）。
注意：它对 cv 限定（const float、volatile double）和引用类型（float&）也返回 true，因为底层类型仍是浮点；但对指针（float*）、数组（float[3]）、类/结构体等一律返回 false。
在模板中做静态分支：std::enable_if_t + is_floating_point
最常见用途是在函数模板或类模板中，只对浮点类型启用某份实现。这时要配合 std::enable_if_t 使用，避免编译期硬错误。
template <typename T>
std::enable_if_t<std::is_floating_point_v<T>, T>
safe_divide(T a, T b) {
return b != T{0} ? a / b : std::numeric_limits<T>::quiet_NaN();
}说明：
立即学习“C++免费学习笔记（深入）”；
-
std::is_floating_point_v<T>是 C++17 引入的变量模板简写，等价于std::is_floating_point<T>::value - 如果
T不是浮点类型（比如传入int），该函数模板不会参与重载决议，编译器会跳过它 —— 这比用static_assert更柔性 - 别漏掉
<type_traits>和<limits>头文件
运行时判断？不行，但可以用 constexpr if（C++17）替代
std::is_floating_point 的结果在编译期就确定了，不能用于运行时判断。如果你写了一个泛型函数想“根据类型走不同逻辑”，应使用 if constexpr：
template <typename T>
auto process(T x) {
if constexpr (std::is_floating_point_v<T>) {
return x * x + 0.5f; // 浮点专用逻辑
} else {
return x * x; // 整型或其他类型逻辑
}
}关键点：
-
if constexpr要求条件必须是编译期常量表达式，std::is_floating_point_v<T>完全满足 - 被丢弃的分支（如非浮点时的
x * x + 0.5f）甚至不需通过语义检查 —— 即使T是std::string，也不会报错 - 不要写成普通
if，否则所有分支都得能编译通过，失去类型约束意义
容易踩的坑：cv 限定、引用、别名与推导
模板参数推导常隐藏真实类型，导致 std::is_floating_point 判断出人意料：
- 传入
const float&→ 推导为const float&→std::is_floating_point_v<const float&>仍为true（标准规定引用类型继承被引用类型的性质） - 传入
float&&（右值引用）→ 同样返回true - 但传入
typedef float real_t;再用real_t模板实例化 → 仍为true，类型别名不影响底层类型 - 误以为
std::is_floating_point_v<auto>有用 ——auto在模板中不合法，必须显式写模板参数 - 忘记加
_v后缀，写了std::is_floating_point<T>直接当布尔值用 → 编译失败，因为它是类型，不是值
复杂点在于，你永远得问一句：“这个 T 是怎么来的？”—— 是用户显式指定？是函数参数推导？是 decltype 衍生？每种路径对 cv/引用的保留规则不同，直接影响判断结果。
