std::is_floating_point 是标准库 <type_traits> 中的编译期类型特征，用于判断类型是否为浮点类型（如 float、double 等），返回 bool 值，常用于 static_assert、if constexpr 等场景以实现类型约束和分支编译。
std::is_floating_point 是什么，它能做什么
std::is_floating_point 是标准库 <type_traits> 中的类型特征（type trait），用于在编译期判断某个类型是否为浮点类型（float、double、long double，以及可能的扩展浮点类型如 __float128，取决于编译器支持）。它不运行时求值，返回的是一个 std::integral_constant<bool, value> 类型，因此可直接用于 static_assert、模板特化、if constexpr 等上下文。
怎么用 static_assert 在编译期拦截非浮点类型
最直接的用途是防止模板被错误实例化。比如你写了一个只该处理浮点数的数值函数：
template<typename T>
T safe_divide(T a, T b) {
static_assert(std::is_floating_point_v<T>, "T must be a floating-point type");
return b != T{0} ? a / b : std::numeric_limits<T>::quiet_NaN();
}
这时传入 int 会触发编译错误，错误信息明确指出类型约束失败。注意必须用 std::is_floating_point_v<T>（C++17 引入的变量模板），而不是 std::is_floating_point<T>::value，前者更简洁且不易拼错。
- 别漏掉
#include <type_traits>，否则编译失败 -
std::is_floating_point_v<void>、std::is_floating_point_v<int*>都是false，它只对“裸”浮点类型返回true - 自定义浮点类（如
struct my_float）默认不是true，除非你显式特化该 trait（一般不推荐）
如何配合 if constexpr 做分支编译
当需要同一模板对浮点/非浮点类型做不同逻辑时，if constexpr 是最佳选择。例如一个通用的“归一化”函数：
立即学习“C++免费学习笔记（深入）”；
template<typename T>
T normalize(T x) {
if constexpr (std::is_floating_point_v<T>) {
return x / std::abs(x); // 浮点：允许除零得 inf 或 NaN
} else {
return x > T{0} ? T{1} : (x < T{0} ? T{-1} : T{0}); // 整数：避免除零
}
}
这种写法确保只有对应分支的代码参与编译，不会因未定义行为（如整数除零）或缺失符号（如 std::abs(float) 对 int 不必要）导致错误。
-
if constexpr分支里不能出现该分支不适用的表达式（如对int调用std::isnan），否则即使不执行也会编译失败 -
std::is_floating_point_v<T>在if constexpr中必须是常量表达式，而它确实是——所以放心用 - 不要用普通
if替代，那只是运行时分支，无法规避非法表达式
常见误判和兼容性陷阱
std::is_floating_point 判断非常严格，但有几个容易混淆的边界情况：
-
std::is_floating_point_v<float>→true，但std::is_floating_point_v<const float>→false，因为 cv 限定符改变了类型。实际使用前建议先std::remove_cv_t<T> -
std::is_floating_point_v<std::complex<float>>→false，复数不是浮点类型，哪怕其分量是 - 某些嵌入式平台或老编译器（如 GCC 4.8 之前）可能不完全支持
std::is_floating_point_v，需降级用std::is_floating_point<T>::value并确认 C++11 或更高标准 -
long double在部分平台（如 Windows MSVC）与double二进制兼容，但仍被识别为浮点类型；而__float128在 GCC 下需开启-mfloat128才被std::is_floating_point认出
真正要注意的，是类型脱 cv 和引用后的原始类型——多数模板库里都会先做 std::decay_t<T> 或 std::remove_reference_t<std::remove_cv_t<T>> 再判断，否则很容易在转发引用场景下误判。
